pith. sign in

arxiv: 1906.11643 · v1 · pith:ELJ3QZVRnew · submitted 2019-06-26 · 🧮 math.AG · math-ph· math.MP

Quasi-modularity and holomorphic anomaly equation for the twisted Gromov-Witten theory: mathcal{O}(3) over mathbb{P}²

Xin Wang This is my paper

Pith reviewed 2026-05-25 15:16 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MP
keywords twisted Gromov-Witten invariantsquasi-modularityholomorphic anomaly equationO(3) over P²Novikov variableenumerative geometry
0
0 comments X

The pith

The generating functions of the twisted Gromov-Witten invariants for O(3) over P² are quasi-modular forms and satisfy a holomorphic anomaly equation.

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

The paper shows that the generating functions built from the twisted Gromov-Witten invariants of the total space of the line bundle O(3) over the projective plane can be organized as quasi-modular forms in the appropriate variables. It also derives the holomorphic anomaly equation that governs how these functions change under anti-holomorphic variations. A reader would care because the quasi-modularity property typically supplies recursive relations that determine higher-genus invariants from lower-genus data once a finite set of initial terms is known. The anomaly equation then supplies a differential relation that further constrains or determines the full generating function from boundary data.

Core claim

We prove quasi-modularity property for the twisted Gromov-Witten theory of O(3) over P². Meanwhile, we derive its holomorphic anomaly equation.

What carries the argument

Generating functions of the twisted Gromov-Witten invariants, expanded in the Novikov variable and organized into quasi-modular forms.

If this is right

  • Higher-genus twisted invariants are recursively determined by the modular transformation laws once a finite number of base cases are fixed.
  • The holomorphic anomaly equation supplies a first-order differential relation that relates the anti-holomorphic derivative of the generating function to other differential operators.
  • Boundary conditions at special loci in the moduli space suffice to fix the entire quasi-modular generating function.

Where Pith is reading between the lines

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

  • The same organization into quasi-modular forms may apply to twisted theories on other bundles over P² or on other bases, once the expansion assumption holds.
  • The derived anomaly equation could be compared directly with predictions coming from mirror symmetry for the same target space.
  • Explicit low-order terms computed by localization or other methods could be used to test the first few coefficients of the quasi-modular expansion.

Load-bearing premise

The generating functions of the twisted Gromov-Witten invariants admit a well-defined expansion in the Novikov variable whose coefficients can be organized into quasi-modular forms.

What would settle it

An explicit low-degree computation of several twisted invariants whose generating function fails to transform correctly under the action of SL(2,Z) or violates the stated holomorphic anomaly equation.

read the original abstract

In this paper, we prove quasi-modularity property for the twisted Gromov-Witten theory of $\mathcal{O}(3)$ over $\mathbb{P}^2$. Meanwhile, we derive its holomorphic anomaly equation.

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

0 major / 2 minor

Summary. The manuscript proves the quasi-modularity property of the generating functions for the twisted Gromov-Witten invariants of the line bundle O(3) over P² and derives the associated holomorphic anomaly equation.

Significance. If the result holds, the work supplies a concrete new example of quasi-modularity for twisted Gromov-Witten theory on a toric surface, together with an explicit holomorphic anomaly equation that could be used for recursive computation of the invariants. The derivation itself constitutes a parameter-free structural statement once the Novikov expansion is fixed.

minor comments (2)
  1. [Abstract] The abstract is terse; a sentence indicating the main technical tools (e.g., localization, mirror symmetry, or recursive relations) would help readers locate the argument.
  2. [Introduction] Notation for the twisted invariants and the precise form of the Novikov variable should be introduced with a short display equation in the introduction for immediate reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report contains no major comments, so we have no point-by-point responses. We remain available to address any minor suggestions or clarifications that may arise.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a proof of quasi-modularity for the twisted Gromov-Witten generating functions of O(3) over P² together with derivation of the associated holomorphic anomaly equation. The Novikov expansion whose coefficients are asserted to organize into quasi-modular forms is the object of the proof rather than an unexamined input or self-referential definition. No load-bearing self-citation, fitted-parameter prediction, ansatz smuggling, or renaming of known results is visible in the claim structure. The derivation is therefore treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or newly postulated entities.

pith-pipeline@v0.9.0 · 5555 in / 1062 out tokens · 24606 ms · 2026-05-25T15:16:55.728383+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 3 internal anchors

  1. [1]

    Computing genus-zero twisted gromov-witten invariants

    Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua T seng, et al. Computing genus-zero twisted gromov-witten invariants. Duke Mathematical Journal, 147(3):377–438, 2009

    work page 2009

  2. [2]

    Quantum riemann-roc h, lefschetz and serre

    Tom Coates and Alexander Givental. Quantum riemann-roc h, lefschetz and serre. Annals of mathe- matics, pages 15–53, 2007

    work page 2007

  3. [3]

    Gromov-Witten Invarian ts of Local P2 and Modular Forms

    Tom Coates and Hiroshi Iritani. Gromov-Witten Invarian ts of Local P2 and Modular Forms. arXiv preprint arXiv:1804.03292, 2018

    work page arXiv 2018

  4. [4]

    Op en Gromov-Witten Theory of KP2, KP1×P1, KWP[1, 1, 2], KF1 and Jacobi Forms

    Bohan Fang, Y ongbin Ruan, Yingchun Zhang and Jie Zhou. Op en Gromov-Witten Theory of KP2, KP1×P1, KWP[1, 1, 2], KF1 and Jacobi Forms. arXiv preprint arXiv:1805.04894, 2018

    work page arXiv 2018

  5. [5]

    Cubic modular identities of ramanujan, hy pergeometric functions and analogues

    Frank Garvan. Cubic modular identities of ramanujan, hy pergeometric functions and analogues. In The Rademacher Legacy to Mathematics: The Centenary Confer ence in Honor of Hans Rademacher , July 21-25, 1992, the Pennsylvania State University , volume 1, page 245. American Mathematical Soc., 1994. 20 XIN W ANG

    work page 1992

  6. [6]

    Equivariant gromov-witten invariants

    Alexander B Givental. Equivariant gromov-witten invariants. International Mathematics Research No- tices, 1996(13):613–663, 1996

    work page 1996

  7. [7]

    Semisimple frobenius structures at higher genus

    Alexander B Givental. Semisimple frobenius structures at higher genus. International mathematics research notices, 2001(23):1265–1286, 2001

    work page 2001

  8. [8]

    Symplectic geometry of frobenius structures

    Alexander B Givental. Symplectic geometry of frobenius structures. In Frobenius manifolds, pages 91–112. Springer, 2004

    work page 2004

  9. [9]

    Structure of Higher Genus Gromov-Witten Invariants of Quintic 3-folds

    Shuai Guo, Felix Janda and Y ongbin Ruan. The structures o f higher genus Gromov-Witten inavariants of quintic 3-folds. arXiv preprint arXiv:1812.11908

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Stable quotients a nd the holomorphic anomaly equation

    Hyenho Lho and Rahul Pandharipande. Stable quotients a nd the holomorphic anomaly equation. Ad- vances in Mathematics , 332:349–402, 2018

    work page 2018

  11. [11]

    Crepant resolution and the holomorphic anomaly equation for C^3/Z_3

    Hyenho Lho and Rahul Pandharipande. Crepant resolutio n and the holomorphic anomaly equation for C3/ Z3. arXiv preprint arXiv:1804.03168, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    Virtual moduli cycles and gromov-w itten invariants of algebraic varieties

    Jun Li and Gang Tian. Virtual moduli cycles and gromov-w itten invariants of algebraic varieties. Journal of the American Mathematical Society , 11(1):119–174, 1998

    work page 1998

  13. [13]

    Mirror prin ciple I

    Bong H Lian, Kefeng Liu, and Shing-Tung Y au. Mirror prin ciple I. Asian Journal of Mathematics , 1(4):729–763, 1997

    work page 1997

  14. [14]

    Holomorphic anomaly equations and the Igusa cusp form con- jecture

    Georg Oberdieck and Aaron Pixton. Holomorphic anomaly equations and the Igusa cusp form con- jecture. Inventiones mathematicae, 213(2):507–587, 2018

    work page 2018

  15. [15]

    Relations on Mg, n via 3-spin structures

    Rahul Pandharipande, Aaron Pixton, and Dimitri Zvonki ne. Relations on Mg, n via 3-spin structures. Journal of the American Mathematical Society , 28(1):279–309, 2015

    work page 2015

  16. [16]

    Higher genus symplectic inv ariants and sigma models coupled with gravity

    Y ongbin Ruan and Gang Tian. Higher genus symplectic inv ariants and sigma models coupled with gravity. Inventiones mathematicae, 130(3):455–516, 1997

    work page 1997

  17. [17]

    The structure of 2d semi-simple fie ld theories

    Constantin Teleman. The structure of 2d semi-simple fie ld theories. Inventiones mathematicae , 188(3):525–588, 2012

    work page 2012

  18. [18]

    Some Properties of Hypergeometric Series Associated with Mirror Symmetry

    Don Zagier and Aleksey Zinger. Some properties of hyper geometric series associated with mirror symmetry. arXiv preprint arXiv:0710.0889, 2007. Department of Mathematics, Shandong University, Jinan, China E-mail address: xinwmath@gmail.com

    work page internal anchor Pith review Pith/arXiv arXiv 2007