B-model Categorical Enumerative Invariants and holomorphic anomaly equations
Pith reviewed 2026-06-27 19:26 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [§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.
- 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
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
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
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.
Reference graph
Works this paper leans on
-
[1]
Aganagic, M., Bouchard, V., Klemm, A.,Topological strings and (almost) modular forms.Comm. Math. Phys. 277 (2008), no. 3, 771–819
2008
-
[2]
Amorim, L., Tu, J.,On the Morita invariance of Categorical Enumerative Invariants, arXiv preprint arXiv:2209.02744
-
[3]
Barannikov, S.,Quantum Periods , I : Semi-Infinite Variations of Hodge Structures, Internat. Math. Res. Not. 23 (2001), 1243-1264
2001
-
[4]
152 (2016) 489-555
Blanc, A.,Topological K-theory of complex noncommutative spaces,Compositio Math. 152 (2016) 489-555
2016
-
[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
1993
-
[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)
1994
-
[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]
C˘ ald˘ araru, A., Tu, J.,Effective Categorical Enumerative Invariants, arXiv:2404.01499
-
[9]
C˘ ald˘ araru, A., Tu, J.,Computing a categorical Gromov-Witten invariant.Compos. Math. 156 (2020), no. 7, 1275-1309
2020
-
[10]
C˘ ald˘ araru, A., Costello, K., Tu, J.,Categorical Enumerative Invariants, I: String vertices., arXiv:2009.06673
arXiv 2009
-
[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
1991
-
[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
2021
-
[13]
Chang, H.-L., Guo, S., Li, J.,BCOV’s Feynman rule of quintic 3-folds.arXiv:1810.00394 [math.AG]
-
[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
2021
-
[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
2022
-
[16]
Chen, Q., Janda, F., Ruan, Y.,The logarithmic gauged linear sigma model.Inventiones mathematicae, 225(3):1077– 1154, 2021
2021
-
[17]
Chen, Q., Janda, F., Ruan, Y.,Punctured logarithmic R-maps.arXiv:2208.04519 [math.AG]
-
[18]
Chevalley, C.; Eilenberg, S.Cohomology theory of Lie groups and Lie algebras.Trans. Amer. Math. Soc. 63, (1948). 85–124
1948
-
[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
2008
-
[20]
Coates, T., Iritani, H.,A Fock Sheaf For Givental Quantization.Kyoto J. Math. 58, no. 4 (2018), 695–864
2018
-
[21]
Costello, K.,Topological conformal field theories and Calabi-Yau categories.Adv. Math. 210 (2007), 165–214
2007
-
[22]
Costello, K.,The partition function of a topological field theory.J. Topol. 2 (2009), no. 4, 779–822
2009
-
[23]
Costello, K.; Li, S.,Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model. arXiv:1201.4501
-
[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
2022
-
[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
2008
-
[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]
Ganatra, S.; Perutz T.; Sheridan N.,Mirror symmetry: from categories to curve counts, arXiv:1510.03839
-
[28]
Getzler, E.,Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology,Israel Math. Conf. Proc. 7 (1993), 1—12
1993
-
[29]
Getzler, E., Kapranov, M.,Modular operads.Volume 110, Issue 1 (1998), 65-125
1998
-
[30]
Givental, A.,Gromov - Witten invariants and quantization of quadratic hamiltonians, Moscow Math. J. 1 (2001) 4, 551–568
2001
-
[31]
Guo, S., Janda, F., Ruan, Y.,Structure of higher genus Gromov–Witten invariants of quintic3-folds. arXiv:1812.11908, 2018
Pith/arXiv arXiv 2018
-
[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
1968
-
[33]
AMS 102 (1962), 383-408
Hochschild, G.; Kostant, B.; Rosenberg, A.,Differential forms on regular affine algebras,Trans. AMS 102 (1962), 383-408
1962
-
[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
2009
-
[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
2008
-
[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
2008
-
[37]
Keller, B.,On the cyclic homology of ringed spaces and schemes.Documenta Mathematica 3 (1998), 177-205
1998
-
[38]
157-216 (2003)
Kontsevich, M.,Deformation quantization of Poisson manifolds, Letters of Mathematical Physics 66, pp. 157-216 (2003)
2003
-
[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
2009
-
[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
2015
-
[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
2018
-
[42]
Li, S.,BCOV theory on the elliptic curve and higher genus mirror symmetry.arXiv:1112.4063
-
[43]
Liu, M.,A Lecture on Holomorphic Anomaly Equations and Extended Holomorphic Anomaly Equations.Contemp. Math. 763 (2021), 191
2021
-
[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
2010
-
[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
2007
-
[46]
869-898 (2019)
Pandharipande, R.,Cohomological Field Theory Calculations.Proceedings of the International Congress of Math- ematicians (ICM 2018), pp. 869-898 (2019)
2018
-
[47]
Saito, K.,Period mapping associated to a primitive form, Publ. Res. Inst. Math. Sci. 19 (1983), no. 3, 1231-1264
1983
-
[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
1981
-
[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
1994
-
[50]
Homotopy Relat
Sheridan, N.,Formulae in noncommutative Hodge theory,J. Homotopy Relat. Struct. 15 (2020), no. 1, 249–299
2020
-
[51]
Shklyarov, D.,Hirzebruch-Riemann-Roch-type formula for DG algebras, Proceedings of the London Mathematical Society (2013) 106 (1): 1-32
2013
-
[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)
2010
-
[53]
Tu, J.,Categorical Saito theory, II: Landau-Ginzburg orbifolds.Advances in Mathematics Volume 384, 25 June 2021, 107744
2021
-
[54]
Tu, J.,Categorical enumerative invariants of the ground field.arXiv:2103.01383
-
[55]
Tu, J.,A remark on the B-model Comparison of Hodge structures.arXiv:2404.13805
-
[56]
Wahl, N.; Westerland, C.,Hochschild homology of structured algebras.Adv. Math. 288 (2016), 240-307
2016
-
[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
2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.