Cohomological beta function

Abstract: We propose a cohomological approach to computing the conformal anomaly. Using the example of current-current deformations of two-dimensional conformal field theories, we reproduce the well-known Cardy formula for the leading contribution to the perturbative beta function as the coefficient of the cocycle that realizes the obstruction to deforming the Virasoro module structure on the state space. In addition to offering a novel conceptual perspective on the conformal anomaly, the proposed approach is anticipated to provide an efficient tool for computing higher-order coefficients of perturbative beta functions.

• The paper reinterprets the beta function as a cohomological obstruction in deformations of Virasoro modules.
• It employs Chevalley–Eilenberg cohomology and the Maurer-Cartan equation to derive the Cardy formula for current-current deformations.
• The framework enables systematic computation of higher-order perturbative anomalies and connects deformation theory to renormalization.

Cohomological Approach to the Beta Function in Two-Dimensional CFT

Introduction

The paper "Cohomological beta function" (2606.28975) presents a novel algebraic framework for analyzing the conformal anomaly and the computation of perturbative beta functions in two-dimensional conformal field theory (CFT), utilizing Chevalley-Eilenberg cohomology of the Virasoro algebra. By reinterpreting the beta function as a cohomological obstruction to the deformation of Virasoro modules, the approach bypasses the conventional reliance on ultraviolet regularization or explicit correlation function computations. The framework accommodates current-current ($J\bar{J}$) marginal deformations, naturally recovers the Cardy formula at second order, and paves the way for systematic higher-order analysis.

Deformation Theory of Virasoro Modules and Cohomological Obstruction

The state space $\mathcal{H}$ of a 2D CFT realizes a module over the Virasoro algebra, characterized by the action of generators $L_m$ and central operator $C$. Marginal deformations correspond to infinitesimal deformations of this module structure. The foundational tool is the Chevalley-Eilenberg (CE) complex for the Virasoro algebra, where cochains with values in $\mathrm{End}(\mathcal{H})$ encode deformations of the BRST-like differential $Q$ governing the Virasoro module.

First-order deformations are characterized by 1-cocycles of the operator $\{Q,\cdot\}$, and trivial deformations (those arising from inner automorphisms) are exact cocycles. Explicitly, an infinitesimal deformation

$Q \rightarrow Q + g\,\delta^{(1)}Q$

with

$\delta^{(1)}Q = \sum_{m} c^m \delta^{(1)}L_m$

is cohomologically nontrivial if $\delta^{(1)}Q$ cannot be written as a commutator $\mathcal{H}$0 for some $\mathcal{H}$1.

Passing to the quantum theory, further deformations beyond leading order are obstructed by the emergence of the beta function. At second order, the Maurer-Cartan equation

$\mathcal{H}$2

may not be solvable, the obstruction classifying the conformal anomaly and thus giving a natural algebraic meaning to the beta function.

$\mathcal{H}$3-Deformations and the Cardy Formula

The focus is on current-current ($\mathcal{H}$4) marginal deformations arising from the action of a left-right symmetric current algebra $\mathcal{H}$5 on $\mathcal{H}$6. The corresponding first-order cocycles are

$\mathcal{H}$7

and, modulo cohomology, equivalently

$\mathcal{H}$8

The analysis demonstrates that these cocycles are nontrivial and represent genuine infinitesimal deformations unless the inner product on $\mathcal{H}$9 is degenerate (as in the non-compact free boson case). Within this cohomological formalism, increasing the radius of the free boson target realizes the $L_m$0-type deformation at all perturbative orders, with the full iterative deformation computable by successively solving the Maurer-Cartan hierarchy.

Crucially, at second order, the obstruction cocycle $L_m$1 is cohomologous (modulo trivial terms) to an explicit expression which coincides with the structure constants entering the Cardy formula for the beta function:

$L_m$2

This is extracted by a precise computation of higher Chevalley-Eilenberg cohomology classes, with all $L_m$3 and $L_m$4-dependent terms shown to be exact and thus irrelevant for the physical anomaly.

Generalizations and Higher-Order Obstructions

The framework allows for systematic identification of higher-order obstructions. Explicitly, the nth-order obstruction is constructed cohomologically as composite maps $L_m$5, with explicit homotopy operators required to obtain closed-form higher-order corrections. The cohomological structure underlying these deformations is an $L_m$6-algebra controlling the obstruction theory.

The coupled (chiral/antichiral) deformations of both copies of the Virasoro algebra can, in principle, also be treated using this formalism. The constraint that deformed BRST operators $L_m$7 and $L_m$8 remain mutually commuting is shown not to introduce new cohomological structures.

Implications and Future Outlook

This work offers a powerful, conceptually transparent method for calculating beta functions in two-dimensional conformal field theories without reference to the analytic apparatus of quantum field theory—eschewing correlation functions, OPEs, and regularization schemes in favor of purely algebraic machinery.

On the practical side, the method provides an efficient technique for verifying the presence or absence of higher-order perturbative anomalies, which for example, are known to vanish identically beyond third order in various supersymmetric or non-semisimple settings. It establishes an explicit algebraic route to the Cardy formula and affords generalizations to cases where the evaluation of OPEs is technically cumbersome.

Theoretically, the identification of the beta function as a structure constant of the $L_m$9-algebra structure on the cohomology of the module opens new avenues for understanding renormalization in the context of deformation theory and higher algebra. The formalism is expected to have deep connections to BRST theory and the structure of vertex operator algebras.

Several directions for future research are indicated. In particular, the extension to higher-order obstructions—relying on explicit homotopies in the CE complex—is expected to yield finite, algorithmic determination of full beta functions in a given marginal direction. The potential for a canonical one-to-one correspondence between marginal first cohomology classes and higher obstructions suggests that the full structure of $C$0-identities may be interpreted as nontrivial algebraic relations among beta function coefficients.

Conclusion

By recasting the computation of the beta function for marginal deformations as a problem in homological algebra, the paper provides an explicit, rigorous connection between cohomological obstructions in the Chevalley-Eilenberg complex and the conformal anomaly in two-dimensional conformal field theory. The main results constitute a definitive algebraic derivation of the Cardy formula and lay the groundwork for systematic study of renormalization group flow from a pure algebraic perspective, with broad implications for the structure of quantum field theory and mathematical physics.