Pith. sign in

REVIEW 5 major objections 5 minor 41 references

The same two finiteness conditions that control first chiral homology on elliptic curves also control it on every compact Riemann surface.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-31 06:54 UTC pith:IIUIUVCF

load-bearing objection Real answer to van Ekeren–Heluani’s open question on H^{ch}_1 in all genera; architecture is clean, but vanishing rides on a finite-rank claim for coefficient rings that looks under-justified. the 5 major comments →

arxiv 2607.24719 v1 pith:IIUIUVCF submitted 2026-07-27 math.FA

The first chiral homology group in higher genus

A. Zuevsky This is my paper
classification math.FA MSC 81T4014H8117B6914H15
keywords chiral homologyvertex operator algebrasconformal field theorysewing of Riemann surfacesZhu algebraPoisson homologyprojectively flat connectionmoduli of curves
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper extends first chiral homology of vertex algebras from elliptic curves to surfaces of every genus by building each surface through iterated handle sewing onto the sphere. It produces an explicit complex for the degree-zero and degree-one groups, equips it with a projectively flat connection over the sewing parameters, and proves a genus-g Fourier-space Borcherds identity. The central claim is that two purely algebraic finiteness hypotheses on the vertex algebra—finite first Poisson homology of its Zhu C2-algebra and finite generation of a related Koszul homology—already force the first chiral homology to be finite-dimensional in every genus. Under slightly stronger classical freeness and Hochschild-vanishing assumptions, that group vanishes outright for the same rational examples previously treated only in genus one. A sympathetic reader cares because degree-one conformal blocks had been open beyond the torus; the paper says the obstruction is local to a single handle and does not grow with genus.

Core claim

If a strongly finitely generated conformal vertex algebra has finite-dimensional first Poisson homology of its Zhu C2-algebra and finitely generated Koszul homology of the associated graded, then the first chiral homology of that algebra on any compact Riemann surface of any genus is finite-dimensional. With classical freeness and vanishing first Hochschild homology of the Zhu algebra, the group vanishes in every genus for the same rational families already known in genus one.

What carries the argument

The Relative First Chiral Homology Theorem: every piece of the genus-one complex, connection, modified vertex operators, trace functions, and finiteness criteria continues to hold when one handle is sewn onto an arbitrary compact base curve, with only the coefficient rings changed. Genus g is obtained by applying this theorem once per handle.

Load-bearing premise

The whole higher-genus theory rests on the claim that sewing a single handle onto any compact base curve, not just the sphere, carries the genus-one constructions over with only formal changes of coefficient rings.

What would settle it

Exhibit a strongly finitely generated vertex algebra meeting the two finiteness hypotheses whose first chiral homology is infinite-dimensional on some compact surface of genus greater than one, or show that the relative one-handle complex fails to compute Beilinson–Drinfeld chiral homology for a concrete non-spherical base curve.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Finite-dimensionality and vanishing of first chiral homology become genus-independent once checked algebraically on the vertex algebra alone.
  • Boundary Virasoro minimal models, nonnegative-integral-level sl2 affine algebras, and level-one simple affine algebras have vanishing first chiral homology on every compact Riemann surface.
  • The sewing polydisc carries an explicit projectively flat connection on the degree-zero and degree-one complexes, with a central-charge curvature and new cross-handle coupling terms for genus at least two.
  • Total degeneration of all sewing parameters identifies the limiting first chiral homology with an iterated Hochschild construction on the Zhu algebra via factorization on the nodal curve.

Where Pith is reading between the lines

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

  • Any future improvement of the genus-one finiteness criteria would propagate automatically to every genus through the same one-handle induction.
  • Lattice vertex algebras are a natural next test: the geometric machinery is ready once their Poisson and Hochschild vanishing are checked algebraically.
  • The same handle-by-handle strategy may adapt to higher chiral homology degrees if a usable multi-term complex can be written locally at each neck.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The paper extends van Ekeren–Heluani's genus-1 theory of the first chiral homology group H^ch_1 of a vertex algebra to compact Riemann surfaces of arbitrary genus. A genus-g surface is built by iterated self-sewing of g handles onto the sphere, and the technical core is a "Relative First Chiral Homology Theorem" (Theorem 5.18) asserting that every construction of [12] — the complex, its connection, modified vertex operators, the Fourier–Borcherds identity, trace functions, finiteness and vanishing criteria — transports from a handle sewn onto P^1 to a handle sewn onto an arbitrary base curve Y. Iteration yields an explicit complex computing H^ch_0 and H^ch_1 in every genus (Theorem 6.1), a projectively flat connection over the sewing polydisc with central-charge curvature and cross-handle coupling (Theorem 7.3), a genus-g Fourier–Borcherds identity (Theorem 8.3), convergent g-handle trace functions with an insertion formula (Theorems 9.2–9.3), finite dimensionality of H^ch_1(X,V) in every genus under the same two hypotheses as [12] (Theorem 10.1), and vanishing of H^ch_1 in every genus for classically free rational examples with HH_1(Zhu(V))=0 (Theorem 11.3, Corollary 11.4).

Significance. If the repairs are made, this is a solid contribution: it answers the higher-genus question left open by van Ekeren–Heluani for their two finiteness hypotheses, and provides the first explicit chain-level model of degree-1 chiral homology in arbitrary genus, with a projectively flat connection exhibiting a genuine new cross-handle coupling absent at g=1. Strengths worth naming: the reduction architecture is transparent and economical (one relative theorem, iterated; the external inputs — retrosection, Yamada's variational formula, DGT factorization, TUY/Beilinson–Schechtman — are clearly itemized); the projective-vs-absolute flatness distinction is handled honestly; the genus-2 cross-handle term and the Heisenberg genus-2 character are computed explicitly, giving the formalism concrete, checkable content; and the corollaries (vanishing for Vir_{2,2s+1}, V_k(sl2), V_1(g) in every genus) are falsifiable statements about named algebras. There are no hidden free parameters: the hypotheses are exactly those of [12]. The significance is conditional on closing the gaps in Major Comments 1–3, all of which appear repairable within the paper's framework.

major comments (5)
  1. [§5, Remark 5.4; §11, proof of Theorem 11.3] Remark 5.4 (used in Proposition 5.17 and in the Claim in the proof of Theorem 11.3): the assertion that each weight-graded piece C_k^{Yρ}[d] is finite-rank over the ρ-disc does not follow from the definitions given. The coefficient ring F_n(Yρ) (§4.9) allows arbitrary meromorphic functions on Y^n with poles on diagonals and marked points; the stated grading (L_0-weight plus ρ-adic weight) places no bound on pole order, so at fixed total weight the piece contains a⊗f_N for f_N of arbitrarily high pole order, an infinite-rank family. Moreover, the translation-covariance relation a⊗∂f ≡ −(L_{-1}a)⊗f mixes L_0-weights, so the grading is not even well-defined on the quotient unless the coefficient ring carries a compatible weight with wt∘∂ = wt+1 (e.g. pole order, for which Riemann–Roch gives finite-dimensionality at fixed weight). As written, the semicontinuity engine of the vanishing theore
  2. [§10, Theorem 10.1; §11, Theorem 11.3; vs. §13.2(iv)] Both headline theorems conclude statements for every compact Riemann surface X of genus g, but the entire machinery — sewing presentation, convergence (Theorem 9.2), semicontinuity — is local to a punctured polydisc |ρ_i|<r_i around the maximally degenerate stratum. Retrosection (§4.1) guarantees every X admits some Schottky presentation, but not one with all multipliers in an arbitrarily small disc: small |ρ_i| means X lies near the boundary of M_g. No analytic continuation or flat-connection argument over Schottky space is given; §13.2(iv) explicitly lists global modular covariance as open, which contradicts the global statements of Theorems 10.1 and 11.3 as printed. Either supply the global argument or state the theorems for curves in the sewing neighborhood.
  3. [§11, Proposition 11.2] The degeneration of the degree-0 factor H^ch_0(X^{(g−1)}, V^{⊗(n+2(g−1))}) to W is justified by '[12, Thm. 10.4] applied g−1 more times to the degree 0 theory (controlled, for C_2-cofinite or more generally lisse V, by C_2-cofiniteness alone, uniformly in genus, by [9])'. But the hypotheses of Theorem 11.3 — dim HP_1(R_V)<∞, HK_1(A)=0, HH_1(Zhu(V))=0 — do not imply C_2-cofiniteness or quasi-lisseness, so the DGT factorization theorem is invoked outside its stated range (the corollaries are safe, since those V are rational). Theorem 11.3 should either add a C_2-cofiniteness/quasi-lisse hypothesis or justify the degree-0 degeneration directly from the stated assumptions.
  4. [§5, Theorem 5.18, Propositions 5.15–5.17] The entire genus-g theory is g-fold iteration of this theorem, yet its three load-bearing components receive one-paragraph treatments. (a) Proposition 5.15: the splitting gr^G C = C̃^(1)⊕C̃^(2) of [12, Prop. 10.20] is asserted to acquire only 'inert tensor factors' from the marked points of Y; the E_1-page identification with HP_1(R_V)⊗R_V^{⊗m} and HK_1(A)⊗A^{⊗m} should actually be displayed, since uniformity in m is used in the induction of Theorem 10.1 where m grows with g. (b) Proposition 5.16: Frobenius–Fuchs with holomorphic parameters (the marked points of Y) needs the radius-of-convergence uniformity stated; continuity of indicial roots is asserted, not shown. (c) Proposition 5.17: the identification of the ρ→0 limit with HH_1(Zhu(V))⊗(factors from Y) is the seed of Proposition 11.2 and deserves a proof rather than 'local to p'. Given that 'formal transport' is the paper's central
  5. [§7, Theorem 7.3] This is the one genuinely new genus ≥ 2 computation in the paper, and it is sketched: 'insert the decomposition of Lemma 7.2 into (7.3); the regular parts cancel by associativity; the anomalous part contributes c·κ_ij·id', with κ_ij then defined as a residue of ∂_{ρ_j}S at u_i, u'_i — a formula whose indices do not match the preceding sentence and whose c-linearity is imported from [4,23] rather than derived in the chain-complex setting. Since projective flatness is used (via Corollary 7.4) for constancy of homology dimension in Theorems 9.2, 10.1 and 11.3, the curvature computation should be carried out in full at least at leading order (the data of Example 4.12 make this feasible), and the definition of κ_ij made consistent.
minor comments (5)
  1. [§5, §9] Equation numbering is inconsistent: the display in 5.10 is labeled (5.2) but the text then says 'Consequently (5.3) holds'; in 5.12 the Leibniz identity is labeled (5.3) while Proposition 5.13 cites '(5.3)-(5.4)' apparently meaning (5.2)-(5.3) and the definition (5.4); the proof of Theorem 9.3 invokes 'iterating (9.3)', but no display (9.3) exists — only (9.1) and (9.2). Please renumber §§5, 9 carefully.
  2. [§1.7 vs. Remark 12.4] §1.7 asserts that H^ch_1 for the Heisenberg algebra 'is (Remark 12.4), nonzero and infinite dimensional', but Remark 12.4 shows only that HP_1(R_V) is infinite dimensional and that the hypotheses fail; the degree-1 computation is explicitly not pursued. The claim in §1.7 should be deleted, proved, or downgraded to an expectation.
  3. [passim] Typos and stray items: 'mentiones' (Remark 10.2); the empty numbered paragraph '1.11.'; stray comma in 'the identical computation, establishes' (Lemma 5.6 proof); Remark 4.5 introduces radii r_i ≤ ε_i^2 that are not reconciled with the polydisc notation of Theorem 9.2.
  4. [§4.4, Lemma 4.11] Remark 4.10 and Lemma 4.11(2): the 'sum of derivatives vanishes' property is stated for F^{(g)}_n but proved only via the residue theorem applied to global meromorphic functions; since F^{(g)}_n is defined as a ring of formal expansions, the identification of every formal Laurent series with a global function (surjectivity of the expansion map) is used silently. A sentence clarifying whether F^{(g)}_n is the ring of expansions of global functions or the formal ring would remove the ambiguity that also bears on Major Comment 1.
  5. [§1.4, §2.1, §9] The guide in 1.4 is helpful, but Figure 1's arrow §3→§5 omits that §10 also uses §3 directly (HK_1(A) finiteness, 3.1); Table 1 lists 'classically free' twice. Notation F^n_1 is used both for the relative trace function (5.4) and, superscripted (g), in §9; consider distinguishing them typographically.

Circularity Check

1 steps flagged

No significant circularity: higher-genus finiteness/vanishing reduce to external algebraic hypotheses and cited theorems, not to self-defined or fitted quantities.

specific steps
  1. self citation load bearing [§1.2, §4.2–4.3, §9.1; refs [25,26]]
    "the realization of correlation functions of a vertex operator algebra on a genus g Riemann surface via iterated self-sewing of handles onto bC was developed by Mason, Tuite, Welby and Zuevsky [21, 24–26] ... we adopt their sewing construction and their genus g generalizations of the Weierstrass functions"

    Mild only: the geometric sewing presentation and propagator kernels used to define genus-g trace functions are taken from the author’s prior joint work. This is standard reuse of geometric setup, not a uniqueness theorem or a fitted parameter renamed as a prediction; the finiteness/vanishing claims still rest on independent algebraic hypotheses and on [12]/DGT, so the score contribution is minimal.

full rationale

The paper’s spine is ordinary cumulative mathematics, not a closed definitional loop. Theorem 5.18 asserts that the van Ekeren–Heluani genus-1 package transports to a handle sewn on an arbitrary base curve Y; Theorems 10.1 and 11.3 then obtain every-genus finiteness and vanishing by g-fold iteration plus external inputs (retrosection, Yamada variational formulas, Damiolini–Gibney–Tarasca factorization, and the algebraic conditions dim HP_1(R_V)<∞, finite generation of HK_1(A), HH_1(Zhu(V))=0). Those algebraic conditions are hypotheses on V alone, verified for the example families in the cited external work [12, §11], not fitted inside this manuscript. Self-citations ([25,26] sewing geometry; [37–41] mentioned only as adjacent technology) supply background or are explicitly unused; they do not force the headline claims by construction. Possible gaps (e.g. whether weight-graded pieces are truly finite-rank for semicontinuity) are correctness risks, not circular reductions of the form ‘prediction = input’.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 3 invented entities

The paper is a pure-math extension. Central claims rest on standard VOA/chiral-algebra axioms, classical Riemann-surface sewing and variational formulas, Beilinson–Drinfeld’s definition of chiral homology, the full genus-1 package of van Ekeren–Heluani, and the Damiolini–Gibney–Tarasca factorization theorem. No numeric free parameters. New objects are mathematical constructions (relative complex, genus-g coefficient rings, modified multi-handle trace functions), not physical entities.

axioms (8)
  • domain assumption Beilinson–Drinfeld chiral homology in degrees 0,1 is computed by the two-term bar/Cousin-type complex used in [12, §5] and transported here (Lem. 5.6).
    Identifies the paper’s explicit complex with the intrinsic Ext definition; cited from [3], used throughout §§5–6.
  • standard math Retrosection theorem: every compact genus-g Riemann surface arises from a Schottky group / iterated self-sewing presentation (4.1, 4.6).
    Needed so results on sewn surfaces cover all X; classical (Koebe/Bers).
  • standard math Yamada/Rauch variational formulas for the bidifferential and projective connection under Schiffer variation at a handle (Lem. 7.2).
    Input to projective flatness and cross-handle coupling; not re-proved.
  • domain assumption Damiolini–Gibney–Tarasca factorization for coinvariants/conformal blocks on nodal curves [9].
    Used in Prop. 11.2 and Thm. 11.3 to identify the totally degenerate limit with iterated Hochschild data on Zhu(V).
  • ad hoc to paper All definitions, residue identities, Fourier–Borcherds identity, filtration spectral sequence, and Frobenius–Fuchs convergence arguments of van Ekeren–Heluani [12] remain valid when the handle is sewn onto an arbitrary compact base Y (Thm. 5.18).
    This is the paper’s load-bearing relative principle; partly proved, partly declared identical local transport of [12].
  • domain assumption V strongly finitely generated; standing Noetherian/finite-type hypotheses on R_V and A=gr_F V (Defs. 2.4–2.5, §3).
    Makes HP_1 and HK_1 meaningful finiteness invariants; inherited from [12].
  • domain assumption Tsuchiya–Ueno–Yamada / Beilinson–Schechtman: natural connection on vacuum/chiral complexes over moduli is projectively flat with central-charge curvature (Thm. 7.3).
    Curvature κ_{ij}∝c and descent to homology are imported rather than computed from scratch.
  • domain assumption For the listed rational examples (Vir_{2,2s+1}, V_k(sl_2) at k∈ℤ_{≥0}, V_1(g)), the algebraic hypotheses dim HP_1(R_V)<∞, HK_1(A)=0, HH_1(Zhu(V))=0 hold as verified in [12, §11].
    Corollary 11.4 does no new Hochschild/Poisson computation; it quotes [12, Cor. 11.7].
invented entities (3)
  • Relative complex C^{Y_ρ}_• and relative trace functions F^n_1 on a handle sewn to arbitrary base Y no independent evidence
    purpose: Inductive step that turns the genus-1 package into a machine applicable at each sewing stage.
    Defined in §5.2–5.5; mathematical construction generalizing [12], not an external physical object.
  • Genus-g Weierstrass-type functions ℘^X_k and coefficient rings F^{(g)}_n, J^{(g),n}_* independent evidence
    purpose: Replace elliptic Weierstrass/Eisenstein data in the connection, Borcherds identity, and insertion formulas.
    §4.8–4.9; assembled from classical differentials via sewing expansions (Yamada/Fay/Tuite–Welby).
  • Multi-handle connection ∇=(∇_{ρ_1},…,∇_{ρ_g}) with cross-handle coupling and scalar curvature κ_{ij}(ρ) independent evidence
    purpose: Equip the genus-g complex with a projectively flat structure over the sewing polydisc.
    §7; new for g≥2 relative to [12]; curvature existence taken from [4,23].

pith-pipeline@v1.2.0-grok45-kimik3 · 49756 in / 4786 out tokens · 108252 ms · 2026-07-31T06:54:49.403382+00:00 · methodology

0 comments
read the original abstract

We extend the theory of the first chiral homology group of vertex algebras, developed by van Ekeren and Heluani for elliptic curves, to compact Riemann surfaces of arbitrary genus. Our approach realizes a genus $g$ surface by iterated self-sewing of $g$ handles onto the Riemann sphere, each governed by a sewing parameter $\rho_i$ in a punctured disc, so that the construction of van Ekeren-Heluani is recovered. We construct an explicit complex computing the chiral homology groups $H^{\mathrm{ch}}_0$ and $H^{\mathrm{ch}}_1$ of a vertex algebra $V$ on a genus $g$ surface with $n$ marked points, equip it with a projectively flat connection, with an explicit central-charge anomaly, over the $g$-dimensional space of sewing parameters, and prove a genus $g$ Fourier-space Borcherds identity for the associated modified vertex operators. We show that the same two finiteness hypotheses isolated by van Ekeren and Heluani in genus $1$ - finite dimensionality of the first Poisson homology $\HP_1(R_V)$ of the Zhu $C_2$- algebra, and finite generation of a certain Koszul homology of the associated graded algebra - imply finite dimensionality of $H^{\mathrm{ch}}_1(X,V)$ for every genus $g$ and every vertex algebra $V$, answering a question left open in their work. Using the degeneration $\rho_i \to 0$ together with the factorization theorem of Damiolini- Gibney-Tarasca, we relate the totally degenerate limit of $H_1^{\mathrm{ch}}$ to the Hochschild homology of an iterated construction on the Zhu algebra, and deduce vanishing of the first chiral homology group in every genus for the same classically free, rational vertex algebras treated in genus one.

Figures

Figures reproduced from arXiv: 2607.24719 by A. Zuevsky.

Figure 1
Figure 1. Figure 1: Logical dependence of the sections. An arrow A → B indicates that Section B uses results established in Section A. charge; the translation property L−1a = a(−2)1; and gradedness, L0|Vn = n·id. Skew￾symmetry Y (a, z)b = e zL−1 Y (b, −z)a holds, giving a(k)b = −(−1)k P j≥0 (−L−1) j j! b(k+j)a. A module is a vector space M with Y M(·, z) : V ⊗ M → M((z)) satisfying the corresponding Borcherds identity, with L… view at source ↗
Figure 2
Figure 2. Figure 2: Iterated sewing in genus 2 (Example 4.12): two handles are sewn onto Cb in succession, first at p1, p′ 1 with parameter ρ1, pro￾ducing Eρ1 , then at p2, p′ 2 ∈ Eρ1 with parameter ρ2 [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The cross-handle coupling of Remark 7.6: the classical differentials evaluated between two different handles depend on both sewing parameters, thus ∇ρ1 and ∇ρ2 fail to commute strictly (The￾orem 7.3). Remark 7.7 (Geometric interpretation of the cross-handle coupling). Conceptually, the coupling of Remark 7.6 and [PITH_FULL_IMAGE:figures/full_fig_p034_3.png] view at source ↗

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

41 extracted references · 7 linked inside Pith

  1. [1]

    T. Arakawa. Associated varieties of modules over Kac-Moody algebras andC 2-cofiniteness of W-algebras.Int. Math. Res. Not. IMRN, 2015(22):11605-11666, 2015

    2015

  2. [2]

    Arakawa and K

    T. Arakawa and K. Kawasetsu. Quasi-lisse vertex algebras and modular linear differential equa- tions. In V. Kac and V. Popov, editors,Lie Groups, Geometry, and Representation Theory, Progress in Mathematics, volume 326. Birkh¨ auser, 2018

    2018

  3. [3]

    Beilinson and V

    A. Beilinson and V. Drinfeld.Chiral Algebras. Number 51 in Colloquium Publications. American Mathematical Society, 2004

    2004

  4. [4]

    A. A. Beilinson and V. V. Schechtman. Determinant bundles and Virasoro algebras.Comm. Math. Phys., 118(4):651-701, 1988

    1988

  5. [5]

    Central dominance and the confinement mechanism in gluo- dynamics

    Bakker B., Veselov A., Zubkov M. Central dominance and the confinement mechanism in gluo- dynamics. Physics Letters B 471, 214 (1999)

    1999

  6. [6]

    L. Bers. Uniformization, moduli, and Kleinian groups.Bull. London Math. Soc., 4:257-300, 1972

    1972

  7. [7]

    N., Zubkov M

    Chernodub M. N., Zubkov M. Scale magnetic effect in quantum electrodynamics and the wigner- weyl formalism. Physical Review D 96, 056006 (2017)

    2017

  8. [8]

    Damiolini, A

    C. Damiolini, A. Gibney, and N. Tarasca. On factorization and vector bundles of confor- mal blocks from vertex algebras.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 57(1):241-292, 2024. arXiv:1909.04683

    Pith/arXiv arXiv 2024

  9. [9]

    Damiolini, A

    C. Damiolini, A. Gibney, and N. Tarasca. Conformal blocks from vertex algebras and their connections on Mg,n.Geom. Topol., 25(5):2235-2286, 2021. arXiv:1901.06981

    Pith/arXiv arXiv 2021

  10. [10]

    C. Dong. Vertex algebras associated with even lattices.J. Algebra, 161(1):245-265, 1993

    1993

  11. [11]

    van Ekeren and R

    J. van Ekeren and R. Heluani. Chiral homology of elliptic curves and the Zhu algebra.Comm. Math. Phys., 386:495-550, 2021. arXiv:1804.00017

    Pith/arXiv arXiv 2021

  12. [12]

    van Ekeren and R

    J. van Ekeren and R. Heluani. The first chiral homology group.Comm. Math. Phys., 405:194,

  13. [13]

    van Ekeren

    J. van Ekeren. Affine W-algebras. Quantum symmetries: tensor categories, TQFTs, and vertex algebras, 1-46, Contemp. Math., 813, Centre Rech. Math. Proc., Amer. Math. Soc., Providence, RI, 2025

    2025

  14. [14]

    J. D. Fay.Theta Functions on Riemann Surfaces. Number 352 in Lecture Notes in Mathematics. Springer-Verlag, 1973

    1973

  15. [15]

    Frenkel and D

    E. Frenkel and D. Ben-Zvi.Vertex Algebras and Algebraic Curves. Number 88 in Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2nd edition, 2004

    2004

  16. [16]

    Fr¨ ohlich, J

    J. Fr¨ ohlich, J. Fuchs, I. Runkel, C. Schweigert,Proceedings of the XVIth International Congress on Mathematical Physics (2010) 608-613

    2010

  17. [17]

    Huang.Two-Dimensional Conformal Geometry and Vertex Operator Algebras

    Y.-Z. Huang.Two-Dimensional Conformal Geometry and Vertex Operator Algebras. Number 148 in Progress in Mathematics. Birkh¨ auser, Boston, 1997

    1997

  18. [18]

    Kac.Vertex Algebras for Beginners

    V. Kac.Vertex Algebras for Beginners. University Lecture Series 10. American Mathematical Society, Providence, RI, 2nd edition, 1998. 48 A. ZUEVSKY

    1998

  19. [19]

    Kovyrshin, A

    G. Kovyrshin, A. Mekrami, J. Miller, M. A. Zubkov and A. Zuevsky, Topological invariant responsible for the integer QHE and noncommutative geometry, arXiv:2606.08868, preprint IM CAS No. IM-2026-19, 1-53 2026

    Pith/arXiv arXiv 2026

  20. [20]

    Maskit.Kleinian Groups

    B. Maskit.Kleinian Groups. Number 287 in Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 1988

    1988

  21. [21]

    Mason and M

    G. Mason and M. P. Tuite. Free bosonic vertex operator algebras on genus two Riemann surfaces I.Comm. Math. Phys., 300(3):673-713, 2010

    2010

  22. [22]

    Razumov, M.V

    A.V. Razumov, M.V. Saveliev, A.B. Zuevsky. Nonabelian Toda equations associated with clas- sical Lie groups. arXiv:math-ph/9909008

    Pith/arXiv arXiv

  23. [23]

    Tsuchiya, K

    A. Tsuchiya, K. Ueno, and Y. Yamada. Conformal field theory on universal family of stable curves with gauge symmetries. InIntegrable Systems in Quantum Field Theory and Statistical Mechanics, volume 19 ofAdv. Stud. Pure Math., pages 459-566. Academic Press, Boston, MA, 1989

    1989

  24. [24]

    General genus Zhu recursion for vertex operator algebras,

    M. P. Tuite and M. Welby. GenusgZhu recursion for vertex operator algebras and their mod- ules. arXiv:2312.13717; earlier circulated as “General genus Zhu recursion for vertex operator algebras,” arXiv:1911.06596

    Pith/arXiv arXiv 1911

  25. [25]

    M. P. Tuite and A. Zuevsky. The bosonic vertex operator algebra on a genusgRiemann surface. RIMS Kˆ okyˆ uroku, 1756:81-93, 2011

    2011

  26. [26]

    M. P. Tuite and A. Zuevsky. Genus two partition and correlation functions for fermionic vertex operator superalgebras I.Comm. Math. Phys., 306:419-447, 2011. Part II: arXiv:1308.2441, 2013

    Pith/arXiv arXiv 2011

  27. [27]

    Volovik G. E. Zubkov M. Nambu sum rule in the njl models: from superfluidity to top quark condensation. JETP letters 97, 301 (2013)

    2013

  28. [28]

    G. E. Volovik and M. A. Zubkov. Standard model as the topological material, New Journal of Physics 19 (1), 015009 (2017)

    2017

  29. [29]

    A. Yamada. Precise variational formulas for abelian differentials.Kodai Math. J., 3(1):114-143, 1980

    1980

  30. [30]

    Y. Zhu. Modular invariance of characters of vertex operator algebras.J. Amer. Math. Soc., 9(1):237-302, 1996

    1996

  31. [31]

    C. X. Zhang and M. A. Zubkov, Influence of interactions on the anomalous quantum Hall effect, Journal of Physics A: Mathematical and Theoretical53(2021), 195002

    2021

  32. [32]

    Momentum space topology of qcd, Annals of Physics 393, 264 (2018)

    Zubkov M. Momentum space topology of qcd, Annals of Physics 393, 264 (2018)

    2018

  33. [33]

    Zubkov M. A. Abramchuk R. A. Effect of interactions on the topological expression for the chiral separation effect. Physical Review D 107, 094021 (2023)

    2023

  34. [34]

    Momentum space topological invariants for the 4d relativistic vacua with mass gap

    Zubkov M., Volovik G. Momentum space topological invariants for the 4d relativistic vacua with mass gap. Nuclear Physics B 860, 295 (2012)

    2012

  35. [35]

    Hall conductivity as the topological invariant in the phase space in the presence of interactions and a nonuniform magnetic field

    Zhang C., Zubkov M. Hall conductivity as the topological invariant in the phase space in the presence of interactions and a nonuniform magnetic field. JETP letters 110, 487 (2019)

    2019

  36. [36]

    Zograf, L

    P. Zograf, L. Takhtajan,On Liouville’s equation, accessory parameters, and the geometry of Teichm¨ uller space for the Riemann sphere, Math. USSR Sbornik 60 (1988), 143-161; andOn uniformization of Riemann surfaces and the Weil-Petersson metric on Teichm¨ uller and Schot- tky spaces, Math. USSR Sbornik 60 (1988), 297-313

    1988

  37. [37]

    Zuevsky, On a category ofV-structures for foliations,Reviews in Mathematical Physics36(4) (2024), 2430004

    A. Zuevsky, On a category ofV-structures for foliations,Reviews in Mathematical Physics36(4) (2024), 2430004

    2024

  38. [38]

    Zuevsky, Reduction cohomology of Riemann surfaces,Reviews in Mathematical Physics35 (2023), 2330005

    A. Zuevsky, Reduction cohomology of Riemann surfaces,Reviews in Mathematical Physics35 (2023), 2330005

    2023

  39. [39]

    Zuevsky, Cosimplicial meromorphic functions cohomology on complex manifolds,Reviews in Mathematical Physics35(5) (2023), 2330002

    A. Zuevsky, Cosimplicial meromorphic functions cohomology on complex manifolds,Reviews in Mathematical Physics35(5) (2023), 2330002

    2023

  40. [40]

    Zuevsky, Characterization of codimension one foliations on complex curves by connections, Reviews in Mathematical Physics34(2022), 2230002

    A. Zuevsky, Characterization of codimension one foliations on complex curves by connections, Reviews in Mathematical Physics34(2022), 2230002

    2022

  41. [41]

    Zuevsky, Relativity of reductive chain complexes of non-abelian simplexes

    A. Zuevsky, Relativity of reductive chain complexes of non-abelian simplexes. Results Math. 79 (2024), no. 4, Paper No. 159, 21 pp THE FIRST CHIRAL HOMOLOGY GROUP IN HIGHER GENUS 49 Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, Prague, Czech Repub- lic Email address:zuevsky@yahoo.com

    2024