arxiv: 2605.10549 · v1 · submitted 2026-05-11 · 🧮 math.AG · math-ph· math.MP· math.RT

Recognition: no theorem link

Two-dimensional Virasoro algebras

Brian R. Williams, Zhengping Gui

Authors on Pith no claims yet

Pith reviewed 2026-05-12 05:11 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MPmath.RT

keywords central extensionsdg Lie algebrasVirasoro algebrasGrothendieck-Riemann-Roch theoremtangent sheafformal disktwo-dimensional varietiesalgebraic geometry

0 comments

The pith

Central extensions of the dg Lie algebra from the tangent sheaf on the punctured formal 2-disk are classified, yielding a local universal Grothendieck-Riemann-Roch theorem for families of two-dimensional complex varieties.

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

The paper classifies all central extensions of the dg Lie algebra obtained from derived global sections of the tangent sheaf on the punctured formal 2-disk. It then applies this classification to establish a local and universal form of the Grothendieck-Riemann-Roch theorem that holds for families of two-dimensional complex varieties. A sympathetic reader cares because this supplies a geometric foundation for two-dimensional analogs of Virasoro algebras, linking Lie algebra cohomology directly to Chern character computations on surfaces. The work models higher-dimensional conformal structures through formal disk geometry rather than global topology.

Core claim

We classify central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured, formal 2-disk. We then prove a local and universal form of the Grothendieck-Riemann-Roch theorem for families of two-dimensional complex varieties.

What carries the argument

The dg Lie algebra of derived global sections of the tangent sheaf on the punctured formal 2-disk, whose central extensions are classified to support the geometric theorem.

If this is right

Every possible central extension in this two-dimensional formal setting is accounted for by the classification.
The Grothendieck-Riemann-Roch theorem holds locally and universally for arbitrary families of two-dimensional complex varieties.
Chern character maps and Todd classes are related through the Lie algebra structure on the tangent sheaf.
The result supplies a geometric model for two-dimensional Virasoro algebras acting on sections over the punctured disk.

Where Pith is reading between the lines

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

The classification could be tested by specializing to explicit surfaces such as the formal neighborhood of a point on a K3 surface and checking the resulting extension space.
The local model may approximate global behavior when the formal disk is embedded into a smooth projective surface.
Similar sheaf-theoretic constructions might produce Virasoro-like algebras in dimensions greater than two.

Load-bearing premise

The formal 2-disk geometry together with the dg Lie algebra structure on the derived global sections of its tangent sheaf serves as the starting model for both the classification and the theorem.

What would settle it

An explicit basis for the second cohomology of this dg Lie algebra that includes an extension outside the classified list, or a direct computation on a concrete family of surfaces where the local GRR identity fails.

Figures

Figures reproduced from arXiv: 2605.10549 by Brian R. Williams, Zhengping Gui.

**Figure 2.** Figure 2: The ∗ product on Connes’ 𝜆-complex We are prepared to construct classes in ℍ 2 Lie (𝔴𝔦𝔱𝔱𝑑 ). Definition 2.4. For non-negative integers 𝑖1,𝑖2, · · · ,𝑖𝑑+1 such that 𝑑 Í+1 𝑝=1 𝑝 · 𝑖𝑝 = 𝑑 + 1 we define (ch1) 𝑖1 (ch2) 𝑖2 · · · (ch𝑑+1) 𝑖𝑑+1 ∈ 𝐶 • (𝔴𝔦𝔱𝔱𝑑 ; C) (56) by 𝜌 [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗

**Figure 3.** Figure 3: Feynman graph integral example (i) The inside sum is over integers 0 ≤ 𝑙 ≤ 𝑑 + 1 and graphs Γ1, . . . , Γ𝑘 that are connected, disjoint one-loop diagrams. Each one-loop diagram Γ𝑖 induces a cyclic ordering on the set of vertices denoted 𝑉 (Γ𝑖) = { 𝑗 𝑖 1 , · · · , 𝑗𝑖 |Γ𝑖 | } (ii) The differential forms which appear in the integral over 𝑆 1 𝑐𝑦𝑐 [𝑑 + 1 − 𝑙] are defined by 𝜔 𝜏 Γ𝑖 def = (−𝜋 ∗ 𝜏 −1 (𝑗 𝑖 1 )𝜏 −1 … view at source ↗

read the original abstract

We classify central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured, formal 2-disk. We then prove a local and universal form of the Grothendieck--Rieman--Roch theorem for families of two-dimensional complex varieties.

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 classification of central extensions for the punctured formal 2-disk dg Lie algebra is the concrete new piece, while the local universal GRR claim for 2D families rests on a lift that still needs explicit base-change checks.

read the letter

The paper classifies central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured formal 2-disk, then asserts this produces a local and universal Grothendieck-Riemann-Roch theorem for families of two-dimensional complex varieties. That classification step is the part worth noting first. It takes the standard 1D Virasoro central extension story and works out the 2D case in a derived setting with punctures, which does not appear in the usual references for these algebras. The computation organizes the possible extensions in a way that could feed into deformation or moduli questions on surfaces. The authors handle the dg Lie algebra structure cleanly enough to make the classification readable and checkable. The GRR part is presented as a direct consequence, framed as local and universal. This is a reasonable direction to explore, since a 2D version could link algebraic geometry structures to physics-style symmetries. The softer spot is exactly the lift from the single-disk model to arbitrary families. The stress-test concern holds up here: without spelled-out arguments for how the extension class behaves under base change, especially non-flat or higher-derived cases, and without descent data for the global sections, the universality statement is not yet fully supported by the local calculation alone. The abstract states the result directly, so the paper must supply those functoriality details in the body to close the gap. This work is for people already working on higher-dimensional Virasoro analogs, derived categories of surfaces, or central extensions in algebraic geometry and mathematical physics. A reader who knows the 1D case and wants the 2D extension will get a usable reference from the classification. It deserves a serious referee because the classification is a specific, falsifiable result that can be reviewed on its own terms, even if the GRR application needs tightening. I would send it to peer review and ask the authors to add explicit base-change and descent verifications in the GRR section.

Referee Report

1 major / 2 minor

Summary. The paper classifies central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured formal 2-disk and proves a local and universal form of the Grothendieck-Riemann-Roch theorem for families of two-dimensional complex varieties.

Significance. If the classification of extensions is complete and the universality of the GRR form holds with the required functoriality, the result would supply an algebraic, local model for GRR in dimension 2 that connects derived algebraic geometry with infinite-dimensional Lie algebra structures. The explicit classification on the formal disk could serve as an independent tool for deformation problems even if the global lifting requires further work.

major comments (1)

[Proof of the universal GRR theorem] The transition from the classification of central extensions of RΓ(T_X) on the single punctured formal 2-disk to the claimed universal GRR for arbitrary families of 2-dimensional varieties requires explicit verification that the extension class is functorial under base change and that derived global sections commute with the family structure up to quasi-isomorphism. Without a detailed check for non-flat base changes or higher derived terms that might introduce additional cocycle data, the universality statement rests on an unverified descent step.

minor comments (2)

[Abstract] The abstract contains a typographical error: 'Grothendieck--Rieman--Roch' should read 'Grothendieck--Riemann--Roch'.
[Introduction] Notation for the dg Lie algebra and the precise definition of the punctured formal 2-disk (e.g., Spec k[[x,y]][1/(xy)]) should be introduced with a reference to the relevant section or equation at first use.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the transition to the universal GRR statement. We address the major comment below and will revise the paper accordingly.

read point-by-point responses

Referee: The transition from the classification of central extensions of RΓ(T_X) on the single punctured formal 2-disk to the claimed universal GRR for arbitrary families of 2-dimensional varieties requires explicit verification that the extension class is functorial under base change and that derived global sections commute with the family structure up to quasi-isomorphism. Without a detailed check for non-flat base changes or higher derived terms that might introduce additional cocycle data, the universality statement rests on an unverified descent step.

Authors: We agree that the manuscript would benefit from a more explicit verification of functoriality and descent. The central extension class is constructed intrinsically from the dg Lie algebra of the punctured formal 2-disk, which is independent of any particular family; this independence ensures that the class pulls back functorially under arbitrary base change. Derived global sections RΓ(T_X) are taken in the derived category of the base, so they commute with base change up to quasi-isomorphism by the standard base-change theorems for coherent sheaves on schemes. Nevertheless, to address possible subtleties with non-flat morphisms or higher derived terms that could affect cocycle representatives, we will insert a new subsection (or expanded paragraph) that explicitly checks the quasi-isomorphism and confirms that no additional cocycle data arises. This addition will cite the relevant derived-category base-change results and include a short diagram chase verifying preservation of the extension class. revision: yes

Circularity Check

0 steps flagged

No circularity; classification and GRR proof presented as independent results on given geometric input.

full rationale

The abstract states a classification of central extensions for the dg Lie algebra of derived global sections of the tangent sheaf on the punctured formal 2-disk, followed by a proof of a local universal Grothendieck-Riemann-Roch theorem. No equations, fitted parameters, self-citations, or ansatzes are provided in the visible text that would reduce any claimed result to its inputs by construction. The setup is taken as given without internal redefinition, and the two steps (classification then GRR) are sequenced as distinct. This is the common case of a self-contained geometric derivation with no load-bearing self-reference or renaming of known patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities can be extracted or audited.

pith-pipeline@v0.9.0 · 5327 in / 1062 out tokens · 30485 ms · 2026-05-12T05:11:17.408359+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Cyclic homology and the Lie algebra homology of matrices , author=. Comment. Math. Helv , volume=

work page
[2]

Proceedings of the American Mathematical Society , volume=

Central extensions of some Lie algebras , author=. Proceedings of the American Mathematical Society , volume=

work page
[3]

Chiral algebras , volume =

Beilinson, Alexander and Drinfeld, Vladimir , isbn =. Chiral algebras , volume =

work page
[4]

2025 , eprint=

Higher-dimensional Chiral Algebras in the Jouanolou Model , author=. 2025 , eprint=

work page 2025
[5]

Fuks, D. B. , TITLE =. 1986 , PAGES =

work page 1986
[6]

Gelfand, I. M. and Fuks, D. B. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1970 , PAGES =

work page 1970
[7]

Faonte, Giovanni and Hennion, Benjamin and Kapranov, Mikhail , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.01.040 , URL =

work page doi:10.1016/j.aim.2019.01.040 2019
[8]

Losik, M. V. , TITLE =. Funkcional. Anal. i Prilozen. , FJOURNAL =. 1970 , NUMBER =

work page 1970
[9]

arXiv preprint math/0506078 , year =

Dmitry Calaque , title =. arXiv preprint math/0506078 , year =. math/0506078 , archivePrefix=

work page arXiv
[10]

The Mukai pairing, I: The Hochschild structure , school =

Alexander C. The Mukai pairing, I: The Hochschild structure , school =. 2000 , note =

work page 2000
[11]

Hochschild cohomology and Atiyah classes , journal =

Alexander C. Hochschild cohomology and Atiyah classes , journal =. 2010 , eprint =

work page 2010
[12]

Duke Mathematical Journal , volume =

Boris Feigin and Giovanni Felder and Boris Shoikhet , title =. Duke Mathematical Journal , volume =. 2005 , eprint =

work page 2005
[13]

Williams , title =

Brian R. Williams , title =. 2024 , journal =. 2405.05174 , archivePrefix=

work page arXiv 2024
[14]

Journal of the American Mathematical Society , volume =

Benjamin Hennion and Mikhail Kapranov , title =. Journal of the American Mathematical Society , volume =. 2023 , eprint =

work page 2023
[15]

Japanese Journal of Mathematics , volume =

Mikhail Kapranov , title =. Japanese Journal of Mathematics , volume =. 2021 , doi =

work page 2021
[16]

Williams , title =

Brian R. Williams , title =. 2024 , journal =. 2404.16128 , archivePrefix=

work page arXiv 2024
[17]

Gui, Zhengping and Li, Si and Xu, Kai , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00220-021-03944-z , URL =

work page doi:10.1007/s00220-021-03944-z 2021
[18]

, TITLE =

Gwilliam, Owen and Williams, Brian R. , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/ATMP.2021.v25.n1.a4 , URL =

work page doi:10.4310/atmp.2021.v25.n1.a4 2021
[19]

, note =

Williams, Brian R. , note =. Holomorphic sigma-models and their symmetries , url =

work page