Higher-dimensional Virasoro algebras

Brian R. Williams; Zhengping Gui

REVIEW 3 major objections 5 minor 4 references

Higher-dimensional Virasoro algebras

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For d>2, the second Lie algebra cohomology of the d-dimensional Witt algebra is isomorphic to H^{2d+2}(BGL_d), and all extension classes are produced by a universal Chern–Weil map; the same machinery gives a local universal…

desk verdict A real advance with a load-bearing gap: the injectivity half is solid, but the classification upper bound and the GRR proof both rest on inputs the paper does not supply. read the letter →

arxiv 2608.04965 v1 pith:2JS6MSL7 submitted 2026-08-05 math.AG math-phmath.MPmath.RT

Zhengping Gui , Brian R. Williams This is my paper · ORCID

classification math.AGmath-phmath.MPmath.RT MSC 17B5617B6617B6814F40

keywords VirasoroalgebrasWittalgebraCentralextensionsLiecohomologyChern–WeilhomomorphismGrothendieck–Riemann–RochJouanoloumodelTensormodules

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to classify all central extensions of the d-dimensional Witt algebra—the dg Lie algebra of derived global sections of the tangent sheaf on the punctured formal d-disk—for every d>2. It shows that the second Lie algebra hypercohomology has dimension p(d+1)-1, the number of partitions of d+1 minus one, and that a universal Chern–Weil homomorphism gives an explicit isomorphism onto this space. It then proves a local, universal Grothendieck–Riemann–Roch theorem: the action of the Witt algebra on any tensor module pulls the canonical one-dimensional endomorphism class back to Td·Ch(V). If correct, these results give the higher-dimensional analogue of the Virasoro central-extension story and a universal Riemann–Roch formula for formal families of d-dimensional varieties.

What carries the argument

The load-bearing device is the diagonal filtration on the GL_d-invariant continuous Chevalley–Eilenberg cochain complex of Witt_d, which measures how many distinct points a multilinear cochain is sensitive to. Passing to the associated graded and then to a jet filtration, each k-point stratum becomes a tensor product of relative de Rham current homology H^rel_•(k,k−1) with the Lie algebra cohomology of formal vector fields. The k=1 stratum gives $H^{{2d+1}}$_Lie(W_d), and injectivity is proved by constructing explicit chains, one for each partition of d+1, that pair upper-triangularly with the Chern–Weil classes. For the Riemann–Roch theorem, the machinery is a residue trace on the dg Weyl algebra of the punctured disk, whose Wick/Feynman expansion is argued to contain only one-loop graphs.

What would settle it

Fix d=3 and compute the relative de Rham current homology H^rel_•(2,1). Fact (b) in Section 4.1.5 predicts it is concentrated in cohomological degrees at least -10; exhibiting one nonzero class in degree -11 or lower would break the inequality used to eliminate all k>1 terms from the diagonal spectral sequence, so Theorem 4.4 would fail to give the claimed upper bound. Verifying the bound and the convergence of the spectral sequence would complete the classification.

Watch

Extended reading notes

Core claim

For d>2, the paper proves $H^{2}$_Lie(Witt_d) ≅ $H^{{2d+1}}$_Lie(W_d) ≅ $H^{{2d+2}}$(BGL_d), a vector space of dimension p(d+1)-1. The universal Chern–Weil homomorphism cw_d: C[ch_1,...,ch_d]_{d+1} → $H^{2}$_Lie(Witt_d) is an isomorphism, so every central extension of the higher Witt algebra is a degree-(d+1) polynomial in universal Chern character classes. In addition, for any tensor module V, the pullback of the canonical Tate class [z_1∧...∧z_d∧P] along the Lie-derivative action is exactly Td·Ch(V), the degree-(2d+2) component of the Todd class times the Chern character. The same results hold for the semi-direct product Witt_d ⋉ gl_r(J_d), with $H^{{2d+2}}$(BGL_d × BGL_r) replacing $H^{{2d+2}}$(BGL_d).

Load-bearing premise

The classification's upper bound assumes an unproved vanishing statement: for collisions of more than two points, the relative de Rham current homology has no classes below a certain degree, and this assumption is used to discard every multi-point diagonal contribution; if it fails, p(d+1)-1 is only a lower bound.

Editorial extensions

If this is right

Every central extension of the d-dimensional Witt algebra is a universal Chern–Weil class, so no extension exists outside the image of cw_d.
For the semi-direct product Witt_d ⋉ gl_r(J_d), the second Lie cohomology is H^{2d+2}(BGL_d × BGL_r), giving a simultaneous classification of higher Kac–Moody extensions together with the Witt action.
The image of H^2_Lie(Witt_d) inside the Lie algebra cohomology of differential operators is exactly one-dimensional.
For every tensor module V, the pullback of the canonical Tate class is the degree-(2d+2) component of Td·Ch(V), establishing a local universal Grothendieck–Riemann–Roch formula.
The dimension p(d+1)-1 agrees with the dimension of degree-(d+1) polynomials in the Chern characters, so the injective Chern–Weil map is automatically an isomorphism once the upper bound is established.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof of the upper bound rests on the unproved degree bound for relative de Rham current homology stated as fact (b); computing that homology for k=2 in low dimensions would either complete the proof or reveal additional nonlocal cocycles.
If the local Grothendieck–Riemann–Roch identity is combined with pushforward formalism, it suggests a higher-dimensional analogue of the Mumford determinant line bundle in which the Todd class enters as a local anomaly polynomial; this is an extrapolation, not a claim of the paper.
The one-loop-only structure of the residue-trace expansion suggests that these higher Virasoro central extensions are the local terms of an algebraic index theorem for families of d-dimensional manifolds, extending the d=1 background-charge picture.
The explicit partition-indexed chains used to prove injectivity may serve as a universal family of test cycles for pairing against any proposed higher Virasoro cocycle in related geometric settings.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this is a serious paper that extends the d=2 Virasoro classification to all d and states Kapranov's local universal GRR conjecture as a theorem. The injectivity proof is the best part; the upper bound has an unproved input; the GRR proof is a sketch.

What's new: the classification of central extensions for d>2 (Theorem 4.4) and the GRR theorem (Theorem 5.1/5.2) are not in the cited literature. The paper also extends the Chern–Weil story to the semi-direct product with gl_r(J_d), which is a useful bonus.

The injectivity half is genuinely good. The explicit partition-indexed cycles in Section 3 and the triangular pairing matrix in Proposition 3.6 are concrete and checkable. The tables for d=3 and d=4 make the pattern clear, and the argument that lower Jouanolou-degree terms don't affect pairings is plausible. I would have liked the diagonal entries computed for general d rather than asserted, but this is a minor complaint, not a real flaw.

The soft spots are real and load-bearing. Section 4.1.5 lists three 'facts' about relative current homology and proves none of them. Fact (b)—the concentration in degrees at least k(-2d+1) for k>1—is what eliminates all k>1 contributions at total degree two. Without it, Theorem 4.4 gives only the injectivity lower bound. This is not a technicality; it is the whole upper bound. The stress-test note is correct: if fact (b) fails, the classification collapses to a lower bound. The paper gives no proof and no reference for this fact. A referee must demand either a proof or a precise citation.

The GRR part is also thinner than the introduction suggests. Theorem 5.2's proof is a paragraph: it refers to [GWW25] for the framework, then says the rest is a one-loop Feynman diagram computation. The reader is asked to take the main geometric statement on faith. If the full proof lives in [GWW25], the authors should say exactly which statements are being imported; as written, it is not a standalone proof.

On the positive side, there is no circularity: injectivity is by explicit cycles, the upper bound comes from a spectral sequence using Fuks' classical theorems, and the topological identification with BGL_d is standard. The flatness proof for the Jouanolou model is included and looks correct. The citation pattern is honest—previous work is cited where relied upon.

Who this is for: people in higher-dimensional conformal field theory, factorization algebras, and chiral algebras, plus algebraic geometers interested in GRR-type statements. It deserves a serious referee, not a desk reject. I would ask for the missing relative-current bound and a fuller GRR argument before accepting it, but the core of the paper is likely right and the gap is checkable.

Referee Report

3 major / 5 minor

Summary. The paper studies the dg Lie algebra Witt_d ≅ RΓ(D̊_d, T) of derived global sections of the tangent sheaf on the punctured formal d-disk, for d > 2. Its first main result is a classification of central extensions: the authors construct a universal Chern–Weil homomorphism cw_d from degree-(d+1) polynomials in universal Chern classes to H^2_Lie(Witt_d), prove injectivity by pairing with explicit cycles (Section 3), and then claim an upper bound via a diagonal filtration and spectral sequence (Section 4), yielding H^2_Lie(Witt_d) ≅ H^{2d+1}_Lie(w_d) ≅ H^{2d+2}(BGL_d) of dimension p(d+1)−1. The same argument is extended to the semidirect product Witt_d ⋉ gl_r(J_d). The second main result is a local, universal Grothendieck–Riemann–Roch formula: for a tensor module V, the pullback of the universal Tate class along L_V equals Td·Ch(V) restricted to degree 2d+2 in H^2_Lie(Witt_d) (Theorems 5.1 and 5.2).

Significance. If the two main theorems are correct, this is a substantial contribution: it gives a complete classification of central extensions of higher-dimensional Witt-type dg Lie algebras in terms of a universal Chern–Weil construction, identifies the cohomology with the cohomology of a classifying space, and produces a concrete, falsifiable local Riemann–Roch statement. The paper has real strengths: the injectivity argument is constructive and explicit, with pairing matrices for d=2,3,4; the diagonal filtration is a natural and potentially reusable tool; and the GRR formula is stated in a checkable universal form. The main weaknesses are also clear: the upper-bound half of the classification rests on an unproved concentration statement about relative de Rham current homology, and the proof of the GRR theorem is sketched rather than carried out. Both are load-bearing rather than cosmetic.

major comments (3)

[§4.1.5, fact (b) and Theorem 4.4] The upper bound in Theorem 4.4 rests on the assertion, stated without proof or reference, that for k>1 the relative de Rham current homology H^rel_•(k,k−1) is concentrated in cohomological degrees at least k(−2d+1). This bound is exactly what eliminates all k>1 terms from the diagonal spectral sequence at total degree two (the manuscript uses the estimate k(2d+1)+k(−2d+1)=2k>2 on p. 23). Since H^rel_•(k,k−1) is a new object introduced in this paper rather than a classical Fuks input, the paper needs either a proof of fact (b) or a precise reference with the matching statement. If fact (b) fails for some k>1, Theorem 4.4 reduces to the injectivity lower bound of Theorem 3.7 and the identification with H^{2d+2}(BGL_d) is unsupported; Theorem 4.5 and the gl_r version share the same defect.
[Proposition 3.6 and Theorem 3.7] The triangu-larity and nonvanishing of the pairing matrix are asserted rather than computed. The proof of Proposition 3.6 says that "degree reasons" eliminate lower-order terms, that trace factors "can be nonzero only if" supported on blocks of matching size, and that the diagonal pairing is "unique up to permutation of equal-sized blocks," but no general formula for ⟨ch_λ, 𝕧̃_ν⟩ is given and no induction or combinatorial identification is supplied. The tables cover only d=2,3,4. Since this proposition is the heart of the injectivity of cw_d, which is the lower-bound half of the central classification, the argument needs to be made fully explicit or replaced by a verifiable computation.
[§5.2–5.3, Theorems 5.1–5.2] The proof of Theorem 5.2 is one paragraph that calls the computation a "straightforward refinement" of [GWW25] and invokes a Wick/Feynman diagram expansion without defining the relevant propagator beyond Π, without deriving the Bernoulli/Todd coefficients, and without proving the claimed one-loop reduction or the vanishing of all tree components. The normalization identity ResTr^{S^1}_D([z_1∧⋯∧z_d∧P])=1 is also asserted rather than verified. Since Theorem 5.1 is the paper's second main theorem and depends directly on Theorem 5.2, the full computation must be written out. As written, the GRR claim is better described as a derived statement with a credible strategy than as a proof.

minor comments (5)

[Throughout] Please correct typos such as "neccesary," "exstensions," "procut," "Jouanlou," "through away" (p. 6), and the inconsistent spelling "Fuks"/"Fuchs"; also "Todd" in §5.3 should be "Td" for consistency with the main theorems.
[§2.1.1 and §4.1.1] The notation is confusing: C[z]=C[z_1,…,z_d] at the start of §2 is used with z_i as scalar coordinates, while in §4.1.1 one writes C[[z]]=C[[z_1,…,z_n]] with each z_i denoting a d-tuple. Please use a consistent convention, e.g. superscripts z_i^s for coordinates, to avoid ambiguity in the definition of ℑ_π.
[Definition 3.2] The condition d(2)(P_d ∂_1 ∧ 𝕨)=∂(−) contains an unspecified placeholder "(−)". It should read "is ∂-exact" with the primitive named, or the displayed formula should include an explicit chain whose ∂-differential equals the left-hand side; otherwise the definition is not formally complete.
[§4.1.5, fact (c)] Fact (c), the triviality of the w_d-action on H^rel_•(k,k−1), is dismissed with "This follows from the Cartan homotopy formula." A one-line indication of the homotopy or a precise reference would make the upper-bound argument easier to audit.
[Figure 1 and Lemma 3.3] The labels in Figure 1, such as (d+1,d−1) and the row containing "12 0," are not explained in the caption, and the bi-grading used in the zig-zag argument is not defined. Please add bidegree axes or explain the diagram in the text.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification rests on an explicit injectivity proof and an independent spectral-sequence upper bound; the unproved concentration bound is a gap, not a circular reduction.

full rationale

The central claims are not forced by their inputs. Theorem 3.7 proves injectivity of the Chern-Weil map using explicit chains, a triangular pairing matrix, and the Procesi-Razmyslov trace identity, all inside the paper. The upper bound in Theorem 4.4 comes from a diagonal filtration spectral sequence; the k=1 local term is identified with H^{2d+1}_Lie(w_d) using classical Fuks results and Khoroshkin's theorem, and the k>1 terms are discarded using a stated concentration bound for relative de Rham current homology (§4.1.5(b)). That bound is asserted without proof or reference, so it is a correctness/completeness risk rather than circularity: the paper does not define H^2_Lie(Witt_d) to equal H^{2d+2}(BGL_d), nor does it fit any parameter to that target. Reliance on [GW26] for the d=2 base case and for recalled definitions is natural authorial continuity and is not load-bearing: the d>2 injectivity proof is performed here, and the spectral-sequence input is external. The Grothendieck-Riemann-Roch formula (Theorem 5.2) is sketched by reference to [GWW25] and the algebraic residue trace, but it is a computation of a residue-trace class, not a renaming of the conclusion. No fitted parameter is renamed as a prediction, and no uniqueness theorem by the authors is invoked to force the choice.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central results rely on classical theorems of Fuks and Khoroshkin, on the authors' prior work [GW26], and on unproved degree bounds for relative current homology. There are no fitted parameters and no new postulated entities. The main non-classical input beyond [GW26] is the asserted structure of the diagonal-filtration spectral sequence.

assumptions (4)

domain assumption For k>1, the relative de Rham current homology H^rel_•(k,k-1) is concentrated in cohomological degrees ≥ k(-2d+1), and for k=1 it is one-dimensional in degree -2d+1 (fact (b), Section 4.1.5).
Used to exclude k>1 terms in the diagonal spectral sequence for total degree two; asserted without proof.
standard math The Lie algebra cohomology of the formal vector fields W_d is isomorphic to the cohomology of the total space Y_d of the universal U(d)-bundle restricted to the 2d-skeleton of BGL_d, with degeneration of the Serre spectral sequence (Fuks' theorem).
Classical external theorem cited in Section 4 for the upper bound dimension.
domain assumption The relative Lie algebra cohomology H^•_Lie(W_d ⋉ gl_r(C[[z]]); gl_d ⊕ gl_r) is isomorphic to H^{•≤2d}(BGL_d × BGL_r) (Khoroshkin's theorem), with the deduction sketched in [Wil24].
Used in Theorem 4.5; the reduction from Khoroshkin's result to the stated form is only sketched in the author's own preprint [Wil24].
standard math H^1_Lie(W_poly_d) = 0 (classical result of Fuks).
Used in Lemma 3.3 to correct the descent chain into a cocycle.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Higher-dimensional Virasoro algebras." pith.science (2026). https://pith.science/paper/2JS6MSL7

@misc{pith2026260804965,
  author       = {Pith},
  title        = {Pith review of: Higher-dimensional Virasoro algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2JS6MSL7}},
  note         = {Machine review of arXiv:2608.04965}
}

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 d-disk for d > 2. (The d=2 case has appeared in previous work). We also prove a local, universal form of the Grothendieck-Riemann-Roch theorem for families of d-dimensional complex varieties.

Figures

Figures reproduced from arXiv: 2608.04965 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 2 canonical work pages

[1]

Duality Theorems for Infinite Braided Hopf Algebras

[FHK19] G. Faonte, B. Hennion, and M. Kapranov. “Higher Kac-Moody algebras and moduli spaces of 𝐺-bundles”. Adv. Math. 346 (2019), pp. 389–466. url: https://doi.org/10.1016/ j.aim.2019.01.040. [FFS05] B. Feigin, G. Felder, and B. Shoikhet. “Hochschild cohomology of the Weyl algebra and traces in deformation quantization”. Duke Mathematical Journal 127.3 (...

work page Pith review arXiv 2019
[230]

Central extensions of some Lie algebras

url: https://doi.org/10.1007/s10958-007-0167-5 . [LW98] W. Li and R. Wilson. “Central extensions of some Lie algebras”. Proceedings of the American Mathematical Society 126.9 (1998), pp. 2569–2577. [LQ84] J.-L. Loday and D. Quillen. “Cyclic homology and the Lie algebra homology of matrices”. Comment. Math. Helv 59.4 (1984), pp. 569–591. [Pro76] C. Procesi...

arXiv 1998
[2025]

url: https://arxiv.org/abs/ 2510.26608

arXiv: 2510.26608 [math.QA]. url: https://arxiv.org/abs/ 2510.26608. [GW26] Z. Gui and B. R. Williams. Two-dimensional Virasoro algebras

arXiv
[2026]

Two-dimensional Virasoro algebras

arXiv: 2605.10549 [math.AG]. url: https://arxiv.org/abs/2605.10549. [HK23] B. Hennion and M. Kapranov. “Gelfand–Fuchs cohomology in algebraic geometry and fac- torization algebras”. Journal of the American Mathematical Society 36.2 (2023), pp. 311–396. arXiv: 1811.05032. [Kap21] M. Kapranov. “Infinite-dimensional (dg) Lie algebras and factorization algebr...

work page Pith review arXiv 2023

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

Duality Theorems for Infinite Braided Hopf Algebras

[FHK19] G. Faonte, B. Hennion, and M. Kapranov. “Higher Kac-Moody algebras and moduli spaces of 𝐺-bundles”. Adv. Math. 346 (2019), pp. 389–466. url: https://doi.org/10.1016/ j.aim.2019.01.040. [FFS05] B. Feigin, G. Felder, and B. Shoikhet. “Hochschild cohomology of the Weyl algebra and traces in deformation quantization”. Duke Mathematical Journal 127.3 (...

work page Pith review arXiv 2019

[2] [230]

Central extensions of some Lie algebras

url: https://doi.org/10.1007/s10958-007-0167-5 . [LW98] W. Li and R. Wilson. “Central extensions of some Lie algebras”. Proceedings of the American Mathematical Society 126.9 (1998), pp. 2569–2577. [LQ84] J.-L. Loday and D. Quillen. “Cyclic homology and the Lie algebra homology of matrices”. Comment. Math. Helv 59.4 (1984), pp. 569–591. [Pro76] C. Procesi...

arXiv 1998

[3] [2025]

url: https://arxiv.org/abs/ 2510.26608

arXiv: 2510.26608 [math.QA]. url: https://arxiv.org/abs/ 2510.26608. [GW26] Z. Gui and B. R. Williams. Two-dimensional Virasoro algebras

arXiv

[4] [2026]

Two-dimensional Virasoro algebras

arXiv: 2605.10549 [math.AG]. url: https://arxiv.org/abs/2605.10549. [HK23] B. Hennion and M. Kapranov. “Gelfand–Fuchs cohomology in algebraic geometry and fac- torization algebras”. Journal of the American Mathematical Society 36.2 (2023), pp. 311–396. arXiv: 1811.05032. [Kap21] M. Kapranov. “Infinite-dimensional (dg) Lie algebras and factorization algebr...

work page Pith review arXiv 2023