Pith. sign in

REVIEW 3 major objections 4 minor 15 references

Finite generation and holomorphic anomaly equation for equivariant Gromov-Witten invariants of $K_{\mathbb{P}^1\times\mathbb{P}^1}$

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For every genus g ≥ 2, the equivariant Gromov–Witten potential of $K_{\mathbb{P}^1\times\mathbb{P}^1}$ at the mirror point lies in a finitely generated ring and obeys a holomorphic anomaly equation.

desk verdict The paper is a genuine two-parameter extension of the finite-generation/HAE program whose main theorem rests on an unproved R-matrix membership claim—worth refereeing, but the referee must demand the missing algebra. read the letter →

arxiv 1908.03691 v1 pith:HIZ5EGOP submitted 2019-08-10 math.AG math-phmath.MP

Xin Wang This is my paper · ORCID
classification math.AGmath-phmath.MP MSC 14N3553D45
keywords equivariantGromov-WitteninvariantslocalP^1xfinitegenerationholomorphicanomalyequationR-matrixFeynmandiagramexpansionquantumdifferentialmirrorsymmetry
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 proves two structural facts for the equivariant Gromov–Witten theory of the local Calabi–Yau threefold $K_{\mathbb{P}^1\times\mathbb{P}^1}$, the total space of $\mathcal{O}(-2,-2)$ over $\mathbb{P}^1\times\mathbb{P}^1$. For every genus $g\ge 2$, after evaluating at the mirror point, the genus-$g$ potential $F_g$ belongs to a finitely generated ring built from four auxiliary functions and one distinguished generator $X$, and the degree of $X$ is at most $3g-3$. The same theorem gives a holomorphic anomaly equation: differentiating $F_g$ with respect to $X$ produces a universal quadratic expression in lower-genus correlators. If the theorem is correct, all higher-genus invariants of this model are recursively determined from low-genus data, and the theory displays the same finiteness that quasi-modularity provides in one-parameter examples.

What carries the argument

The argument runs through the R-matrix of the quantum differential equation. The ring $G=\bigoplus_{k\ge 0}G_{k,3k}$ is assembled from homogeneous polynomials in the eigenvalue functions $M_{\alpha\beta},L_{\alpha\beta},\lambda,\mu$ and monomials in $\lambda^2L_{\alpha\beta}+\mu^2M_{\alpha\beta}$. Corollary 3.2 asserts that the entries of the R-matrix lie in these graded pieces, with the $H_1H_2$ component carrying the generator $X$ explicitly. Proposition 6.5 supplies the underlying combinatorial proof: an oscillatory-integral and Feynman-diagram expansion in which each diagram contributes a rational function in $\lambda^2L_{\alpha\beta}+\mu^2M_{\alpha\beta}$ with numerator degree $8k$. Feeding these memberships into the higher-genus graph-sum formula for semisimple Frobenius manifolds gives the finite generation statement, and differentiating the R-matrix and the edge bivector $V$ with respect to $X$ gives the anomaly equation.

What would settle it

Take the explicit formula for $(R_1)^1_{\alpha\beta}$ given in Example 6.4 and expand the first several coefficients in $q_1,q_2$; check directly whether $(R_1)^1_{\alpha\beta}\in G_{3,8}$, i.e. whether the numerator lies in the degree-8 polynomial space in $M_{\alpha\beta},L_{\alpha\beta},\lambda,\mu$ divided by $\big(\lambda^2L_{\alpha\beta}+\mu^2M_{\alpha\beta}\big)^3$. Then repeat the recursion of Lemma 3.1 for $k=2$; a single monomial with the wrong numerator degree or denominator power would falsify Corollary 3.2 and hence Theorem 1.1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for $g\ge 2$, with $\tau(q_1,q_2)=I_1/I_0$ the mirror map from the twisted I-function, the genus-$g$ equivariant Gromov–Witten potential satisfies $F_g(\tau(q_1,q_2))\in G[P_1,P_2,P_3,P_4,X]$, and the degree of $X$ in such a polynomial expression is at most $3g-3$. Moreover, the derivative with respect to $X$ is exactly $$\frac{d}{dX}F_g = -\frac12\big(\tilde I_{22}(q_1,q_2)+\tilde I_{22}(q_2,q_1)\big)\Big(\sum_{g_1+g_2=g}\langle\!\langle H_1+H_2\rangle\!\rangle_{g_1,1}\langle\!\langle H_1+H_2\rangle\!\rangle_{g_2,1}+\langle\!\langle H_1+H_2,H_1+H_2\rangle\!\rangle_{g-1,2}\Big).$$ Here $\langle\!\langle\cdot\rangle\!\rangle_{g,n}$ denotes genus-$g$, $n$-marked equivariant correlators. The coefficient and the correlator combination are built from I-function data and lower-genus invariants, so the equation closes among the potentials themselves.

Load-bearing premise

The argument depends on Corollary 3.2's graded memberships: the assertions that $q_i\frac{d}{dq_i}\|e_{\alpha\beta}\|/\|e_{\alpha\beta}\|\in G_{2,6}$ and $q_i\frac{d}{dq_i}M_{\alpha\beta},q_i\frac{d}{dq_i}L_{\alpha\beta}\in G_{1,4}$, stated by formula (12) without a displayed computation; if any of these fails, the degree count in Theorem 4.1 collapses and the $X$-derivatives in Proposition 5.1 acquire extra terms.

Editorial extensions

If this is right

  • All genus-$g$ potentials of this model can be computed recursively from a finite set of five generators, with the bound $\deg_X F_g\le 3g-3$ providing a termination criterion.
  • The holomorphic anomaly equation determines $F_g$ from lower-genus potentials up to a function of the other four generators; the degree bound fixes the remaining ambiguity.
  • The R-matrix membership in Corollary 3.2 is a statement about twisted I-function data, so the finite-generation result should transfer to any target whose two-variable I-function has the same structure.
  • All $q_1,q_2$-derivatives of $F_g$ are encoded in the single $X$-derivative together with the relations among $P_1,P_2,P_3,P_4,X$, collapsing the full differential system of the potentials into one anomaly equation.
  • The theorem upgrades the infinite-dimensional polynomial algebra of invariants to a finite-dimensional master ring $G[P_1,P_2,P_3,P_4,X]$, which is the natural two-parameter analogue of quasi-modularity.

Reading between the lines

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

  • Because the R-matrix Feynman expansion is purely combinatorial, the same proof scheme should give finite generation and an anomaly equation for other local surfaces with two Kähler parameters, such as local Hirzebruch surfaces; the paper explicitly mentions this as future work.
  • The five generators $P_1,P_2,P_3,P_4,X$ are likely special functions of $q_1,q_2$ belonging to a known ring of (quasi-)Jacobi or elliptic forms; identifying that ring would convert the theorem into a concrete quasi-modularity statement.
  • The non-equivariant specializations $\lambda=0$ or $\mu=0$ discussed in Remark 6.6 suggest a route to extract numerical predictions for the ordinary Gromov–Witten potential of local $\mathbb{P}^1\times\mathbb{P}^1$ and to test whether finite generation survives the limit.
  • The anomaly equation provides an efficient numerical check: starting from genus-0 and genus-1 data, one can compute the first few $F_g$ from the recursion and compare them with direct curve-count localization, which would independently verify the structural claim.
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 / 4 minor

Summary. The paper proves two structural results for the equivariant Gromov-Witten theory of the local Calabi-Yau threefold K_{P^1 x P^1}: finite generation of the genus-g potentials at the mirror point in the ring G[P1,P2,P3,P4,X], with deg_X F_g <= 3g-3, and a holomorphic anomaly equation expressing d/dX F_g as a quadratic expression in lower-genus correlators. The proof uses the mirror I-function, the quantum differential equation, the Givental R-matrix, and the Givental-Teleman graph-sum formula. A final section gives an oscillatory-integral and Feynman-diagram representation of the first column of the R-matrix.

Significance. If the main theorems are correct, this is a nontrivial two-Kaehler-parameter example of finite generation and the holomorphic anomaly equation, fitting into the program of [3,5,8,9,10,11,15]. The overall architecture is coherent: conditional on the R-matrix ring memberships in Corollary 3.2, the graph-sum degree count in Theorem 4.1 is clean, and the bivector derivative computation in Proposition 5.1 is elegant. The paper also gives a concrete combinatorial handle on the R-matrix via Feynman diagrams and identifies interesting specializations of the equivariant parameters. Its main weakness is that the load-bearing algebraic premise, Corollary 3.2, is left as a proof sketch with key computations not displayed.

major comments (3)
  1. [Corollary 3.2] Corollary 3.2 is the load-bearing statement for both main theorems, but its proof is only a sketch. The assertion that q1 d/dq1 ||e_alpha beta||/||e_alpha beta|| and q2 d/dq2 ||e_alpha beta||/||e_alpha beta|| lie in G_{2,6}, and that the q-derivatives of M_alpha beta and L_alpha beta lie in G_{1,4}, is said to follow from formula (12). However, formula (12) is only the norm identity ||e_alpha beta|| = 1/(2 sqrt(-2 lambda^2 L_alpha beta - 2 mu^2 M_alpha beta)). The memberships for the derivatives of M_alpha beta and L_alpha beta require differentiating the algebraic system M^2 - lambda^2 = q1(2(M+L))^2, L^2 - mu^2 = q2(2(M+L))^2 and solving a linear system; that computation is not displayed. In addition, the induction 'on the behavior of R_k' needs a q-derivative stability statement for the components (R_k)^1, (R_k)^{H1}, and (R_k)^{H2} within the stated G-index classes, and no such induction lemma is formulated. Since Corollary 3.2 feeds all vertex, edge, and tail contributions in Theorem 4.1 and the R-derivative identities in Proposition 5.1, this gap is load-bearing: if any of these memberships fails, the degree count collapses and the anomaly equation acquires extra terms.
  2. [Theorem 4.1] The graph-sum proof of Theorem 4.1 depends on exact ring memberships for the edge contributions V_k, in particular on the statement that each V_k lies in Q[z,w]_deg=k tensor G_{3(k+1),8(k+1)+3} tensored with the displayed Q-span containing X/((1+Ibar_11)^2(...)). This membership is quoted from Corollary 3.2 and the sentences following it, but it is not independently verified. The proof then concludes deg_X Cont_Gamma F_g <= |E(Gamma)| and cites |E(Gamma)| <= 3g-3 for stable graphs; this final bound is plausible but should be stated with the usual stability inequalities. More importantly, the degree bound 'in the polynomial expression of F_g' requires a definition, because the generators P1,...,P4,X may satisfy relations in the ambient function field; the theorem should specify that there exists a polynomial expression of X-degree at most 3g-3.
  3. [Proposition 5.1] The proof of Proposition 5.1 is too terse. The sentence that the first four derivative equations 'just follow from Lemma 3.1 and Corollary 3.2' hides the actual computation of d/dX of rational coefficients such as X/((1+Ibar_11)(Itilde22(q1,q2)+Itilde22(q2,q1))) and Itilde22(.,.)/(Itilde22(q1,q2)+Itilde22(q2,q1)). The claimed identities d/dX R^{H1}=0, d/dX R^{H2}=0, and d/dX R^{H1H2} = -z/(Itilde22(q1,q2)+Itilde22(q2,q1))(R^{H1}+R^{H2}) require nontrivial cancellations among these derivative terms; they are not shown. The final bivector identity, which is the input to the holomorphic anomaly equation, depends structurally on this exact coefficient. If the derivative computation yields any additional total-derivative term in X, the graph-sum differentiation in Theorem 5.2 will not produce the stated right-hand side. The derivation is plausible, but the missing computation is exactly the part that the stress-test identifies, and it must be supplied or referenced to a verifiable source.
minor comments (4)
  1. [Lemma 2.1] The notation I^{i;lambda^2}_{22a}(q1,q2) and I^{i;mu^2}_{22a}(q1,q2) is used in Lemmas 2.1-2.4 without an explicit definition of the superscripts and subscripts; please define these series precisely.
  2. [Throughout] There are many typographical errors, including 'I fucntion', 'Feymann', 'Lebniz's rule', and inconsistent hyphenation in 'Kaehler'; the manuscript would benefit from a careful proofreading pass.
  3. [Theorem 1.1] The derivative d/dX is a formal derivative with respect to the generator X of the ring, not an ordinary partial derivative in q1 and q2; this should be stated explicitly when the holomorphic anomaly equation is introduced.
  4. [Corollary 3.2] Corollary 3.2 refers to 'formula (12)', which appears later in Section 6; a forward reference is acceptable, but the norm identity should be restated or numbered earlier to make the proof self-contained.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 is derived from the QDE/R-matrix recursion and graph-sum formula; X and G are independently defined and no fitted input is renamed as a prediction.

full rationale

The central claim is not circular. The generators P_i and X are explicitly defined from the I-function, M_alpha_beta, L_alpha_beta, and the quantum differential data before Theorem 1.1, and no parameter is fitted to the genus-g potentials. Finite generation is proved by inserting the R-matrix memberships of Corollary 3.2 into the Givental-Teleman graph sum; the memberships themselves are obtained from the QDE recursion (Lemma 3.1), the norm identity (12), and the Feynman-diagram bound of Proposition 6.5, not from the final theorem. The holomorphic anomaly equation is obtained by differentiating the graph sum along X and using the computed X-derivatives of R and V in Proposition 5.1; the anomaly equation is an output, not an input. The only weakness is that Corollary 3.2's proof asserts the q-derivative memberships of ||e_alpha_beta||, M_alpha_beta, L_alpha_beta 'by formula (12)' without displaying the linear-system calculation, and the induction on R_k is compressed; this is a completeness/rigor gap rather than a circular reduction, since the required identities are not assumed in the form of the conclusion. The self-citation [15] is cited only as one of several works on the general technique and carries no load in the proof; an external benchmark (Givental-Teleman graph sum and Teleman's classification) supplies the structural framework.

Assumptions & free parameters 2 free parameters · 5 assumptions · 3 invented entities

The central claim rests on the standard Givental-Teleman framework for semisimple equivariant CohFTs, the quantum Riemann-Roch description of the twisted I-function (Coates-Givental), the semisimplicity of the twisted equivariant cohomology at generic λ, μ, and the Section 6 identification of the oscillatory-integral R matrix with Givental's R matrix. The long R-matrix membership computations (Corollary 3.2) are asserted rather than exhibited and form the load-bearing computational content. No constants are fitted to data. The finite generation ring G[P1,P2,P3,P4,X] and the variable X are explicit constructions introduced by the paper; their role is testable through the anomaly equation and the degree bound.

free parameters (2)
  • Equivariant specialization λ0=-λ1=λ, μ0=-μ1=μ = generic formal variables λ, μ
    Hand-chosen reduction of the (C*)^4 action to two equivariant parameters; all R-matrix formulas and the main theorem are stated for this specialization. Standard equivariant input rather than a number fitted to data, but the central claim is specific to it.
  • Branch labels (α,β) in {0,1}^2 for solutions (M_αβ, L_αβ) = four branches of M^2-λ^2=q1(2(M+L))^2, L^2-μ^2=q2(2(M+L))^2
    The ring G and the semisimple idempotent basis e_αβ use all four branches; each is a solution of the same algebraic equations, so this is a discrete bookkeeping input, not a fitted constant.
assumptions (5)
  • domain assumption Teleman's classification of semisimple 2D cohomological field theories applies to the equivariant twisted theory of K_{P^1×P^1}
    Invoked in the proofs of Theorem 4.1 and Theorem 5.2 to write F_g as a Givental graph sum over the R matrix; the theory must be semisimple and the graph sum must converge in the formal power series sense.
  • domain assumption Quantum Riemann-Roch: the twisted I-function lies on the Lagrangian cone and satisfies the Picard-Fuchs equations (2)
    Used in Sections 2.2-2.3 to write the I-function and derive the QDE matrices A1, A2 by Birkhoff factorization; this is the Coates-Givental and Coates-Corti-Iritani-Tseng framework cited as [1], [2].
  • domain assumption The twisted equivariant quantum cohomology of P^1×P^1 by O(-2,-2) is semisimple for generic λ, μ
    Section 2.1 states semisimplicity for generic equivariant parameters and constructs the idempotent basis e_αβ; the canonical basis and the eigenvalues M_αβ, L_αβ used throughout exist only in the semisimple regime.
  • domain assumption The oscillatory-integral stationary-phase expansion (Section 6) computes Givental's R matrix, including the norm formula ||e_αβ|| = 1/(2√(-2L_αβλ^2-2M_αβμ^2))
    Formula (12) feeds the norm-derivative memberships used in Corollary 3.2 and Section 4; the identification relies on Givental [6] and standard toric mirror symmetry, and any sign or normalization error would propagate into the ring memberships.
  • standard math The ψ-class integration constants in the graph sum are nonzero only when Σk_i + Σl_j = 3g-3-|E(Γ)|
    Equation (8) in Section 4; standard dimension counting on moduli of stable curves in the Givental-Teleman graph sum (cf. [13]).
invented entities (3)
  • Differentiation variable X(q1,q2) = (q1∂/∂q1 + q2∂/∂q2) ln(1 + I2_11(q1,q2) + I2_11(q2,q1)) independent evidence
    purpose: Top generator of the finite generation ring and the differentiation variable in the holomorphic anomaly equation
    Explicitly defined from the I-function; the anomaly identity and the degree bound deg_X ≤ 3g-3 give checkable content for every genus, so the construct is pinned down by the theorem rather than free-floating.
  • Ring G = ⊕_k G_{k,3k} and auxiliary generators P1, P2, P3, P4 independent evidence
    purpose: The finitely generated ring within which the theorem claims F_g lives
    All generators have explicit formulas (Section 4); membership of F_g is falsifiable by computing low-genus potentials and checking the claimed ring, so the construct is testable.
  • Eigenvalue branches M_αβ, L_αβ (four solutions of the algebraic branch equations)
    purpose: Eigenvalues of the quantum product matrices A1, A2; building blocks of G and of the Landau-Ginzburg critical points
    Defined by explicit algebraic equations and identified with critical points of the superpotential W|Γ in Section 6, but the identification is internal to the paper's formalism and no externally checkable prediction is attached.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite generation and holomorphic anomaly equation for equivariant Gromov-Witten invariants of $K_{\mathbb{P}^1\times\mathbb{P}^1}$." pith.science (2026). https://pith.science/paper/HIZ5EGOP

@misc{pith2026190803691,
  author       = {Pith},
  title        = {Pith review of: Finite generation and holomorphic anomaly equation for equivariant Gromov-Witten invariants of $K_\mathbbP^1\times\mathbbP^1$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HIZ5EGOP}},
  note         = {Machine review of arXiv:1908.03691}
}
abstract

In this paper, we prove finite generation property and holomorphic anomaly equation for the equivariant Gromov-Witten theory of $K_{\mathbb{P}^1\times\mathbb{P}^1}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 13 canonical work pages

  1. [1]

    Coates, A

    T. Coates, A. Corti, H. Iritani, H.-H. Tseng, et al. Computing genus-zero twisted gromov-witten invariants. Duke Mathematical Journal, 147(3):377–438, 2009

    work page 2009

  2. [2]

    Coates and A

    T. Coates and A. Givental. Quantum riemann-roch, lefschetz and serre. Annals of mathematics , pages 15–53, 2007

    work page 2007

  3. [3]

    Coates and H

    T. Coates and H. Iritani. Gromov-witten invariants of local P2 and modular forms. arXiv preprint arXiv:1804.03292, 2018

    arXiv 2018

  4. [4]

    P. Etingof. Mathematical ideas and notions of quantum field theory. Available at http://www-math. mit.edu/œetingof/lect.ps, 2002

    work page 2002

  5. [5]

    B. Fang, Y . Ruan, Y . Zhang, and J. Zhou. Open gromov–witten theory ofkp2, kp1×p1, k≼p[1,1,2], k℧1 and jacobi forms. Communications in Mathematical Physics, pages 1–45

    work page

  6. [6]

    A. B. Givental’. Gromov–witten invariants and quantization of quadratic hamiltonians. Moscow Mathe- matical Journal, 1(4):551–568, 2001

    work page 2001

  7. [7]

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

    work page 2001

  8. [8]

    S. Guo, F. Janda, and Y . Ruan. Structure of higher genus gromov-witten invariants of quintic 3-folds. arXiv preprint arXiv:1812.11908, 2018

    arXiv 2018

Show all 15 references
  1. [9]

    H. Lho. Gromov–witten invariants of calabi–yau manifolds with two k ¨ahler parameters. International Mathematics Research Notices

  2. [10]

    H. Lho. Gromov-witten invariants of calabi-yau fibrations. arXiv preprint arXiv:1904.10315, 2019

    1904 arXiv

  3. [11]

    Lho and R

    H. Lho and R. Pandharipande. Stable quotients and the holomorphic anomaly equation. Advances in Mathematics, 332:349–402, 2018. FINITE GENERATION AND HOLOMORPHIC ANOMALY EQUATION FOR EQUIV ARIANT GROMOV-WITTEN INV ARIANTS OFKP1×P119

    2018

  4. [12]

    Li and G

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

    1998

  5. [13]

    Pandharipande, A

    R. Pandharipande, A. Pixton, and D. Zvonkine. Relations on Mg,n via 3-spin structures. Journal of the American Mathematical Society, 28(1):279–309, 2015

    2015

  6. [14]

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

    2012

  7. [15]

    X. Wang. Quasi-modularity and holomorphic anomaly equation for the twisted gromov-witten theory: O(3) over P2. arXiv preprint arXiv:1906.11643, 2019. Department of Mathematics, Shandong University, Jinan, China E-mail address: xinwmath@gmail.com

    1906 arXiv

Pith tools

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