pith. sign in

arxiv: 2606.28975 · v2 · 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-07-01 06:21 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords cohomological beta functionconformal anomalyVirasoro module deformationcurrent-current deformationsperturbative beta functionCardy formulatwo-dimensional CFTobstruction cocycle
0
0 comments X

The pith

The leading term of the perturbative beta function equals the coefficient of the cocycle obstructing deformation of the Virasoro module structure.

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

The paper introduces a cohomological method for computing the conformal anomaly in two-dimensional conformal field theories. It demonstrates that in current-current deformations the leading contribution to the beta function is given exactly by the coefficient of the cocycle that measures the obstruction to extending the Virasoro module structure on the state space. This identification reproduces the known Cardy formula while framing the anomaly as an algebraic obstruction rather than a direct perturbative integral. The approach is presented as a route to extracting higher-order coefficients of the beta function through cohomology calculations instead of traditional Feynman diagrams or operator product expansions.

Core claim

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

What carries the argument

The cocycle whose coefficient equals the leading beta-function term and realizes the obstruction to extending the Virasoro module structure under current-current deformations.

If this is right

  • The Cardy formula for the leading perturbative beta function is recovered as a direct consequence of the cocycle coefficient.
  • Higher-order terms in the beta function become accessible through systematic cohomology computations rather than diagram-by-diagram evaluation.
  • The conformal anomaly itself acquires an interpretation as the class of an obstruction cocycle in the deformation complex of the Virasoro module.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same cohomological obstruction might be identifiable for deformations generated by other currents or by marginal operators outside the current-current class.
  • If the method generalizes, beta-function coefficients at all orders could be read off from the cohomology of the appropriate deformation complex without reference to a specific Lagrangian.
  • The approach supplies an algebraic criterion for when a deformation preserves conformal invariance to a given order.

Load-bearing premise

The obstruction to extending the Virasoro module structure under current-current deformations is captured precisely by a single cocycle whose coefficient equals the beta function term.

What would settle it

Compute the explicit coefficient of the obstructing cocycle for a chosen current-current deformation and verify whether it numerically matches the leading term of the beta function obtained by any independent method such as the Cardy formula or direct renormalization-group calculation.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript proposes a cohomological approach to the conformal anomaly in two-dimensional CFTs. For current-current deformations, the leading term of the perturbative beta function (the Cardy formula) is identified with the coefficient of the cocycle realizing the obstruction to deforming the Virasoro module structure on the state space. The method is presented as a conceptual perspective that may extend to higher-order beta-function coefficients.

Significance. If the identification is shown to be independent and the deformation complex is fully analyzed, the cohomological viewpoint offers a new framework for the conformal anomaly and could serve as an efficient computational tool for perturbative RG flows. Reproducing the known leading term functions as a consistency check for the formalism.

major comments (1)
  1. [Abstract] The abstract asserts that the leading beta-function contribution is recovered exactly as the cocycle coefficient, but the provided text contains no derivation steps, explicit cocycle computation, or verification that this class is the sole contributor at the given order. Without these, it is not possible to confirm that the obstruction maps isomorphically onto the perturbative RG coefficient rather than being defined to match it.
minor comments (1)
  1. Clarify the precise definition of the deformation complex and the Virasoro module structure early in the text to allow readers to follow the obstruction calculation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for identifying a point that requires clarification. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] The abstract asserts that the leading beta-function contribution is recovered exactly as the cocycle coefficient, but the provided text contains no derivation steps, explicit cocycle computation, or verification that this class is the sole contributor at the given order. Without these, it is not possible to confirm that the obstruction maps isomorphically onto the perturbative RG coefficient rather than being defined to match it.

    Authors: We agree that the abstract, as currently phrased, gives the impression of a fully explicit identification without sufficient supporting detail visible at first reading. The manuscript presents the cohomological setup and states that the leading obstruction reproduces the Cardy formula, but the explicit cocycle representative, its computation, and the argument that no other classes contribute at this order are only sketched rather than carried out step-by-step. We will therefore revise the main text to include the full calculation of the relevant 2-cocycle on the Virasoro module for current-current deformations, together with a direct comparison to the known perturbative coefficient and a short argument for uniqueness at leading order. The abstract will be updated to indicate that the identification is derived in the body of the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The abstract states that the leading beta-function term is recovered as the coefficient of the indicated cocycle in the deformation complex. No equations or self-citations are quoted that define the cocycle coefficient in terms of the beta function itself, fit parameters to data then rename the output as a prediction, or import uniqueness from prior author work. The central claim is a reproduction of a known leading term via a new formalism; the provided text gives no indication that the obstruction class is constructed to match the Cardy result by definition. This is the normal case of an independent derivation that happens to recover a standard result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities can be identified from the provided text.

pith-pipeline@v0.9.1-grok · 5601 in / 1023 out tokens · 23163 ms · 2026-07-01T06:21:52.008994+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

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

  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]

    Longo and K.-H

    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