pith. sign in

arxiv: 2606.07960 · v1 · pith:DSPCZNU3new · submitted 2026-06-06 · 🧮 math.AG · math-ph· math.MP· math.SG

B-model Categorical Enumerative Invariants and holomorphic anomaly equations

Pith reviewed 2026-06-27 19:26 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MPmath.SG
keywords categorical enumerative invariantsholomorphic anomaly equationsCalabi-Yau threefoldsderived categoriesB-modelGivental quantizationtopological strings
0
0 comments X

The pith

B-model categorical enumerative invariants for Calabi-Yau threefolds satisfy the BCOV holomorphic anomaly equations.

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

The paper proves that categorical enumerative invariants extracted from the derived category of coherent sheaves on a smooth projective Calabi-Yau threefold obey the holomorphic anomaly equations first written down by Bershadsky, Cecotti, Ooguri and Vafa. The authors first establish that these invariants satisfy general versions of the dilaton, string and divisor equations. They then feed those relations into the Givental quantization procedure to conclude that the full generating function, for any miniversal deformation family, satisfies the anomaly equations. A sympathetic reader would care because this supplies an algebraic definition of the B-model topological string partition function that does not rely on choosing a mirror or on geometric constructions of the invariants.

Core claim

The B-model CEI for any miniversal family of smooth projective Calabi-Yau 3-folds satisfies the holomorphic anomaly equations introduced by Bershadsky-Cecotti-Ooguri-Vafa. This provides strong evidence that CEI may be taken as a rigorous mathematical definition of the B-model topological string partition function.

What carries the argument

Givental quantization formula applied after establishing the analogs of the dilaton, string, and divisor equations for categorical enumerative invariants on the derived category.

If this is right

  • The categorical enumerative invariants satisfy the analog of the dilaton equation in general.
  • The categorical enumerative invariants satisfy the analog of the string equation in general.
  • The categorical enumerative invariants satisfy the analog of the divisor equation in general.
  • The full generating function built from these invariants obeys the BCOV holomorphic anomaly equations for every miniversal family.

Where Pith is reading between the lines

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

  • The result would let the B-model partition function be defined directly from the derived category, without selecting a symplectic mirror or a geometric cycle class.
  • It supplies a route to comparing A-model and B-model invariants entirely inside categorical language, rather than through geometric mirror symmetry.
  • Explicit calculations of CEI on particular threefolds could produce independent checks or new values for higher-genus Gromov-Witten invariants.

Load-bearing premise

The categorical enumerative invariants are well-defined on the derived category of coherent sheaves and the analogs of the dilaton, string, and divisor equations hold in sufficient generality to apply the Givental quantization formula without additional assumptions.

What would settle it

A concrete computation, for a specific Calabi-Yau threefold and a point in its miniversal family, showing that the CEI generating function violates one of the BCOV holomorphic anomaly equations at a fixed genus.

read the original abstract

In this paper, we study the B-model categorical enumerative invariants (CEI) associated with derived categories of coherent sheaves on smooth projective Calabi-Yau $3$-folds. We first prove the analogs of the dilaton, string, and divisor equations of CEI in a general context. Then we use these equations and the Givental quantization formula to prove that the B-model CEI for any miniversal family of smooth projective Calabi-Yau $3$-folds satisfies the holomorphic anomaly equations introduced by Bershadsky-Cecotti-Ooguri-Vafa. This provides strong evidence that CEI may be taken as a rigorous mathematical definition of the B-model topological string partition function.

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 / 3 minor

Summary. The paper claims to prove analogs of the dilaton, string, and divisor equations for B-model categorical enumerative invariants (CEI) associated to derived categories of coherent sheaves on smooth projective Calabi-Yau 3-folds in a general context. It then applies the Givental quantization formula to these equations to show that the B-model CEI for any miniversal family of such threefolds satisfies the holomorphic anomaly equations of Bershadsky-Cecotti-Ooguri-Vafa, positioning CEI as a candidate rigorous definition of the B-model topological string partition function.

Significance. If the proofs of the equation analogs and the subsequent application of quantization hold in the stated generality, the result would supply a concrete mathematical link between categorical enumerative invariants and the B-model holomorphic anomaly equations. This constitutes a substantive contribution to the program of giving rigorous foundations to B-model topological strings via derived-category invariants, and the strategy of first establishing the three key equations before invoking Givental's formalism is a direct and appropriate route to the main claim.

minor comments (3)
  1. [Introduction] The introduction would benefit from a brief explicit statement of the precise generality (e.g., which classes of Calabi-Yau threefolds and which stability conditions) under which the analogs of the dilaton, string, and divisor equations are established before the quantization step is applied.
  2. [§1] Notation for the CEI and the associated generating functions should be introduced with a short table or list of symbols in §1 to improve readability when the quantization formula is invoked later.
  3. A short remark clarifying whether the miniversal family assumption is used only for the final statement or also in the proof of the equation analogs would help readers track the logical dependencies.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, recognition of its significance in linking categorical enumerative invariants to the B-model holomorphic anomaly equations, and recommendation of minor revision. No specific major comments appear in the provided report, so we have no individual points requiring detailed rebuttal or clarification at this stage. We will address any minor suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external quantization formula after proving independent equations

full rationale

The paper first establishes the analogs of the dilaton, string, and divisor equations for CEI in a general derived-category context on Calabi-Yau 3-folds. It then applies the external Givental quantization formula to derive the holomorphic anomaly equations. No step reduces a claimed prediction or central result to a fitted parameter, self-definition, or load-bearing self-citation; the cited quantization formula is independent and the proofs of the preparatory equations are presented as new content. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of derived categories and the applicability of Givental quantization; no free parameters or new entities are mentioned in the abstract.

axioms (1)
  • domain assumption Standard properties of derived categories of coherent sheaves on smooth projective Calabi-Yau 3-folds allow definition of CEI and the stated equations.
    Invoked to establish the dilaton/string/divisor analogs before quantization.

pith-pipeline@v0.9.1-grok · 5647 in / 1155 out tokens · 25521 ms · 2026-06-27T19:26:53.212528+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

57 extracted references · 1 canonical work pages

  1. [1]

    Aganagic, M., Bouchard, V., Klemm, A.,Topological strings and (almost) modular forms.Comm. Math. Phys. 277 (2008), no. 3, 771–819

  2. [2]

    Amorim, L., Tu, J.,On the Morita invariance of Categorical Enumerative Invariants, arXiv preprint arXiv:2209.02744

  3. [3]

    Barannikov, S.,Quantum Periods , I : Semi-Infinite Variations of Hodge Structures, Internat. Math. Res. Not. 23 (2001), 1243-1264

  4. [4]

    152 (2016) 489-555

    Blanc, A.,Topological K-theory of complex noncommutative spaces,Compositio Math. 152 (2016) 489-555

  5. [5]

    B 405 (1993), no

    Bershadsky, M., Cecotti, S., Ooguri H., Vafa, C.,Holomorphic anomalies in topological field theories, Nuclear Phys. B 405 (1993), no. 2-3, 279–304

  6. [6]

    Bershadsky, M., Cecotti, S., Ooguri H., Vafa, C.,Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes, Comm. Math. Phys. 165(2), 311-427 (1994)

  7. [7]

    C˘ ald˘ araru, A., Li, S., Tu, J.,Categorical primitive forms and Gromov-Witten invariants ofA n singularities, International Mathematics Research Notices, rnz315, https://doi.org/10.1093/imrn/rnz315

  8. [8]

    C˘ ald˘ araru, A., Tu, J.,Effective Categorical Enumerative Invariants, arXiv:2404.01499

  9. [9]

    C˘ ald˘ araru, A., Tu, J.,Computing a categorical Gromov-Witten invariant.Compos. Math. 156 (2020), no. 7, 1275-1309

  10. [10]

    C˘ ald˘ araru, A., Costello, K., Tu, J.,Categorical Enumerative Invariants, I: String vertices., arXiv:2009.06673

  11. [11]

    Candelas, P., de la Ossa, X., C., Green, P., S., Parkes L.,A pair of Calabi-Yau manifolds as an exact soluble superconformal theory, Nucl. Phys. B 359 (1991), 21-74

  12. [12]

    Chang, H.-L., Guo, S., Li, J.,Polynomial structure of Gromov–Witten potential of quintic3-folds.Ann. of Math. (2) 194 (3) 585–645, November 2021

  13. [13]

    Chang, H.-L., Guo, S., Li, J.,BCOV’s Feynman rule of quintic 3-folds.arXiv:1810.00394 [math.AG]

  14. [14]

    Chang, H.-L., Guo, S., Li, J., Li, W.-P.,The theory of N-Mixed-Spin-P fields.Geom. Topol. 25 (2021) 775-811

  15. [15]

    Differential Geom

    Chang, H.-L., Li, J., Li, W.-P., Liu, M.,An effective theory of GW and FJRW invariants of quintic Calabi-Yau manifolds.J. Differential Geom. 120 (2022), no. 2, 251-306

  16. [16]

    Chen, Q., Janda, F., Ruan, Y.,The logarithmic gauged linear sigma model.Inventiones mathematicae, 225(3):1077– 1154, 2021

  17. [17]

    Chen, Q., Janda, F., Ruan, Y.,Punctured logarithmic R-maps.arXiv:2208.04519 [math.AG]

  18. [18]

    Chevalley, C.; Eilenberg, S.Cohomology theory of Lie groups and Lie algebras.Trans. Amer. Math. Soc. 63, (1948). 85–124

  19. [19]

    Cho, C.,Strong homotopy inner product of an A-infinity algebra.Int. Math. Res. Not. IMRN 2008, no. 13, Art. ID rnn041, 35 pp

  20. [20]

    Coates, T., Iritani, H.,A Fock Sheaf For Givental Quantization.Kyoto J. Math. 58, no. 4 (2018), 695–864

  21. [21]

    Costello, K.,Topological conformal field theories and Calabi-Yau categories.Adv. Math. 210 (2007), 165–214

  22. [22]

    Costello, K.,The partition function of a topological field theory.J. Topol. 2 (2009), no. 4, 779–822

  23. [23]

    arXiv:1201.4501

    Costello, K.; Li, S.,Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model. arXiv:1201.4501

  24. [24]

    Pi 10 (2022), Paper No

    Eriksson, D.; Freixas i Montplet, G.; Mourougane, C,On genus one mirror symmetry in higher dimensions and the BCOV conjectures.Forum Math. Pi 10 (2022), Paper No. e19, 53 pp

  25. [25]

    I.,Analytic torsion for Calabi-Yau threefolds.J

    Fang, H.; Lu, Z.; Yoshikawa, K. I.,Analytic torsion for Calabi-Yau threefolds.J. Differential Geom. 80 (2008), no. 2, 175–259

  26. [26]

    H.; Valdes-Meller, N.,Topological recursion for hyperbolic string field theory.arXiv:2409.02982

    Fırat, A. H.; Valdes-Meller, N.,Topological recursion for hyperbolic string field theory.arXiv:2409.02982

  27. [27]

    Ganatra, S.; Perutz T.; Sheridan N.,Mirror symmetry: from categories to curve counts, arXiv:1510.03839

  28. [28]

    Getzler, E.,Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology,Israel Math. Conf. Proc. 7 (1993), 1—12

  29. [29]

    Getzler, E., Kapranov, M.,Modular operads.Volume 110, Issue 1 (1998), 65-125

  30. [30]

    Givental, A.,Gromov - Witten invariants and quantization of quadratic hamiltonians, Moscow Math. J. 1 (2001) 4, 551–568

  31. [31]

    arXiv:1812.11908, 2018

    Guo, S., Janda, F., Ruan, Y.,Structure of higher genus Gromov–Witten invariants of quintic3-folds. arXiv:1812.11908, 2018

  32. [32]

    Griffiths, P.,Periods of integrals on algebraic manifolds I (Construction and Properties of the Modular Varieties), Vol. 90, No. 2 (Apr., 1968), pp. 568-626

  33. [33]

    AMS 102 (1962), 383-408

    Hochschild, G.; Kostant, B.; Rosenberg, A.,Differential forms on regular affine algebras,Trans. AMS 102 (1962), 383-408

  34. [34]

    Lecture Notes in Physics, vol 757

    Huang, M.-X., Klemm, A., Quackenbush., S.,Topological String Theory on Compact Calabi– Yau: Modularity and Boundary Conditions,In: Homological Mirror Symmetry. Lecture Notes in Physics, vol 757. Springer-Verlag, Berlin, 2009

  35. [35]

    Kaledin, D.Non-commutative Hodge-to-de-Rham degeneration via the method of Deligne-Illusie.Pure Appl. Math. Q. 4 (2008), no. 3, Special Issue: In honor of Fedor Bogomolov. Part 2, 785-875. 72

  36. [36]

    From Hodge theory to integrability and TQFT tt*-geometry, 87-174, Proc

    Katzarkov, L.; Kontsevich, M.; Pantev, T.,Hodge theoretic aspects of mirror symmetry. From Hodge theory to integrability and TQFT tt*-geometry, 87-174, Proc. Sympos. Pure Math., 78, Amer. Math. Soc., Providence, RI, 2008

  37. [37]

    Keller, B.,On the cyclic homology of ringed spaces and schemes.Documenta Mathematica 3 (1998), 177-205

  38. [38]

    157-216 (2003)

    Kontsevich, M.,Deformation quantization of Poisson manifolds, Letters of Mathematical Physics 66, pp. 157-216 (2003)

  39. [39]

    I., Homological mirror symmetry, 153-219, Lecture Notes in Phys., 757, Springer, Berlin, 2009

    Kontsevich, M.; Soibelman, Y.,Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I., Homological mirror symmetry, 153-219, Lecture Notes in Phys., 757, Springer, Berlin, 2009

  40. [40]

    Kanazawa, A.; Zhou, J.,Lectures on BCOV holomorphic anomaly equations, Fields Institute Monograph 34 (Calabi-Yau Varieties; Arithmetic, Geometry and Physics), (2015) 445-473

  41. [41]

    Advances in Mathematics, Volume 332, 9 July 2018, Pages 349-402

    Lho, H.; Pandharipande, R.,Stable quotients and the holomorphic anomaly equation. Advances in Mathematics, Volume 332, 9 July 2018, Pages 349-402

  42. [42]

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

  43. [43]

    Liu, M.,A Lecture on Holomorphic Anomaly Equations and Extended Holomorphic Anomaly Equations.Contemp. Math. 763 (2021), 191

  44. [44]

    Lunts, V.; Orlov, D.,Uniqueness of enhancement for triangulated categories.Journal of American Mathematical Society, Volume 23, Number 3, July 2010, Pages 853-908

  45. [45]

    Mirzakhani, M.,Weil-petersson volumes and intersection theory on the moduli space ofcurves,Journal of the American Mathematical Society 20 (2007), no. 1, 1-23

  46. [46]

    869-898 (2019)

    Pandharipande, R.,Cohomological Field Theory Calculations.Proceedings of the International Congress of Math- ematicians (ICM 2018), pp. 869-898 (2019)

  47. [47]

    Saito, K.,Period mapping associated to a primitive form, Publ. Res. Inst. Math. Sci. 19 (1983), no. 3, 1231-1264

  48. [48]

    Saito, K.,The higher residue pairingsK (k) F for a family of hypersurface singular points, Singularities, Part 2 (Arcata, Calif., 1981), 1983, pp. 441-463

  49. [49]

    B 423(2-3), (1994), 580–630

    Sen, A., Zwiebach, B.,Quantum background independence of closed-string field theory., Nuclear Phys. B 423(2-3), (1994), 580–630

  50. [50]

    Homotopy Relat

    Sheridan, N.,Formulae in noncommutative Hodge theory,J. Homotopy Relat. Struct. 15 (2020), no. 1, 249–299

  51. [51]

    Shklyarov, D.,Hirzebruch-Riemann-Roch-type formula for DG algebras, Proceedings of the London Mathematical Society (2013) 106 (1): 1-32

  52. [52]

    To¨ en, B.,Saturated dg categories III,Lecture notes from Workshop on Homological Mirror Symmetry and Related Topics, University of Miami, January 18-23, 2010: available at https://math.berkeley.edu/ auroux/frg/miami10- notes/ (2010)

  53. [53]

    Tu, J.,Categorical Saito theory, II: Landau-Ginzburg orbifolds.Advances in Mathematics Volume 384, 25 June 2021, 107744

  54. [54]

    Tu, J.,Categorical enumerative invariants of the ground field.arXiv:2103.01383

  55. [55]

    Tu, J.,A remark on the B-model Comparison of Hodge structures.arXiv:2404.13805

  56. [56]

    Wahl, N.; Westerland, C.,Hochschild homology of structured algebras.Adv. Math. 288 (2016), 240-307

  57. [57]

    High Energy Phys

    Yamaguchi, S.; Yau, S.-T.,Topological string partition functions as polynomials.In: J. High Energy Phys. 7 (2004), pp. 047, 20. issn: 1126-6708,1029-8479. Yefeng Shen, University of Oregon, Eugene, OR 97403, USA. Junwu Tu, Institute of Mathematical Sciences, ShanghaiTech University, Shanghai, 201210, China