Pith. sign in

REVIEW 2 major objections 4 minor 28 references

Conifold Gap Theorem for Topological Recursion

T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The conifold gap theorem holds for topological recursion of every toric mirror curve: for each genus at least two, the free energy has one universal polar term and no other negative powers or logarithms.

desk verdict A genuinely general conifold gap theorem for toric mirror curves, proved by a dense but coherent analytic tour de force; the one real defect I found is a typo in the calibration constants, not a hole in the proof. read the letter →

arxiv 2608.11960 v1 pith:YXLKV4RQ submitted 2026-08-12 math.AG math-phmath.MP

Bohan Fang , Juping Chen , Linji Chen , Zhengyu Zong This is my paper · ORCID
classification math.AGmath-phmath.MP MSC 14J3314H8114N3532G20
keywords conifoldgaptopologicalrecursiontoricmirrorcurveone-nodedegenerationfreeenergyvanishingperiodEulerdefectGaussianmatrixmodel
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

The paper proves a conifold gap theorem for topological recursion of toric mirror curves. For every local analytic family whose fiber acquires a single ordinary node, and for every fixed genus $g \ge 2$, the conifold-polarized free energy has exactly one universal polar term, and the remainder is jointly holomorphic in the transverse and spectator parameters. Concretely, after normalizing the vanishing period $t$, the Laurent expansion of $F_g^c(s,t)$ in $t$ contains no logarithmic term and no negative power other than $t^{2-2g}$. If the theorem is right, the gap supplies $2g-2$ boundary conditions at every conifold point of the moduli space for the whole toric class.

What carries the argument

The load-bearing object is the one-neck normal form $v^2 = u^2 - \lambda$ together with the exact vanishing period $t = c_{\mathrm{per}} \int_\gamma \omega_{0,1}$ used as the transverse coordinate. The proof controls the $A$-normalized bidifferential of the moving family by a capped outer family and a two-seam construction, inverting a seam jump operator by a Neumann series; then special geometry expresses $\partial_t F_g^c$ as a neck integral plus a bounded residual. The bounded Euler defect $E_g = (2-2g)F_g^c - t\partial_t F_g^c$ plus the Gaussian leading limit forces the Laurent gap in one assembly step.

What would settle it

Compute, for one explicit toric one-node family with spectator moduli and genus $g=2$, the Laurent coefficients of $F_2^c(s,t)$ in $t$ by the recursion of the paper: if any negative coefficient other than the one at exponent $-2$ is nonzero, or if $t^2 F_2^c(s,t)$ does not converge to the Gaussian constant as $t\to 0$, then Theorem 1.1 is false.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.1, is that for every fixed integer $g \ge 2$, after shrinking to a product $U_s^p \times D_t$, there is a unique jointly holomorphic function $H_g^{gap}$ such that for $t \neq 0$, $$F_g^c(s,t) = \frac{B_{2g}}{2g(2g-2)}\, $t^{{2-2g}}$ + $H_g^{{gap}}$(s,t).$$ In particular the Laurent expansion has no logarithm and no negative power other than $t^{2-2g}$. The result covers separating and nonseparating nodes, allows general transverse deformations beyond the pure filling-fraction case, and is uniform on compact sets of spectator moduli.

Load-bearing premise

The argument rests on one premise: the analytic control of the degenerating two-point kernel remains uniform as the family moves in the transverse and spectator directions. If that uniform control fails at any stage of the degeneration, the bounded correlators, the Gaussian limit, and the bounded Euler defect—and with them the gap—do not follow.

Editorial extensions

If this is right

  • Every genus-at-least-two free energy of a toric mirror curve near a one-node degeneration is determined up to holomorphic data by its polar term; no logarithms or intermediate negative powers appear.
  • The polar coefficient is universal: it depends only on the period normalization and the recursion conventions, not on the Newton polygon, the spectator moduli, or whether the node is separating or nonseparating.
  • The gap gives $2g-2$ boundary conditions at each conifold point for holomorphic anomaly equations in the whole toric class.
  • Both node topologies and general transverse deformations are covered, so the result is not confined to the pure filling-fraction case.
  • After specializing the period normalization, the constant equals $B_{2g}/(2g(2g-2))$, matching the standard conifold-gap coefficient.

Reading between the lines

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

  • A natural extension: the same Laurent assembly would give one polar term per vanishing period for families acquiring several nodes simultaneously, provided the uniform bidifferential estimates extend to multi-neck degenerations.
  • The bounded Euler defect may be the more general phenomenon: wherever special geometry plus a Gaussian leading limit hold, boundedness of the defect is equivalent to the absence of logarithms and intermediate powers in the free energy.
  • The proof's explicit contours suggest the remainder $H_g^{gap}$ carries effective bounds, not just existence, so the gap could be turned into numerical predictions for higher-genus amplitudes near the conifold.
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

2 major / 4 minor

Summary. The paper proves a conifold gap theorem for Eynard–Orantin topological recursion on toric mirror curves. In the setting of a local analytic family of reduced compactified toric mirror curves acquiring a generic one-node degeneration, a good integer framing, and a conifold-adapted A-normalization, the paper defines an exact vanishing period t and shows that for every fixed g≥2 the conifold-polarized free energy has the form F_g^c(s,t) = B_{2g}/(2g(2g-2)) t^{2-2g} + H_g^gap(s,t) with H_g^gap jointly holomorphic in (s,t), no logarithmic term, and no intermediate negative powers. The proof combines a projection-compatible node normal form, uniform analytic estimates for the degenerating bidifferential and the stable correlators, an exact-period Gaussian leading limit, special geometry for the deformation with a bounded residual, and a Laurent-coefficient argument that uses the boundedness of an Euler defect; the universal coefficient is calibrated against the Gaussian one-matrix model. The separation of the argument into normal form, estimates, special geometry, and calibration is clear, and the paper explicitly covers both separating and nonseparating nodes.

Significance. If the result is correct, it is a substantial advance: it establishes the conifold gap for the whole class of toric mirror curves within the recursion, without closed-form BPS formulas, and it covers general transverse deformations with spectator moduli. The underlying mechanism is attractive: the Euler defect is bounded by an exact cancellation of the neck terms between the residue identity and the special-geometry identity, and the Gaussian comparison supplies the universal constant. The paper is careful with markings, framings, and orientation conventions. I do not share the concern that the P1 sign check in Theorem 4.2 Step 2 is invalid; on P1 the fundamental bidifferential in the global coordinate z is dz1dz2/(z1-z2)^2, and the residue computation checks the sign in (4.3). The main issue I found is an internal inconsistency in the calibration algebra (Eq. (5.7) versus Step 5 of Theorem 5.5), which is load-bearing for the universal constant. The proof does not ship machine-checked code, but the analytic estimates are presented in enough detail that the central line is checkable.

major comments (2)
  1. [Section 5.2, Eq. (5.7) and Step 5 of Theorem 5.5] The calibration algebra is internally inconsistent. Eq. (5.7) states F^P_g = B_{2g}/(2g(2g-2)) T^{2g-2}; specializing to T=1/4 gives the factor 4^{-(2g-2)}, whereas the display in Step 5 of Theorem 5.5 uses the factor 4^{2g-2}. The two factors are reciprocals, so the displayed derivation of (5.4) does not follow from the stated input. If (5.7) is correct, the final coefficient would be different; if the final formula (5.4) is correct, then (5.7) should presumably read T^{2-2g}, which is also dimensionally natural for this family. Please correct the exponent and re-verify the coefficient. This is load-bearing because Corollary 5.2 is the calibration of the universal polar term in Theorem 1.1.
  2. [Section 3.1, Theorem 3.4 Step 1] The uniform Neumann bound for the seam jump operator is the technical foundation for the O(1) bounds of Theorem 3.7 and the Gaussian limit of Theorem 3.10, but the proof invokes the fixed-component Cauchy-kernel jump construction of [GKN19, HN20] 'adapted to the present moving family' without proving the family-wise uniformities. In particular, the construction of the kernels K_{μ;q,s}(x,w) needs a global choice of base sections o_μ and of integration paths that vary holomorphically with (q,s), and the bound on the regular-part coefficients k_{m,n;e,e'}(q,s) near q=0 needs the uniform invertibility of the A-normalization on the capped family; the text asserts these bounds by Cauchy estimates. Please either provide the family version as a lemma with a proof or state precisely which theorem in [Yam80, HN20] supplies it. As written, this is a gap in the most delicate estimate of the paper.
minor comments (4)
  1. [Proposition 2.1] The sentence 'The finite-set assertions concern all but finitely many integer f at the fixed base points 0' is unclear; presumably it means 'at the fixed base point (0,s_0)'.
  2. [Section 5.2] The notation warning for [ACPPRS12] objects (letters p, q, T and the hat convention) appears rather late in the proof; moving it before Step 1 would improve readability.
  3. [References] The reference list contains a typo: 'Bohan F ang' should be 'Bohan Fang'.
  4. [Theorem 4.3, Step 1] The statement that a full loop of ε has monodromy T_γ^2 would benefit from a one-line justification using the plumbing relation z_+z_-=ε^2 and the orientation convention of Proposition 2.4.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the conifold gap is derived from recursion estimates, an internal Gaussian comparison limit, and an external calibration of the universal constant.

full rationale

The paper's derivation chain is self-contained in the relevant sense. The gap statement is obtained by bounding the degenerating A-normalized bidifferential and the stable correlators via Yamada sewing and the GKN/HN Cauchy-kernel construction, then proving an exact-period Gaussian leading limit by comparing the rescaled recursion on the neck with the Gaussian curve, then proving special-geometry identities from the Rauch variational formula quoted from [EO07], then bounding the Euler defect from boundedness and exact cancellation of the t I_neck terms, and finally assembling the Laurent expansion through Lemma 5.3. The Gaussian curve is used as a comparison model and calibration benchmark, not as an input carrying the conclusion: its Bernoulli coefficient is computed externally from [ACPPRS12] and matched to the universal constant after the limit is established. No equation of the conclusion is assumed in the derivation. The only substantive concern visible in the paper, the P1 sign check in Theorem 4.2 Step 2, uses B(z1,z2)=dz1dz2/(z1-z2)^2 rather than the projection-normalized bidifferential for x(z)=z^2/2+lambda(t); this is a potential correctness gap in verifying the sign of a cited variational formula, not a circular step, because the formula itself is imported from [EO07] and the rest of the derivation does not reduce to that computation by construction. Self-citations such as [FLZ20] appear only as background for the remodeling conjecture and are not load-bearing. Therefore no significant circularity is present.

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

No free parameters are fitted to data; the proof is a priori. The central claim rests on standard results in topological recursion and complex analysis, plus the cited sewing and Gaussian-model results. No new physical entities are posited.

assumptions (4)
  • domain assumption Ordinary Eynard-Orantin recursion equals logarithmic recursion when the vital set is empty, as defined in ABDKS23 and HMO26.
    Invoked in Section 2.1 to justify using ordinary recursion for the logarithmic initial form y dx_f.
  • domain assumption Yamada's sewing formulas and the fixed-kernel Cauchy jump construction of Grushevsky-Krichever-Norton and Hu-Norton remain valid for holomorphic families with transverse variation of the outer curve.
    The uniform estimates of the degenerating bidifferential in Theorem 3.1 and Theorem 3.4 rest on these external constructions.
  • standard math Rauch variational formula for the A-normalized bidifferential under fixed-x_f transport.
    Used in Theorem 4.2 Step 2 to prove the exact special geometry identity for the free energy derivative.
  • standard math The Gaussian matrix model free-energy evaluation from ACPPRS12 with the exponent corrected to T^{2-2g}, giving Bernoulli numbers.
    Used to calibrate the universal constant in Corollary 5.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Conifold Gap Theorem for Topological Recursion." pith.science (2026). https://pith.science/paper/YXLKV4RQ

@misc{pith2026260811960,
  author       = {Pith},
  title        = {Pith review of: Conifold Gap Theorem for Topological Recursion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YXLKV4RQ}},
  note         = {Machine review of arXiv:2608.11960}
}
read the original abstract

We prove a conifold gap theorem for the topological recursion of toric mirror curves: for every local analytic family acquiring a generic one-node degeneration and every fixed genus at least two, the conifold-polarized free energy has one universal polar term, and the remainder is jointly holomorphic in the transverse and spectator parameters. The result covers separating and nonseparating nodes and allows general family deformations beyond the pure filling-fraction case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 7 canonical work pages

  1. [1]

    Alexander Alexandrov, Boris Bychkov, Petr Dunin-Barkowski, Maxim Kazarian, and Sergey Shadrin, Log topological recursion through the prism of x - y swap, Int. Math. Res. Not. IMRN 2024, no. 21, 13461--13487, arXiv:2312.16950, doi:10.1093/imrn/rnae213

    work page Pith review arXiv 2024

  2. [2]

    Murad Alim, Intrinsic non-perturbative topological strings, Adv. Theor. Math. Phys. 29 (2025), no. 5, 1365--1406, arXiv:2102.07776, doi:10.4310/atmp.251023013812

    arXiv 2025

  3. [3]

    Topological recursion for chord diagrams, RNA complexes, and cells in moduli spaces

    J rgen Ellegaard Andersen, Leonid O. Chekhov, R. C. Penner, Christian M. Reidys, and Piotr Su kowski, Topological recursion for chord diagrams, RNA complexes, and cells in moduli spaces, Nuclear Phys. B 866 (2013), no. 3, 414--443, arXiv:1205.0658, doi:10.1016/j.nuclphysb.2012.09.012

    work page Pith review arXiv 2013

  4. [4]

    Vincent Bouchard, Albrecht Klemm, Marcos Mari\ no, and Sara Pasquetti, Remodeling the B-model, Comm. Math. Phys. 287 (2009), no. 1, 117--178, arXiv:0709.1453

    arXiv 2009

  5. [5]

    Vincent Bouchard, Albrecht Klemm, Marcos Mari\ no, and Sara Pasquetti, Topological open strings on orbifolds, Comm. Math. Phys. 296 (2010), no. 3, 589--623, arXiv:0807.0597, doi:10.1007/s00220-010-1020-0

    work page Pith review arXiv 2010

  6. [6]

    Andrea Brini, Conifold gap and all-genus mirror symmetry for local P ^2 , arXiv:2509.19298, 2025

    work page arXiv 2025

  7. [7]

    High Energy Phys

    Leonid Chekhov, Bertrand Eynard, and Nicolas Orantin, Free energy topological expansion for the 2-matrix model, J. High Energy Phys. 2006, no. 12, 053, arXiv:math-ph/0603003, doi:10.1088/1126-6708/2006/12/053

    arXiv 2006

  8. [8]

    Eynard and N

    B. Eynard and N. Orantin, Invariants of algebraic curves and topological expansion, Commun. Number Theory Phys. 1 (2007), no. 2, 347--452, doi:10.4310/CNTP.2007.v1.n2.a4, arXiv:math-ph/0702045. Equation and footnote numbering follows the arXiv version

    arXiv 2007

Show all 28 references
  1. [9]

    Bertrand Eynard and Nicolas Orantin, Computation of open Gromov--Witten invariants for toric Calabi--Yau 3-folds by topological recursion, a proof of the BKMP conjecture, Comm. Math. Phys. 337 (2015), no. 2, 483--567, arXiv:1205.1103

    2015 arXiv

  2. [10]

    Bohan Fang, Chiu-Chu Melissa Liu, and Zhengyu Zong, On the remodeling conjecture for toric Calabi--Yau 3-orbifolds, J. Amer. Math. Soc. 33 (2020), no. 1, 135--222, arXiv:1604.07123

    2020 arXiv

  3. [11]

    Carel Faber and Rahul Pandharipande, Hodge integrals and Gromov--Witten theory, Invent. Math. 139 (2000), no. 1, 173--199, arXiv:math/9810173

    2000 arXiv

  4. [12]

    B 453 (1995), no

    Debashis Ghoshal and Cumrun Vafa, c=1 string as the topological theory of the conifold, Nuclear Phys. B 453 (1995), no. 1-2, 121--128, arXiv:hep-th/9506122

    1995 arXiv

  5. [13]

    Rajesh Gopakumar and Cumrun Vafa, M-theory and topological strings II, arXiv:hep-th/9812127, 1998

    1998 arXiv

  6. [14]

    Surveys 74 (2019), no

    Samuel Grushevsky, Igor Krichever, and Chaya Norton, Real-normalized differentials: limits on stable curves, Russian Math. Surveys 74 (2019), no. 2, 265--324, doi:10.1070/RM9877

    2019 doi

  7. [15]

    High Energy Phys

    Min-xin Huang and Albrecht Klemm, Holomorphic anomaly in gauge theories and matrix models, J. High Energy Phys. 2007, no. 9, 054, arXiv:hep-th/0605195

    2007 arXiv

  8. [16]

    757, Springer, Berlin, 2009, pp

    Min-xin Huang, Albrecht Klemm, and Seth Quackenbush, Topological string theory on compact Calabi--Yau: modularity and boundary conditions, Homological mirror symmetry, Lecture Notes in Phys. 757, Springer, Berlin, 2009, pp. 45--102, arXiv:hep-th/0612125

    2009 arXiv

  9. [17]

    Alexander Hock, Olivier Marchal, and Nicolas Orantin, Geometry of Logarithmic Topological Recursion: Dilaton Equations, Free Energies and Variational Formulas, arXiv:2604.25622 [math-ph], 2026

    2026 arXiv

  10. [18]

    Xuntao Hu and Chaya Norton, General variational formulas for abelian differentials, Int. Math. Res. Not. IMRN 2020 (2020), no. 12, 3540--3581, doi:10.1093/imrn/rny106

    2020 doi

  11. [19]

    John Harer and Don Zagier, The Euler characteristic of the moduli space of curves, Invent. Math. 85 (1986), no. 3, 457--485

    1986

  12. [20]

    Nikolai Iorgov, Kohei Iwaki, Oleg Lisovyy, and Yurii Zhuravlov, Many-faced Painlev\'e I: irregular conformal blocks, topological recursion, and holomorphic anomaly approaches, arXiv:2505.16803, 2025

    2025 arXiv

  13. [21]

    Kohei Iwaki and Omar Kidwai, Topological recursion and uncoupled BPS structures I: BPS spectrum and free energies, Adv. Math. 398 (2022), Paper No. 108191, arXiv:2010.05596

    2022 arXiv

  14. [22]

    Integrable Syst

    Kohei Iwaki, Tatsuya Koike, and Yumiko Takei, Voros coefficients for the hypergeometric differential equations and Eynard--Orantin's topological recursion, Part II: for the confluent family of hypergeometric equations, J. Integrable Syst. 4 (2019), no. 1, xyz004, arXiv:1810.02946

    2019 arXiv

  15. [23]

    Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Shurui Liu, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, and Bin Dong, Automated conjecture resolution with formal verification, arXiv:2604.03789, 2026

    2026 arXiv

  16. [24]

    Jihao Liu, Guoxiong Gao, Zeming Sun, Bin Wu, Shurui Liu, Jiedong Jiang, Haocheng Ju, Leheng Chen, Ronnie Cheng, Xiping Zhang, and Bin Dong, Danus: orchestrating mathematical reasoning agents with fact-graph memory, arXiv:2607.06447, 2026

    2026 arXiv

  17. [25]

    High Energy Phys

    Marcos Mari\ no, Open string amplitudes and large order behavior in topological string theory, J. High Energy Phys. 2008, no. 3, 060, 34 pp., arXiv:hep-th/0612127, doi:10.1088/1126-6708/2008/03/060

    2008 arXiv

  18. [26]

    Henri Poincar\'e 11 (2010), 351--431, arXiv:0907.4082, doi:10.1007/s00023-010-0044-5

    Sara Pasquetti and Ricardo Schiappa, Borel and Stokes nonperturbative phenomena in topological string theory and c=1 matrix models, Ann. Henri Poincar\'e 11 (2010), 351--431, arXiv:0907.4082, doi:10.1007/s00023-010-0044-5

    2010 arXiv

  19. [27]

    B 451 (1995), no

    Andrew Strominger, Massless black holes and conifolds in string theory, Nuclear Phys. B 451 (1995), no. 1-2, 96--108, arXiv:hep-th/9504090

    1995 arXiv

  20. [28]

    Akira Yamada, Precise variational formulas for abelian differentials, Kodai Math. J. 3 (1980), no. 1, 114--143, doi:10.2996/kmj/1138036124

    1980

Pith tools

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