Cohomological beta function

Andrey Losev; Maxim Gritskov; Oleksandr Gamayun

arxiv: 2606.28975 · v1 · pith:2BOFIG3Lnew · submitted 2026-06-27 · 🧮 math-ph · math.MP

Cohomological beta function

Oleksandr Gamayun , Maxim Gritskov , Andrey Losev This is my paper

Pith reviewed 2026-06-30 08:12 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords conformal anomalybeta functionVirasoro modulecohomologycurrent-current deformationCardy formulatwo-dimensional CFTperturbative expansion

0 comments

The pith

The leading beta function term equals the coefficient of the obstruction cocycle in Virasoro module deformations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets out a cohomological method for the conformal anomaly in two-dimensional conformal field theories. For current-current deformations it shows that the well-known Cardy formula arises exactly as the coefficient of the cocycle obstructing deformation of the Virasoro module structure on the state space. A sympathetic reader cares because the same algebraic object that blocks consistent module deformation is claimed to generate the physical beta function, opening a direct route from cohomology to renormalization-group coefficients.

Core claim

Using current-current deformations as an example, the leading contribution to the perturbative beta function is reproduced as the coefficient of the cocycle that realizes the obstruction to deforming the Virasoro module structure on the state space.

What carries the argument

The obstruction cocycle in the cohomology of Virasoro module deformations, whose coefficient encodes the conformal anomaly.

Load-bearing premise

The obstruction to deforming the Virasoro module structure on the state space can be directly identified with the conformal anomaly arising from current-current deformations.

What would settle it

Compute the leading beta-function coefficient from the cocycle in an explicit current-current deformed model and check whether it matches the known Cardy expression.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper frames the beta function as a Virasoro cocycle coefficient and claims to recover the Cardy formula, but the connection looks asserted without a visible derivation chain.

read the letter

The key point is that this work frames the leading perturbative beta function in current-current deformed CFTs as the coefficient of a 2-cocycle that blocks deforming the Virasoro action on the state space. They say this reproduces the Cardy formula.

What is new is the cohomological setup itself. Treating the conformal anomaly as an obstruction in the cohomology of Virasoro modules is not the standard way people compute beta functions in this area. If it works, it might give a cleaner algebraic route to higher orders than the usual perturbative expansions.

The paper does a good job stating the conceptual shift clearly in the abstract. It positions the method as potentially efficient for higher terms in the beta function expansion.

The soft spot is the missing link between the cocycle coefficient and the physical beta function. The abstract asserts that the obstruction coefficient equals the Cardy term, but there is no outline of how the Chevalley-Eilenberg cohomology or Gerstenhaber bracket connects to the trace anomaly or the RG flow equation. Without that, it is hard to tell whether the agreement is a real consequence or just a re-expression of the known result. The central assumption that the module deformation obstruction directly gives the anomaly also needs explicit checking.

This is aimed at researchers in mathematical physics who work with Virasoro representations and deformations of CFTs. A reader who already knows the Cardy formula and wants an algebraic reinterpretation might find it useful to explore.

I would send it to peer review. The idea is distinct enough that referees can check whether the derivation actually goes through or if it stays at the level of identification.

Referee Report

1 major / 0 minor

Summary. The paper proposes a cohomological approach to the conformal anomaly in two-dimensional CFTs. Using current-current deformations, it identifies the obstruction to deforming the Virasoro module structure on the state space with the beta function and claims to recover the leading Cardy formula as the coefficient of the corresponding 2-cocycle.

Significance. If the proposed identification between the deformation obstruction in Virasoro-module cohomology and the physical beta-function coefficient can be made rigorous and independent of prior results, the method could supply an algebraic route to higher-order perturbative coefficients. The manuscript reproduces a known leading term but does not yet demonstrate that the construction yields new information or simplifies calculations beyond the Cardy case.

major comments (1)

Abstract and introduction: the central claim equates the coefficient of the 2-cocycle realizing the obstruction to Virasoro-module deformation with the leading Cardy term in the beta function, yet no explicit chain of equalities is supplied connecting the Chevalley-Eilenberg or Gerstenhaber cohomology class to the trace anomaly or RG flow. Without this derivation the reproduction remains an asserted identification rather than a computed consequence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address the major comment below and will revise the manuscript accordingly to strengthen the presentation of our results.

read point-by-point responses

Referee: [—] Abstract and introduction: the central claim equates the coefficient of the 2-cocycle realizing the obstruction to Virasoro-module deformation with the leading Cardy term in the beta function, yet no explicit chain of equalities is supplied connecting the Chevalley-Eilenberg or Gerstenhaber cohomology class to the trace anomaly or RG flow. Without this derivation the reproduction remains an asserted identification rather than a computed consequence.

Authors: We agree that an explicit derivation of the identification would improve the clarity of the manuscript. The current version identifies the cocycle coefficient with the Cardy term through the structure of the deformation and the known perturbative expansion, but does not spell out each step in the chain from the cohomology class to the RG flow. In the revised manuscript, we will insert a new paragraph or subsection detailing this chain: (1) the current-current deformation induces a Gerstenhaber deformation of the operator product algebra; (2) the obstruction to lifting this to a deformation of the Virasoro module is measured by a 2-cocycle in the Chevalley-Eilenberg cohomology; (3) the coefficient of this cocycle is computed explicitly and shown to coincide with the leading term of the beta function given by Cardy's formula. This will make the reproduction a direct consequence of the cohomological calculation rather than an asserted equality. We thank the referee for highlighting this point. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is algebraically self-contained.

full rationale

The paper starts from the algebraic definition of the obstruction cocycle in the Chevalley-Eilenberg cohomology of the Virasoro action on the state space (independent of any beta-function input) and computes its coefficient explicitly for current-current deformations. This coefficient is then shown to equal the known leading Cardy term. No step reduces by construction to a fitted parameter, a self-citation chain, or a renaming of the target result; the reproduction of the Cardy formula is an output of the independent cohomological calculation rather than an input. The central identification follows from the module deformation analysis and does not rely on external fitting or prior author-specific uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated or can be extracted.

pith-pipeline@v0.9.1-grok · 5601 in / 1045 out tokens · 38458 ms · 2026-06-30T08:12:49.292276+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 17 canonical work pages · 5 internal anchors

[1]

Conformal Field Theory , ISBN =

Di Francesco, Philippe and Mathieu, Pierre and S. Conformal Field Theory , ISBN =. doi:10.1007/978-1-4612-2256-9 , journal =

work page doi:10.1007/978-1-4612-2256-9
[2]

EPFL Lectures on Conformal Field Theory in D>= 3 Dimensions

Rychkov, Slava. EPFL Lectures on Conformal Field Theory in D > = 3 Dimensions. 2016. doi:10.1007/978-3-319-43626-5. arXiv:1601.05000

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-319-43626-5 2016
[3]

Two-dimensional conformal field theory, full vertex algebra and current-current deformation

Moriwaki, Yuto. Two-dimensional conformal field theory, full vertex algebra and current-current deformation. Adv. Math. 2023. doi:10.1016/j.aim.2023.109125. arXiv:2007.07327

work page doi:10.1016/j.aim.2023.109125 2023
[4]

Full vertex algebra and bootstrap -- consistency of four point functions in 2d CFT

Moriwaki, Yuto. Full vertex algebra and bootstrap -- consistency of four point functions in 2d CFT. 2020. arXiv:2006.15859

work page arXiv 2020
[5]

Kac, V. G. and Raina, A. K. Bombay Lectures on Highest Weight Representations of Infinite Dimensionsal Lie Algebras. 1987

1987
[6]

Making the Massless String Massive

Chodos, Alan and Thorn, Charles B. Making the Massless String Massive. Nucl. Phys. B. 1974. doi:10.1016/0550-3213(74)90159-X

work page doi:10.1016/0550-3213(74)90159-x 1974
[7]

Scale invariance vs conformal invariance

Nakayama, Yu. Scale invariance vs conformal invariance. Phys. Rept. 2015. doi:10.1016/j.physrep.2014.12.003. arXiv:1302.0884

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2014.12.003 2015
[8]

Zamolodchikov, A. B. Renormalization Group and Perturbation Theory Near Fixed Points in Two-Dimensional Field Theory. Sov. J. Nucl. Phys. 1987

1987
[9]

Transactions of the American Mathematical Society , volume =

Chevalley, Claude and Eilenberg, Samuel , title =. Transactions of the American Mathematical Society , volume =. 1948 , publisher =. doi:10.2307/1990474 , url =

work page doi:10.2307/1990474 1948
[10]

Scaling and renormalization in statistical physics

Cardy, John L. Scaling and renormalization in statistical physics. 1996

1996
[11]

New Perspectives on the BRST-algebraic Structure of String Theory

Lian, Bong H. and Zuckerman, Gregg J. New perspectives on the BRST algebraic structure of string theory. Commun. Math. Phys. 1993. doi:10.1007/BF02102111. arXiv:hep-th/9211072

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf02102111 1993
[12]

On First Order Formalism in String Theory

Losev, Andrei S. and Marshakov, Andrei and Zeitlin, Anton M. On first order formalism in string theory. Phys. Lett. B. 2006. doi:10.1016/j.physletb.2005.12.010. arXiv:hep-th/0510065

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2005.12.010 2006
[13]

A Field theory of currents

Sugawara, Hirotaka. A Field theory of currents. Phys. Rev. 1968. doi:10.1103/PhysRev.170.1659

work page doi:10.1103/physrev.170.1659 1968
[14]

and Frishman, Y

Dashen, Roger F. and Frishman, Y. Four Fermion Interactions and Scale Invariance. Phys. Rev. D. 1975. doi:10.1103/PhysRevD.11.2781

work page doi:10.1103/physrevd.11.2781 1975
[15]

On the Beta Function for Anisotropic Current Interactions in 2D

Gerganov, B. and LeClair, A. and Moriconi, M. On the beta function for anisotropic current interactions in 2-D. Phys. Rev. Lett. 2001. doi:10.1103/PhysRevLett.86.4753. arXiv:hep-th/0011189

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.86.4753 2001
[16]

Peculiarities of beta functions in sigma models

Gamayun, Oleksandr and Losev, Andrei and Shifman, Mikhail. Peculiarities of beta functions in sigma models. JHEP. 2023. doi:10.1007/JHEP10(2023)097. arXiv:2307.04665

work page doi:10.1007/jhep10(2023)097 2023
[17]

Cohomology Theory of Lie Groups and Lie Algebras

Chevalley, Claude and Eilenberg, Samuel. Cohomology Theory of Lie Groups and Lie Algebras. Transactions of the American Mathematical Society. 1948. doi:10.1090/S0002-9947-1948-0024908-5

work page doi:10.1090/s0002-9947-1948-0024908-5 1948
[18]

First-order formalism for functions in bosonic sigma models from supersymmetry breaking

Gamayun, Oleksandr and Losev, Andrei and Shifman, Mikhail. First-order formalism for functions in bosonic sigma models from supersymmetry breaking. Phys. Rev. D. 2024. doi:10.1103/PhysRevD.110.025017. arXiv:2312.01885

work page doi:10.1103/physrevd.110.025017 2024
[19]

Nuclear Physics B , author =

On the background independence of string field theory , volume =. Nuclear Physics B , author =. 1990 , pages =. doi:10.1016/0550-3213(90)90400-8 , number =

work page doi:10.1016/0550-3213(90)90400-8 1990
[20]

International Journal of Modern Physics A , author =

Stress tensor perturbations in conformal field theory , volume =. International Journal of Modern Physics A , author =. 1991 , note =. doi:10.1142/S0217751X9100232X , number =

work page doi:10.1142/s0217751x9100232x 1991

[1] [1]

Conformal Field Theory , ISBN =

Di Francesco, Philippe and Mathieu, Pierre and S. Conformal Field Theory , ISBN =. doi:10.1007/978-1-4612-2256-9 , journal =

work page doi:10.1007/978-1-4612-2256-9

[2] [2]

EPFL Lectures on Conformal Field Theory in D>= 3 Dimensions

Rychkov, Slava. EPFL Lectures on Conformal Field Theory in D > = 3 Dimensions. 2016. doi:10.1007/978-3-319-43626-5. arXiv:1601.05000

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-319-43626-5 2016

[3] [3]

Two-dimensional conformal field theory, full vertex algebra and current-current deformation

Moriwaki, Yuto. Two-dimensional conformal field theory, full vertex algebra and current-current deformation. Adv. Math. 2023. doi:10.1016/j.aim.2023.109125. arXiv:2007.07327

work page doi:10.1016/j.aim.2023.109125 2023

[4] [4]

Full vertex algebra and bootstrap -- consistency of four point functions in 2d CFT

Moriwaki, Yuto. Full vertex algebra and bootstrap -- consistency of four point functions in 2d CFT. 2020. arXiv:2006.15859

work page arXiv 2020

[5] [5]

Kac, V. G. and Raina, A. K. Bombay Lectures on Highest Weight Representations of Infinite Dimensionsal Lie Algebras. 1987

1987

[6] [6]

Making the Massless String Massive

Chodos, Alan and Thorn, Charles B. Making the Massless String Massive. Nucl. Phys. B. 1974. doi:10.1016/0550-3213(74)90159-X

work page doi:10.1016/0550-3213(74)90159-x 1974

[7] [7]

Scale invariance vs conformal invariance

Nakayama, Yu. Scale invariance vs conformal invariance. Phys. Rept. 2015. doi:10.1016/j.physrep.2014.12.003. arXiv:1302.0884

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2014.12.003 2015

[8] [8]

Zamolodchikov, A. B. Renormalization Group and Perturbation Theory Near Fixed Points in Two-Dimensional Field Theory. Sov. J. Nucl. Phys. 1987

1987

[9] [9]

Transactions of the American Mathematical Society , volume =

Chevalley, Claude and Eilenberg, Samuel , title =. Transactions of the American Mathematical Society , volume =. 1948 , publisher =. doi:10.2307/1990474 , url =

work page doi:10.2307/1990474 1948

[10] [10]

Scaling and renormalization in statistical physics

Cardy, John L. Scaling and renormalization in statistical physics. 1996

1996

[11] [11]

New Perspectives on the BRST-algebraic Structure of String Theory

Lian, Bong H. and Zuckerman, Gregg J. New perspectives on the BRST algebraic structure of string theory. Commun. Math. Phys. 1993. doi:10.1007/BF02102111. arXiv:hep-th/9211072

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf02102111 1993

[12] [12]

On First Order Formalism in String Theory

Losev, Andrei S. and Marshakov, Andrei and Zeitlin, Anton M. On first order formalism in string theory. Phys. Lett. B. 2006. doi:10.1016/j.physletb.2005.12.010. arXiv:hep-th/0510065

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2005.12.010 2006

[13] [13]

A Field theory of currents

Sugawara, Hirotaka. A Field theory of currents. Phys. Rev. 1968. doi:10.1103/PhysRev.170.1659

work page doi:10.1103/physrev.170.1659 1968

[14] [14]

and Frishman, Y

Dashen, Roger F. and Frishman, Y. Four Fermion Interactions and Scale Invariance. Phys. Rev. D. 1975. doi:10.1103/PhysRevD.11.2781

work page doi:10.1103/physrevd.11.2781 1975

[15] [15]

On the Beta Function for Anisotropic Current Interactions in 2D

Gerganov, B. and LeClair, A. and Moriconi, M. On the beta function for anisotropic current interactions in 2-D. Phys. Rev. Lett. 2001. doi:10.1103/PhysRevLett.86.4753. arXiv:hep-th/0011189

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.86.4753 2001

[16] [16]

Peculiarities of beta functions in sigma models

Gamayun, Oleksandr and Losev, Andrei and Shifman, Mikhail. Peculiarities of beta functions in sigma models. JHEP. 2023. doi:10.1007/JHEP10(2023)097. arXiv:2307.04665

work page doi:10.1007/jhep10(2023)097 2023

[17] [17]

Cohomology Theory of Lie Groups and Lie Algebras

Chevalley, Claude and Eilenberg, Samuel. Cohomology Theory of Lie Groups and Lie Algebras. Transactions of the American Mathematical Society. 1948. doi:10.1090/S0002-9947-1948-0024908-5

work page doi:10.1090/s0002-9947-1948-0024908-5 1948

[18] [18]

First-order formalism for functions in bosonic sigma models from supersymmetry breaking

Gamayun, Oleksandr and Losev, Andrei and Shifman, Mikhail. First-order formalism for functions in bosonic sigma models from supersymmetry breaking. Phys. Rev. D. 2024. doi:10.1103/PhysRevD.110.025017. arXiv:2312.01885

work page doi:10.1103/physrevd.110.025017 2024

[19] [19]

Nuclear Physics B , author =

On the background independence of string field theory , volume =. Nuclear Physics B , author =. 1990 , pages =. doi:10.1016/0550-3213(90)90400-8 , number =

work page doi:10.1016/0550-3213(90)90400-8 1990

[20] [20]

International Journal of Modern Physics A , author =

Stress tensor perturbations in conformal field theory , volume =. International Journal of Modern Physics A , author =. 1991 , note =. doi:10.1142/S0217751X9100232X , number =

work page doi:10.1142/s0217751x9100232x 1991