pith. sign in

arxiv: 2605.26972 · v1 · pith:54SH654Tnew · submitted 2026-05-26 · 🧮 math.QA · hep-th· math-ph· math.AG· math.MP

Vertex operator algebras, partition functions and Teichm\"{u}ller modular forms

Sebastiano Carpi , Giulio Codogni This is my paper

Pith reviewed 2026-06-29 14:36 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.AGmath.MP
keywords vertex operator algebrasTeichmüller modular formsHodge line bundlemoduli space of curvesholomorphic conformal field theorypartition functions
0
0 comments X

The pith

Every holomorphic vertex operator algebra determines a section of a power of the Hodge line bundle on the moduli space of curves in any genus.

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

The paper constructs an explicit map that sends any holomorphic vertex operator algebra to a holomorphic section of a power of the Hodge line bundle over the moduli space of curves, equivalently yielding a Teichmüller modular form of every genus. This association is carried out in the framework of the geometric approach to two-dimensional conformal field theory. A reader would care because the map creates a direct bridge between the algebraic data of vertex algebras and the geometry of curve moduli spaces, opening routes both to classify algebras via geometric invariants and to derive new facts about the moduli space from algebraic input. The final section explores how the resulting forms can recover the original vertex algebra.

Core claim

We explicitly associate to every holomorphic vertex operator algebra a section of a power of Hodge line bundle on the moduli space of curves of arbitrary genus - or equivalently a Teichmüller modular form in any genus.

What carries the argument

The explicit functorial assignment, via the geometric two-dimensional conformal field theory construction, that produces from the data of a holomorphic vertex operator algebra a holomorphic section of a power of the Hodge line bundle.

If this is right

  • The geometry of the moduli space of curves becomes directly connected to the classification program for holomorphic vertex algebras.
  • Theory of holomorphic vertex algebras can be applied to obtain new results about the moduli space of curves.
  • The Teichmüller modular forms obtained this way can be used to reconstruct the original vertex algebra.

Where Pith is reading between the lines

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

  • The construction supplies a new invariant for holomorphic vertex algebras that is geometric rather than purely algebraic.
  • Known examples of vertex algebras could be used to produce explicit new sections of Hodge bundles whose vanishing or non-vanishing loci might constrain the geometry of moduli spaces.
  • If the map is injective on isomorphism classes, it would give a geometric embedding of the moduli space of holomorphic vertex algebras into spaces of modular forms.

Load-bearing premise

The geometric approach to two-dimensional conformal field theory yields a well-defined holomorphic section of the Hodge bundle from the algebraic data of any holomorphic vertex operator algebra, without extra choices or convergence obstructions appearing in higher genus.

What would settle it

A concrete holomorphic vertex operator algebra for which the geometric construction either fails to produce a holomorphic section or produces a section that is not independent of auxiliary choices in genus two or higher.

read the original abstract

In the spirit of the geometric approach to two-dimensional conformal field theory, we explicitly associate to every holomorphic vertex operator algebra a section of a power of Hodge line bundle on the moduli space of curves of arbitrary genus - or equivalently a Teichm\"{u}ller modular form in any genus. As a first application, we connect the geometry of the moduli space of curves to the classification program for holomorphic vertex algebras. We then discuss how to use the theory of holomorphic vertex algebras to reach new results about the moduli space of curves. In the last part of the paper we study how the above mentioned forms can be used to reconstruct the vertex algebra.

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

2 major / 2 minor

Summary. The manuscript claims to explicitly associate, in the spirit of the geometric approach to two-dimensional conformal field theory, a holomorphic section of a power of the Hodge line bundle on the moduli space of curves of arbitrary genus (equivalently, a Teichmüller modular form) to every holomorphic vertex operator algebra. It applies this association to link the geometry of the moduli space of curves with the classification program for holomorphic VOAs, derives new results about the moduli space using VOA theory, and discusses reconstruction of the VOA from the associated forms.

Significance. If rigorously established, the explicit, choice-free construction for arbitrary holomorphic VOAs (without requiring rationality or C2-cofiniteness) would furnish a new geometric invariant linking VOA data directly to algebraic geometry of moduli spaces in all genera. This could yield falsifiable predictions for both fields and strengthen the geometric CFT program; the claimed generality and explicitness are notable strengths.

major comments (2)
  1. [§3] §3 (construction of the partition function): The explicit association of the Hodge section from VOA data is stated, but the argument for well-definedness, holomorphy, and correct transformation under the mapping class group in genus g > 1 relies on the geometric CFT framework without supplying a concrete mechanism (e.g., convergence estimates or regularization) that avoids obstructions for general holomorphic VOAs; this step is load-bearing for the central claim.
  2. [§5] §5 (applications to classification and moduli geometry): The claimed connections between VOA classification and moduli space geometry presuppose that the construction produces well-defined forms for all holomorphic VOAs, yet no explicit low-genus verification beyond the classical genus-1 case or non-rational examples is provided to confirm the absence of non-holomorphic contributions.
minor comments (2)
  1. [Introduction] Notation for the power of the Hodge bundle and the precise relation to Teichmüller modular forms should be introduced with a reference or short definition in the introduction for readers outside the intersection of the two fields.
  2. [Final section] The reconstruction discussion in the final section would benefit from a clearer statement of which VOA data are recoverable from the forms and which are not.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful report and constructive criticism. We address each major comment below with clarifications on the manuscript's arguments. We are willing to revise for added clarity where appropriate.

read point-by-point responses

  1. Referee: [§3] §3 (construction of the partition function): The explicit association of the Hodge section from VOA data is stated, but the argument for well-definedness, holomorphy, and correct transformation under the mapping class group in genus g > 1 relies on the geometric CFT framework without supplying a concrete mechanism (e.g., convergence estimates or regularization) that avoids obstructions for general holomorphic VOAs; this step is load-bearing for the central claim.

    Authors: The construction in §3 proceeds by defining the section via the VOA's partition function on the moduli space, using the trace over the VOA on the torus and its extension to higher genus via sewing of surfaces, which is standard in the VOA literature. Well-definedness and holomorphy follow from the convergence of the relevant correlation functions for holomorphic VOAs, which is established in prior works on geometric CFT and VOA partition functions; the mapping class group action is induced by the modular invariance built into the VOA axioms. While the manuscript does not derive new convergence estimates, it applies these established results directly. We will add a clarifying paragraph with key references to convergence theorems to make this explicit. revision: partial

  2. Referee: [§5] §5 (applications to classification and moduli geometry): The claimed connections between VOA classification and moduli space geometry presuppose that the construction produces well-defined forms for all holomorphic VOAs, yet no explicit low-genus verification beyond the classical genus-1 case or non-rational examples is provided to confirm the absence of non-holomorphic contributions.

    Authors: The construction is uniform and applies to every holomorphic VOA by definition, without requiring rationality or C2-cofiniteness; the genus-1 case recovers the standard modular form from the character, while higher-genus cases inherit the same properties via the general association. The applications in §5 derive consequences for classification and moduli geometry from this general framework rather than case-by-case checks. We acknowledge that an explicit genus-2 computation for a non-rational holomorphic VOA would provide useful illustration, and we will incorporate a brief such discussion or reference in the revised version. revision: partial

Circularity Check

0 steps flagged

No circularity: explicit construction via geometric CFT is independent of self-referential inputs

full rationale

The paper claims an explicit association from any holomorphic VOA to a section of a power of the Hodge bundle (equivalently a Teichmüller modular form) on the moduli space of curves in arbitrary genus, framed as a construction in the spirit of the geometric approach to 2d CFT. No equations, definitions, or steps are exhibited that reduce a claimed prediction or result to a fitted parameter, self-citation chain, or input by construction. The central step is presented as a direct functorial map rather than a renaming, ansatz smuggling, or uniqueness theorem imported from the authors' prior work. This is the most common honest finding for a construction paper whose load-bearing assumption (well-definedness of the higher-genus partition function) is external to any internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The review is performed from the abstract alone. No free parameters, axioms, or invented entities are visible in the provided text. The construction is asserted to exist but its internal dependencies are not stated.

pith-pipeline@v0.9.1-grok · 5645 in / 1258 out tokens · 28274 ms · 2026-06-29T14:36:34.256506+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Wormholes as red herrings: reflection positivity and the reconstruction of unitary quantum field theories

    hep-th 2026-07 unverdicted novelty 6.0

    Unitary QFTs are determined up to unitary isomorphism by closed-manifold partition functions; every reflection-positive partition function comes from a unitary QFT, so spatial wormholes do not break Hilbert-space fact...

Reference graph

Works this paper leans on

22 extracted references · 5 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    AlperStack and moduli2026, available on the author’s homepagehttps: //sites.math.washington.edu//~jarod/moduli.pdf [AC87] E

    [Alp] J. AlperStack and moduli2026, available on the author’s homepagehttps: //sites.math.washington.edu//~jarod/moduli.pdf [AC87] E. Arbarello and M. Cornalba,The Picard groups of the moduli spaces of curves, Topology, Volume 26, Issue 2, (1987), 153–171 [ACG] E. Arbarello, M. Cornalba, and P. GriffithsGeometry of algebraic curves II, with a contribution...

    1987

  2. [2]

    Ben-Zvi, and E

    [BF] D. Ben-Zvi, and E. FrenkelVertex algebras and algebraic curves, Mathematical Surveys and Monographs, volume 88, American Mathematical Society, 2004 [BLS23cf] K. Betsumiya, C. H. Lam, and H. Shimakura. Automorphism groups and unique- ness of holomorphic vertex operator algebras of central charge

    2004

  3. [3]

    Commun. Math. Phys. 399 (2023), 1773–1810. [Bor86] R. E. Borcherds. Vertex algebras, Kac-Moody algebras, and the Monster. Pro- ceedings of the National Academy Sciences of the United States of America 83 (1986), 3068–3071. [Car04] S. Carpi. On the representation theory of Virasoro nets. Comm. Math. Phys. 244 (2004), 261–284. [CC] S. Carpi and G. Codogni. ...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0129055x25500266 2023

  4. [4]

    [FP05] G

    Cambridge Journal of Mathematics 13 (2025), 431–607. [FP05] G. Farkas, and M. Popa. Effective divisors on Mg, curves on K3 surfaces and the sllope conjecture. Journal of Algebraic Geometry 14 (2005), 241-267 [FS87] D. Friedan and S. Shenke The analytic geometry of two dimensional conformal field theory. Nuclear Physics B 281(1987), 509–545. [Fre77] E. Fre...

    2025

  5. [5]

    [FHL] I. B. Frenkel, Y. Huang and J. Lepowsky. On axiomatic approaches to vertex operator algebras and modules. Mem. Amer. Math. Soc. 104 (1993), no. 494, viii+ 64 pp. [FLM88] I. B. Frenkel, J. Lepowsky and A. Meurman.Vertex operator algebras and the MonsterAcademic Press, Inc., London, 1988 [GV09] M.R. Gaberdiel and R. Volpato. Higher genus partition fun...

    1993

  6. [6]

    Gaberdiel, C.A

    [GKV10] M.R. Gaberdiel, C.A. Keller, and R. Volpato. Genus two partition functions of chiral conformal field theories. Commun. Number Theory Phys. , 4 (2) (2010), 295–363. [Gan06] T. Gannon.Moonshine beyond the Monster. The bridge connecting algebra, mod- ular forms and physics.Cambridge University Press, New York, 2006 [Gau25] T. Gaudio. Unitarity and st...

    2010

  7. [7]

    [GK19] T

    Annales Henri Poincar´ e, 26 (2025), 4575-4616. [GK19] T. Gem¨ unden, and C. A. Keller. Orbifolds of lattice vertex operator algebras at d= 48 andd=

    2025

  8. [8]

    Algebra 253 (2019), 93–118

    J. Algebra 253 (2019), 93–118. [GK21] T. Gem¨ unden and C. A. Keller. Non-abelian orbifolds of lattice vertex operator algebras J. Algebra, 585 (2021), 656–696. [GS11] S. Grushevsky, and R. Salvati Manni. The superstring cosmological constant and the Schottky form in genus

    2019

  9. [9]

    Amer. J. Math. 133 (2011), 1007-1037. [Gui] B. Gui. Conformal blocks: vector bundle structures, sewing and factorization. arXiv:2605.17020v1 [math.QA] [Gui22] B. Gui. Q-systems and extensions of completely unitary vertex operator algebras Int. Math. Res. Not. 2022 (2022), no. 10, 7750–7614. [Gui24] B. Gui. Convergence of Sewing Conformal Blocks. Communica...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0219199725500853 2011

  10. [10]

    Harris and I

    See also arXiv:q- alg/9412014 [HS90] J. Harris and I. Morrison. Slopes of effective divisors on the moduli space of stable curves. Inventiones Mathematicae, 99 (1990), 321–355. [HvE16] R. Heluani, and J. Van Ekeren. Characters of topological N=2 vertex algebras are Jacobi forms on the moduli space of elliptic supercurves. Adv. Math. 302, 2016, 551–627. [H...

    work page arXiv 1990

  11. [11]

    [H¨ oh08] G. H¨ ohn. Conformal designs based on vertex operator algebras. Adv. Math. 217 (2008), 2301–2335. [Hua03] Y.-Z. Huang. Riemann surfaces with boundaries and the theory of vertex operator algebras. InVertex operator algebras in mathematics and physics, Fields Institute Communications, 39, American Mathematical Society, Providence, RI, 2003, pp. 10...

    2008

  12. [12]

    [Hur03] K.L. Hurley. Highest-weight vectors of the moonshine module with non-zero graded trace. J. Algebra , 261, (2) (2003), 411–433. [Hur06] K.L. Hureley. The space of graded traces for holomorphic VOAs of small central charge. arXiv:math/0606282 [math.QA],

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  13. [13]

    Ichikawa, On Teichm¨ uller modular forms

    [Ich] T. Ichikawa, On Teichm¨ uller modular forms. Math. Ann. 299 (1994) 731-740. [ILP98] M. Izumi, R. Longo and S. Popa. A Galois correspondence for compact groups of automorphisms of von Neumann algebras with a a generalization to Kac algebras. J. Funct. Anal. 155 (1998), 25–63. [Kac01] V. Kac.Vertex algebras for beginners. Second edition.(ULS) 10, Amer...

    1994

  14. [14]

    Kawahigashi, and R

    [KL04] Y. Kawahigashi, and R. Longo. Classification of local conformal nets. Casec <1. Ann. of Math (2) , 160 (2004), 493–522. [KO02] A. Kirillov and V. Ostrik. On aq-analogue of the McKay correspondence and the ADE classification of bsl2 conformal field theories. Adv. Math. 171 (2) (2002), 183–227. VOAS, PARTITION FUNCTIONS AND TEICHM ¨ULLER MODULAR FORM...

    2004

  15. [15]

    Lett. Math. Phys. 113 (2023), article number:

    2023

  16. [16]

    Bull. Inst. Math. Acad. Sin. (N. S.) 14 (1) (2019), 87–118. [LL04] J. Lepowsky and H. Li.Introduction to Vertex Operator Algebras and Their Rep- resentation. Birkh¨ auser Boston, Inc., Boston,

    2019

  17. [17]

    [Li99] H. Li. Some finiteness properties of regular vertex operator algebras. J. Algebra, 212 (1999), 495–514. [Lin12] A.R. Linshaw. Invariant theory and the Heisenberg vertex algebra. Int. Math. Res. Not. 2012 (2012), no. 17, 4014–4050. [Lin13] A.R. Linshaw. Invariant subalgebras of affine vertex algebras. Adv. Math. 234 (2013), 61–84. [MOP13] A. Marian,...

    1999

  18. [18]

    p. 183-225. [MV13] M. Matone, and R. Volpato. Vector-valued modular forms from the Mumford forms, Schottky-Igusa form, product of Thetanullwerte and the amazing Klein formula. Proc. Amer. Math. Soc. 141 (2013), 2575–2587. [McR20] R. McRae. On the tensor structure of modules for compact orbifold vertex oper- ator algebras. Math. Z., 296 (2020), 409–452. [M...

    2013

  19. [19]

    (2019) Springer, [Sche93] A. N. Schellekens. Meromorphicc= 24 conformal field theories. Commun. Math. Phys. 153 (1993), 159–185. [Schi97] A. Schiemann. Ternary positive definite quadratic forms are determined by their theta series. Math. Ann. 308 (1997), 507-517. [Segal] G. Segal.The definition of conformal field theoryIn: Tillmann, U. (ed.)Topology, geom...

    2019

  20. [20]

    Siegel modular forms and the gonality of curves

    [SB13] N. Shepherd-BarronSiegel modular forms and the gonality of curves arxiv:1306.6253 , 2013 [Swe69] M. E. SweedlerHopf algebrasW.A. Benjamin, New York, 1969 [Tar] N. Tarasca. Coinvariants of vertex algebras on moduli of abelian varieties. arXiv:2301.13227v2 [math.AG] 90 SEBASTIANO CARPI AND GIULIO CODOGNI [Ten17] Construction of the unitary free fermi...

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  21. [21]

    pp. 459–566. [Tui21] M. P. Tuite. The Heisenberg generalized vertex operator algebra on a Riemann surface. InLie groups, number theory, and vertex algebras.Contemporary Math- ematics,Volume 768, 2021, pp. 321–342. [TW] M. P. Tuite and M. Welby. GenusgZhu recursion for vertex operator algebras and their modules. J. Algebra Appl. Vol. 25, No. 08, 2650076 (2...

    2021

  22. [22]

    Tor Vergata

    [EMS20] J. van Ekeren, S. M¨ oller and N. R. Sheithauer. Construction and classification of holomorphic vertex operator algebras. J. Reine Angew. Math., 759 (2020), 61–99. [ELMS21] J. van Ekeren, C. H. Lam, S. M¨ oller, H. Shimakura. Schellekens’ list and the very strange formula. Adv. Math. 380 (2021), 107567, 33 pp. [Yam91] H. Yamamoto. An example of a ...

    2020