Pith. sign in

REVIEW 3 major objections 5 minor 53 references

Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces

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

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

Pith's one-line read An almost-holomorphic theta lift stays almost-holomorphic precisely when k≥2d, and constant terms give an isomorphism to quasimodular forms.

desk verdict Genuinely new and likely correct quasimodular formalism for O(2,n) with Enriques GW conjectures; two fillable verification gaps and an overstated abstract claim keep it from being airtight. read the letter →

arxiv 2505.09535 v1 pith:BLTXBT6L submitted 2025-05-14 math.AG math.NT

Georg Oberdieck , Brandon Williams This is my paper · ORCID
classification math.AGmath.NT MSC 11F5511F5011F3714N3514J28
keywords quasimodularformsorthogonalgroupsalmost-holomorphicmodularthetaliftsEnriquessurfacesGromov-WitteninvariantsFourier-Jacobiexpansionsvector-valued
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

This paper builds a complete quasimodular theory for orthogonal groups of signature (2,n), mirroring the classical SL2 story. It proves that the constant-term map from almost-holomorphic modular forms to their holomorphic parts is an isomorphism, so every quasimodular form has a unique almost-holomorphic completion. It also proves a sharp criterion: for lattices splitting a hyperbolic plane, the regularized theta lift of an almost-holomorphic vector-valued form is almost-holomorphic exactly when the weight k is at least twice the depth d. The proof uses a lowering operator that intertwines the orthogonal and SL2 structures, and yields explicit Fourier expansions of theta lifts. Geometrically, the paper conjectures that Enriques and bielliptic Gromov-Witten potentials are orthogonal quasimodular forms satisfying holomorphic anomaly equations.

What carries the argument

The vehicle is a pair of vector-valued lowering and raising operators L and R acting on smooth sections of L^k⊗$E^{{⊗s}}$ over the type IV domain, defined via the invariant Kähler metric and the identification E≅Ω_D⊗L^∨. In the tube-domain model for M=U⊕L, the non-holomorphic variables ν_j=∂/∂z_j log(Im z)^2 measure depth, so almost-holomorphic forms are exactly polynomials in the ν_j and the constant term sets ν=0. The $\theta$ kernel satisfies an equivariance relation linking these operators with the classical Maaß operators, and the paper uses that relation to prove the depth-weight criterion and to compute the full Fourier expansion of the lift.

What would settle it

For a lattice M=U⊕L, construct an almost-holomorphic vector-valued form of weight κ=k+1−n/2 and depth d>k/2 whose depth-d layer has only nonnegative Fourier indices. Compute its theta lift; if the lift is almost-holomorphic, the claimed "only if" is false.

Watch

Extended reading notes

Core claim

The central theorem is the isomorphism ct: AHMod_{k,s}(Γ) → QMod_{k,s}(Γ), F ↦ F|_{ν=0}, for finite-index Γ in O⁺(M) when M has signature (2,n). Equivalently, every quasimodular form has a unique non-holomorphic completion that is annihilated by a power of the lowering operator L. For the $\theta$ lift, the paper shows that if F is an almost-holomorphic vector-valued modular form of weight κ=k+1−n/2 and depth d>0, then Lift(F) is a logarithmic almost-holomorphic modular form of weight k and depth 2d when k≥2d; and when M=U⊕L, the lift is almost-holomorphic if and only if k≥2d. The argument hinges on the equivariance identity L_k[Lift(F)] = −(1/2π) R_{k−2}[Lift($L^{{Maaß}}$F)] and on an explicit series expansion of the lift, whose constant term reproduces the Borcherds formula from the constant term of the input.

Load-bearing premise

The converse direction of the lift criterion assumes that when k<2d the deepest non-holomorphic layer of the input form has a nonzero Fourier coefficient at a negative index; if that assertion fails, the necessity of the inequality does not follow.

Editorial extensions

If this is right

  • Every orthogonal quasimodular form has a unique almost-holomorphic completion, so the lowering and raising operators act on quasimodular forms with the same rigidity as in the classical SL2 theory.
  • For lattices splitting a hyperbolic plane, the theta lift is almost-holomorphic exactly when k≥2d; below that bound logarithmic singularities appear.
  • Fourier-Jacobi coefficients of orthogonal quasimodular forms are quasi-Jacobi forms, providing a bridge to Jacobi-form modularity.
  • If the Enriques conjecture holds, the full Gromov-Witten potential of an Enriques surface is a vector-valued logarithmic quasimodular form and the holomorphic anomaly equation is the lowering operator.
  • The same modularity fails for arbitrary K3 or abelian fibrations: their natural completions are not almost-holomorphic.

Reading between the lines

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

  • The explicit lift expansion should make it possible to test the Enriques conjecture numerically before a proof is available.
  • The constant-term isomorphism suggests an sl2-action on the graded ring of orthogonal quasimodular forms, potentially giving a full structure theory analogous to the classical description via the second Eisenstein series.
  • The lowering and raising calculus may apply to other type IV period domains, where one might find logarithmic quasimodular objects rather than plain quasimodular forms.
  • A degeneration proof for the bielliptic case would provide the most direct geometric verification of the framework.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper develops a theory of almost-holomorphic and quasimodular forms for the orthogonal group of a signature (2,n) lattice, using orthogonal lowering and raising operators. The main structural results are that the constant-term map from almost-holomorphic to quasimodular forms is an isomorphism (Theorem 6.17), that orthogonal quasimodular forms admit descriptions in terms of vector-valued modular forms, and that the theta lift interacts with the lowering and raising operators through explicit equivariance formulas. A central result is Theorem 5.12, which gives a necessary and sufficient weight-depth inequality k ≥ 2d for the theta lift of an almost-holomorphic modular form of depth d to be almost-holomorphic, under the assumption that the lattice splits a hyperbolic plane. The paper also gives a completely explicit Fourier expansion of the theta lift (Theorem 7.1) and proves that Fourier-Jacobi coefficients of orthogonal quasimodular forms are quasi-Jacobi forms. In the second part, the authors conjecture that Gromov-Witten potentials of Enriques and bielliptic surfaces are components of vector-valued logarithmic orthogonal quasimodular forms satisfying holomorphic anomaly equations, and they provide evidence from Hodge integrals and Fourier-Jacobi expansions. They further show that certain natural completions of fiber Gromov-Witten potentials of K3 and abelian surface fibrations are not almost-holomorphic.

Significance. If the central results hold, this paper gives the first systematic quasimodular formalism for type IV domains that is a genuine analogue of the classical SL2 theory, including an explicit and uniformly stated theta-lift expansion. The constant-term isomorphism, the equivariance of the theta lift with respect to lowering and raising operators, and the Fourier-Jacobi theorem are substantial and likely influential. The geometric applications to Enriques surfaces are also significant: the conjecture that GW potentials are vector-valued logarithmic orthogonal quasimodular forms is well-motivated and supported by concrete evidence, in particular the identification of Hodge integrals as theta lifts and the verification at the level of Fourier-Jacobi expansions. The paper is careful to separate theorems from conjectures and to attribute prior work, and it includes several explicit computations that can be checked independently. The main reservations concern two load-bearing points where supporting arguments are either omitted or only sketched: the converse direction of Theorem 5.12 and the proof of the commutator formula in Proposition 4.17.

major comments (3)
  1. [Section 5.6, proof of Theorem 5.12] The only-if direction of Theorem 5.12 depends on the unproved assertion that when k < 2d, the depth-d part L^d(F) of an almost-holomorphic modular form of negative weight has a nonzero Fourier coefficient c^{(d)}(n,γ) with n < 0. The proof states this without proof or reference. This assertion is load-bearing: without it, the conclusion that Lift(F) fails to be almost-holomorphic does not follow, and the same gap affects the negative claims about K3 and abelian fibrations in Section 12. Please supply a proof or a precise citation, for example a vanishing theorem for vector-valued holomorphic modular forms of negative weight applied to the top-depth component, together with the cusp-condition discussion in Section 6.8.
  2. [Section 12.2 and footnote 14] The abstract and Section 12 claim that parallel statements for arbitrary K3 or abelian-surface fibrations 'do not hold', but the body only proves that the natural completion obtained from the theta lift is not almost-holomorphic. Footnote 14 explicitly concedes that the existence of some other almost-holomorphic completion is not ruled out. Please qualify the abstract and the section statement accordingly, or prove the stronger non-existence claim. Similarly, the assertion in Section 12.3 that one can 'show directly' that the series (12.1) is not quasimodular is made without proof; either provide the argument or mark it as a claim.
  3. [Section 4.17, Proposition 4.17] The proof of the commutator formula [L,R]F = (k/2)F⊗g + (1/2)Σ(...) is omitted, with the text saying the computation is 'lengthy but straightforward and omitted here'. This identity is used repeatedly in later sections, including the proof that raising preserves almost-holomorphicity (Proposition 4.23), the derivation of the Zemel operator identities (Proposition 5.10), and the commutator statement in the tube domain (Lemma 6.6). Since this is a foundational formula, the computation should be included in full or in an appendix, or at least reduced to a clearly verifiable symbolic identity.
minor comments (5)
  1. [Section 6.5] The label 'Seond Proof of Theorem 6.17' contains a typo; it should read 'Second Proof'.
  2. [Section 6.5, second proof of Theorem 6.17] The second proof of Theorem 6.17 is only a sketch: it cites restriction results from [26, Chapter 4], invokes 'the discussion in Section 6.9 below', and then refers to the classical case. Since the first proof is complete, this sketch does not affect the theorem, but the text should be clarified so that it is clear that the second proof is supplementary.
  3. [Theorem 7.1] The definition of the positive/negative cones via 'µ > 0 means that ⟨µ,v⟩ > 0 for all v sufficiently close to the boundary point (0,1)⊕0' is somewhat informal; a precise description of the domain of convergence of the displayed series would improve readability.
  4. [Section 4.6] In Definition 4.27 the phrase 'Its immediate to check' should read 'It is immediate to check'.
  5. [Section 5.6, Theorem 5.12] Theorem 5.12 is stated before the cusp condition for n ≤ 2 is introduced in Section 6.8. Please state explicitly whether the theorem is intended for all n ≥ 2 in the sense of the later definition, or restrict to n ≥ 3.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: main theorems are derived from definitions and external results; Enriques checks use [31] as external data.

full rationale

The central derivation chain is self-contained. Theorem 6.17 is proved by a direct argument using Zariski density and by reduction to the classical case, and Theorem 5.12 rests on the theta-kernel identities of Section 5.3 and Borcherds' regularization, not on the Enriques conjectures. The Enriques evidence is a consistency check: Proposition 10.7 takes the formula for F_g from [31, Theorem 1] and recognizes it as the constant term of a theta lift, so [31] is used as external computational input rather than as an assumption needed to prove quasimodularity. The Fourier-Jacobi checks similarly quote [31] as data. No parameter is fitted to the claimed output, and no equation reduces to a definition of the result. The only soft spot is a proof gap in the converse direction of Theorem 5.12, where the proof asserts "If k<2d, then L^d(F) is of negative weight. Therefore, F has nonzero Fourier coefficients c^{(d)}(n,gamma) with n<0" (Section 5.6) without supplying the needed vanishing argument; this is a correctness risk, not circularity, because it does not identify the conclusion with an input or with a self-citation.

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

No fitted parameters appear; the paper is a pure mathematical derivation. The central results rest on standard theorems in modular forms, theta correspondence, and Gromov-Witten theory. Two assumptions deserve special attention: the negative-weight vanishing theorem of Ma, used in the theta-lift converse, and the external Hodge integral evaluation of [31], used as geometric evidence.

assumptions (6)
  • standard math The regularized theta integral in Borcherds' normalization is well-defined and has the stated singularities on hyperplanes lambda-perp.
    Used throughout Section 5, in particular Proposition 5.6, as Theorem 6.2 of [5]; no proof is reproduced.
  • standard math There are no holomorphic vector-valued orthogonal modular forms of negative weight, after Ma [26, Prop.4.4].
    Used in Proposition 4.29 to bound depth by weight and in the converse direction of Theorem 5.12.
  • standard math Borel density theorem: a finite-index subgroup Gamma of O+(M) is Zariski-dense in O(MC).
    Used in the first proof of Theorem 6.17 to specialize polynomial identities in the automorphy factor to arbitrary group elements.
  • standard math Classical SL2 quasimodular theory, including the constant-term isomorphism for elliptic modular forms [2, Prop.3.4].
    The second proof of Theorem 6.17 reduces injectivity of ct to the classical case through restriction to U direct sum (2m) sublattices.
  • domain assumption The Katz-Klemm-Vafa formula for K3 fibrations as proved by Pandharipande-Thomas [36].
    Section 12 uses Theorem 12.1 to compute fiber-class Gromov-Witten potentials of K3 fibrations and to exhibit natural completions that are not almost-holomorphic.
  • domain assumption The evaluation of Enriques linear Hodge integrals by Oberdieck [31, Theorem 1].
    Proposition 10.7 uses F_g = 2(-1)^{g-1} ct(Lift(F_{f*_g})) as the main check of Conjecture B; this is an external computed result by the first author.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces." pith.science (2026). https://pith.science/paper/BLTXBT6L

@misc{pith2026250509535,
  author       = {Pith},
  title        = {Pith review of: Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLTXBT6L}},
  note         = {Machine review of arXiv:2505.09535}
}
abstract

We develop the theory of almost-holomorphic and quasimodular forms for orthogonal groups of a lattice of signature $(2,n)$ through orthogonal lowering and raising operators. The interactions with the regularized theta lift of Borcherds is a central theme. Our main results are: (i) the constant-term morphism, which sends an almost-holomorphic modular form to its associated quasimodular form, is an isomorphism, (ii) description of spaces of quasimodular forms in terms of vector-valued modular forms, (iii) the lowering and raising operators satisfy equivariance properties with the theta lift, (iv) a weight-depth inequality which is a necessary and sufficient criterion for the theta lift of an almost-holomorphic modular form to be almost-holomorphic, (v) an explicit formula for the series expansion of the lift of any almost-holomorphic modular form, (vi) the Fourier-Jacobi coefficients of an orthogonal quasimodular form are quasi-Jacobi forms. As a geometric application, we conjecture that the Gromov-Witten potentials of Enriques and bielliptic surfaces are orthogonal quasimodular forms and satisfy holomorphic anomaly equations with respect to the lowering operators on quasimodular forms. We show that parallel statements for an arbitrary K3 or abelian-surface fibration do not hold.

Figures

Figures reproduced from arXiv: 2505.09535 by the authors.

Figure 1
Figure 1. Geometry of D ←→ Equivariant geometry of A(D) Section f of L k ←→ Function f : A(D) → C of degree −k, that is f(λZ) = λ −kf(Z) Section ω of ΩP(MC) ←→ Differential ω = P i ai(Z)dZi with ai : MC → C of degree −1 and ιvω = 0 where v = P i Zi ∂ ∂Zi Section ω of ΩD ←→ Differential ω = P i ai(Z)dZi with ai : A(D) → C of degree −1, ιvω = 0 and modulo the ideal generated by d(Z 2 ) Section ω of E ←→ Differential ω = P i ai(… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 44 canonical work pages

  1. [31]

    Oberdieck

    G. Oberdieck. Curve counting on the Enriques surface and the Klemm–Marino formula. JEMS, to appear. URL arXiv:2305.11115

    arXiv

  2. [1]

    Bershadsky, S

    M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa. Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes. Comm. Math. Phys. , 165(2):311–427, 1994. ISSN 0010-3616,1432-0916. URL http: //projecteuclid.org/euclid.cmp/1104271134

    arXiv 1994

  3. [2]

    The character of the infinite wedge representation

    Spencer Bloch and Andrei Okounkov. The character of the infinite wedge representation. Adv. Math., 149(1): 1–60, 2000

    work page 2000

  4. [3]

    Gromov-Witten invariants of bielliptic surfaces, 2024

    Thomas Blomme. Gromov-Witten invariants of bielliptic surfaces, 2024. URL https://arxiv.org/abs/2401. 01627. arXiv:2401.01627

    arXiv 2024

  5. [4]

    Borcherds

    Richard E. Borcherds. The moduli space of Enriques surfaces and the fake Monster Lie superalgebra. Topology, 35(3):699–710, 1996

    work page 1996

  6. [5]

    Borcherds

    Richard E. Borcherds. Automorphic forms with singularities on Grassmannians. Invent. Math., 132(3):491–562, 1998

    work page 1998

  7. [6]

    Borcherds

    Richard E. Borcherds. The Gross-Kohnen-Zagier theorem in higher dimensions. Duke Math. J. , 97(2):219–233, 1999

    work page 1999

  8. [7]

    Kathrin Bringmann, Martin Raum, and Olav K. Richter. Harmonic Maass-Jacobi forms with singularities and a theta-like decomposition. Trans. Amer. Math. Soc. , 367(9):6647–6670, 2015. ISSN 0002-9947,1088-6850. doi: 10.1090/S0002-9947-2015-06418-6. URL https://doi.org/10.1090/S0002-9947-2015-06418-6

    work page doi:10.1090/s0002-9947-2015-06418-6 2015

Show all 53 references
  1. [8]

    The 1-2-3 of modular forms

    Jan Hendrik Bruinier, Gerard van der Geer, G¨ unter Harder, and Don Zagier. The 1-2-3 of modular forms . Universitext. Springer-Verlag, Berlin, 2008. Lectures from the Summer School on Modular Forms and their Applications held in Nordfjordeid, June 2004, Edited by Kristian Ranestad

    2008

  2. [9]

    The Donaldson-Thomas partition function of the banana manifold

    Jim Bryan. The Donaldson-Thomas partition function of the banana manifold. Algebr. Geom., 8(2):133–170,

  3. [10]

    Classification of complex algebraic surfaces

    Ciro Ciliberto. Classification of complex algebraic surfaces . EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2020. ISBN 978-3-03719-210-8. doi: 10.4171/210. URL https://doi.org/ 10.4171/210

    2020 doi

  4. [11]

    Cl´ ery and V

    F. Cl´ ery and V. Gritsenko. Modular forms of orthogonal type and Jacobi theta-series. Abh. Math. Semin. Univ. Hambg., 83(2):187–217, 2013

    2013

  5. [12]

    Costello and Si Li

    Kevin J. Costello and Si Li. Quantum BCOV theory on calabi-yau manifolds and the higher genus B-model, 2012. arXiv:1201.4501

    2012 arXiv

  6. [13]

    Mirror symmetry and elliptic curves

    Robbert Dijkgraaf. Mirror symmetry and elliptic curves. In The moduli space of curves (Texel Island, 1994) , volume 129 of Progr. Math., pages 149–163. Birkh¨ auser Boston, Boston, MA, 1995. ISBN 0-8176-3784-2. doi: 10.1007/978-1-4612-4264-2\ 5. URL https://doi.org/10.1007/978...

    1994 doi

  7. [14]

    I. V. Dolgachev. Mirror symmetry for lattice polarized K3 surfaces. volume 81, pages 2599–2630. 1996. doi: 10.1007/BF02362332. URL https://doi.org/10.1007/BF02362332. Algebraic geometry, 4

    1996 doi

  8. [15]

    The theory of Jacobi forms , volume 55 of Progress in Mathematics

    Martin Eichler and Don Zagier. The theory of Jacobi forms , volume 55 of Progress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1985. ISBN 0-8176-3180-1. doi: 10.1007/978-1-4684-9162-3. URL https://doi.org/ 10.1007/978-1-4684-9162-3

    1985 doi

  9. [16]

    Semialgebraic horizontal subvarieties of Calabi-Yau type

    Robert Friedman and Radu Laza. Semialgebraic horizontal subvarieties of Calabi-Yau type. Duke Math. J. , 162 (12):2077–2148, 2013. ISSN 0012-7094,1547-7398. doi: 10.1215/00127094-2348107. URL https://doi.org/10. 1215/00127094-2348107

    2013 doi

  10. [17]

    Counting Feynman-like graphs: quasimodularity and Siegel-Veech weight

    Elise Goujard and Martin M¨ oller. Counting Feynman-like graphs: quasimodularity and Siegel-Veech weight. J. Eur. Math. Soc. (JEMS) , 22(2):365–412, 2020. ISSN 1435-9855,1435-9863. doi: 10.4171/jems/924. URL https://doi.org/10.4171/jems/924

    2020 doi

  11. [18]

    Grimm, Albrecht Klemm, Marcos Mari˜ no, and Marlene Weiss

    Thomas W. Grimm, Albrecht Klemm, Marcos Mari˜ no, and Marlene Weiss. Direct integration of the topological string. J. High Energy Phys. , (8):058, 78, 2007

    2007

  12. [19]

    Complex geometry

    Daniel Huybrechts. Complex geometry. Universitext. Springer-Verlag, Berlin, 2005. An introduction

    2005

  13. [20]

    A generalized Jacobi theta function and quasimodular forms

    Masanobu Kaneko and Don Zagier. A generalized Jacobi theta function and quasimodular forms. In The moduli space of curves (Texel Island, 1994) , volume 129 of Progr. Math., pages 165–172. Birkh¨ auser Boston, Boston, MA, 1995

    1994

  14. [21]

    Klemm, D

    A. Klemm, D. Maulik, R. Pandharipande, and E. Scheidegger. Noether-Lefschetz theory and the Yau-Zaslow conjecture. J. Amer. Math. Soc. , 23(4):1013–1040, 2010

    2010

  15. [22]

    On direct in- tegration for mirror curves of genus two and an almost meromorphic Siegel modular form

    Albrecht Klemm, Maximilian Poretschkin, Thorsten Schimannek, and Martin Westerholt-Raum. On direct in- tegration for mirror curves of genus two and an almost meromorphic Siegel modular form. Commun. Num- ber Theory Phys. , 10(4):587–701, 2016. ISSN 1931-4523,1931-4531. doi: 10...

    2016 doi

  16. [23]

    BCOV theory on the elliptic curve and higher genus mirror symmetry, 2011

    Si Li. BCOV theory on the elliptic curve and higher genus mirror symmetry, 2011. arXiv:1112.4063

    2011 arXiv

  17. [24]

    Elliptic genera, real algebraic varieties and quasi-Jacobi forms

    Anatoly Libgober. Elliptic genera, real algebraic varieties and quasi-Jacobi forms. In Topology of stratified spaces, volume 58 of Math. Sci. Res. Inst. Publ. , pages 95–120. Cambridge Univ. Press, Cambridge, 2011. ISBN 978-0- 521-19167-8

    2011

  18. [25]

    Quantum correction and the moduli spaces of calabi-yau manifolds, 2014

    Kefeng Liu and Changyong Yin. Quantum correction and the moduli spaces of calabi-yau manifolds, 2014

    2014

  19. [26]

    Vector-valued orthogonal modular forms

    Shouhei Ma. Vector-valued orthogonal modular forms. arXiv:2209.10135, 2022. QUASI-MODULAR FORMS FOR THE ORTHOGONAL GROUP 82

    2022 arXiv

  20. [27]

    Maulik and R

    D. Maulik and R. Pandharipande. New calculations in Gromov-Witten theory. Pure Appl. Math. Q. , 4(2):469– 500, 2008. ISSN 1558-8599,1558-8602. doi: 10.4310/PAMQ.2008.v4.n2.a7. URL https://doi.org/10.4310/PAMQ. 2008.v4.n2.a7

    2008 doi

  21. [28]

    Gromov-Witten theory and Noether-Lefschetz theory

    Davesh Maulik and Rahul Pandharipande. Gromov-Witten theory and Noether-Lefschetz theory. In A celebration of algebraic geometry , volume 18 of Clay Math. Proc. , pages 469–507. Amer. Math. Soc., Providence, RI, 2013. ISBN 978-0-8218-8983-1

    2013

  22. [29]

    William J. McGraw. The rationality of vector valued modular forms associated with the Weil representation. Math. Ann., 326(1):105–122, 2003

    2003

  23. [30]

    Modular and automorphic forms & beyond , volume 9 of Monographs in Number Theory

    Hossein Movasati. Modular and automorphic forms & beyond , volume 9 of Monographs in Number Theory . World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2022. ISBN 978-981-123-867-3; 978-981-123-868-0; 978-981-123-869-7. With an appendix by Tiago Fonseca

    2022

  24. [32]

    Holomorphic anomaly equations for the Hilbert scheme of points of a K3 surface

    Georg Oberdieck. Holomorphic anomaly equations for the Hilbert scheme of points of a K3 surface. Geom. Topol., 28(8):3779–3868, 2024. ISSN 1465-3060,1364-0380. doi: 10.2140/gt.2024.28.3779. URL https://doi.org/10. 2140/gt.2024.28.3779

    2024 doi

  25. [33]

    Holomorphic anomaly equations and the Igusa cusp form conjecture

    Georg Oberdieck and Aaron Pixton. Holomorphic anomaly equations and the Igusa cusp form conjecture. Invent. Math., 213(2):507–587, 2018. ISSN 0020-9910,1432-1297. doi: 10.1007/s00222-018-0794-0. URL https://doi. org/10.1007/s00222-018-0794-0

    2018 doi

  26. [34]

    Gromov-Witten theory of elliptic fibrations: Jacobi forms and holomorphic anomaly equations

    Georg Oberdieck and Aaron Pixton. Gromov-Witten theory of elliptic fibrations: Jacobi forms and holomorphic anomaly equations. Geom. Topol., 23(3):1415–1489, 2019

    2019

  27. [35]

    Okounkov and R

    A. Okounkov and R. Pandharipande. Gromov-Witten theory, Hurwitz theory, and completed cycles. Ann. of Math. (2) , 163(2):517–560, 2006. ISSN 0003-486X,1939-8980. doi: 10.4007/annals.2006.163.517. URL https: //doi.org/10.4007/annals.2006.163.517

    2006 doi

  28. [36]

    Pandharipande and R

    R. Pandharipande and R. P. Thomas. The Katz-Klemm-Vafa conjecture for K3 surfaces. Forum Math. Pi, 4:e4, 111, 2016. ISSN 2050-5086. doi: 10.1017/fmp.2016.2. URL https://doi.org/10.1017/fmp.2016.2

    2016 doi

  29. [37]

    Pandharipande and R

    R. Pandharipande and R. P. Thomas. The Katz-Klemm-Vafa conjecture for K3 surfaces. Forum Math. Pi, 4:e4, 111, 2016

    2016

  30. [38]

    Sur les id´ eaux stables dans certains anneaux diff´ erentiels de formes quasi-modulaires de Hilbert

    Federico Pellarin. Sur les id´ eaux stables dans certains anneaux diff´ erentiels de formes quasi-modulaires de Hilbert. Ramanujan J., 15(2):147–175, 2008. ISSN 1382-4090,1572-9303. doi: 10.1007/s11139-007-9069-x. URL https: //doi.org/10.1007/s11139-007-9069-x

    2008 doi

  31. [39]

    Lowest weight modules of Sp 4(R) and nearly holomor- phic Siegel modular forms

    Ameya Pitale, Abhishek Saha, and Ralf Schmidt. Lowest weight modules of Sp 4(R) and nearly holomor- phic Siegel modular forms. Kyoto J. Math. , 61(4):745–814, 2021. ISSN 2156-2261,2154-3321. doi: 10.1215/ 21562261-2021-0012. URL https://doi.org/10.1215/21562261-2021-0012

    2021 doi

  32. [40]

    Derived autoequivalences of bielliptic surfaces

    Rory Potter. Derived autoequivalences of bielliptic surfaces. arXiv:1701.01015, 2017

    2017 arXiv

  33. [41]

    M. S. Raghunathan. Discrete subgroups of Lie groups , volume 68 of Ergebnisse der Mathematik und ihrer Gren- zgebiete [Results in Mathematics and Related Areas] . Springer-Verlag, New York-Heidelberg, 1972

    1972

  34. [42]

    Genus two Siegel quasi-modular forms and Gromov-Witten theory of toric Calabi-Yau threefolds

    Yongbin Ruan, Yingchun Zhang, and Jie Zhou. Genus two Siegel quasi-modular forms and Gromov-Witten theory of toric Calabi-Yau threefolds. Comm. Math. Phys., 398(2):757–796, 2023. ISSN 0010-3616,1432-0916. doi: 10.1007/s00220-022-04534-3. URL https://doi.org/10.1007/s00220-022-04534-3

    2023 doi

  35. [43]

    Scheithauer

    Nils R. Scheithauer. The Weil representation of SL 2(Z) and some applications. Int. Math. Res. Not. IMRN , (8): 1488–1545, 2009

    2009

  36. [44]

    Arithmeticity in the theory of automorphic forms , volume 82 of Mathematical Surveys and Mono- graphs

    Goro Shimura. Arithmeticity in the theory of automorphic forms , volume 82 of Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 2000

    2000

  37. [45]

    van Ittersum

    Jan-Willem M. van Ittersum. A symmetric Bloch-Okounkov theorem. Res. Math. Sci. , 8(2):Paper No. 19, 42, 2021. ISSN 2522-0144,2197-9847. doi: 10.1007/s40687-021-00253-8. URL https://doi.org/10.1007/ s40687-021-00253-8

    2021 doi

  38. [46]

    CM values of higher Green’s functions and regularized Petersson products

    Maryna Viazovska. CM values of higher Green’s functions and regularized Petersson products. In Arithmetic and geometry, volume 420 of London Math. Soc. Lecture Note Ser. , pages 493–503

  39. [47]

    S´ eries thˆ eta des formes quadratiques ind´ efinies

    Marie-France Vign´ eras. S´ eries thˆ eta des formes quadratiques ind´ efinies. InS´ eminaire Delange-Pisot-Poitou, 17e ann´ ee: 1975/76, Th´ eorie des nombres: Fasc. 1, pages Exp. No. 20, 3. Secr´ etariat Math., Paris, 1977

    1975

  40. [48]

    `E. B. Vinberg. On some free algebras of automorphic forms. Funktsional. Anal. i Prilozhen. , 52(4):38–61, 2018

    2018

  41. [49]

    Simple lattices and free algebras of modular forms

    Haowu Wang and Brandon Williams. Simple lattices and free algebras of modular forms. Adv. Math., 413:Paper No. 108835, 51, 2023

    2023

  42. [50]

    Partitions, quasimodular forms, and the Bloch-Okounkov theorem

    Don Zagier. Partitions, quasimodular forms, and the Bloch-Okounkov theorem. Ramanujan J. , 41(1-3):345– 368, 2016. ISSN 1382-4090,1572-9303. doi: 10.1007/s11139-015-9730-8. URL https://doi.org/10.1007/ s11139-015-9730-8

    2016 doi

  43. [51]

    Weight changing operators for automorphic forms on Grassmannians and differential properties of certain theta lifts

    Shaul Zemel. Weight changing operators for automorphic forms on Grassmannians and differential properties of certain theta lifts. Nagoya Math. J. , 228:186–221, 2017

    2017

  44. [52]

    C. Ziegler. Jacobi forms of higher degree. Abh. Math. Sem. Univ. Hamburg , 59:191–224, 1989. Universit¨at Heidelberg, Mathematisches Institut Email address: georgo@uni-heidelberg.de Universit¨at Heidelberg, Mathematisches Institut Email address: bwilliams@mathi.uni-heidelberg.de

    1989

  45. [2021]

    doi: 10.14231/ag-2021-002

    ISSN 2313-1691,2214-2584. doi: 10.14231/ag-2021-002. URL https://doi.org/10.14231/ag-2021-002. With an appendix coauthored with Stephen Pietromonaco

    2021 doi

Pith tools

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