Revisiting the Quantum Geometry of Torus-fibered Calabi-Yau Threefolds

Abstract: About ten years ago, Katz, Klemm and Huang conjectured that topological string amplitudes on compact, elliptically fibered Calabi-Yau threefolds at fixed base degree could be expressed in terms of meromorphic Jacobi forms for $SL(2,\mathbb{Z})$, giving access to Gromov-Witten invariants at arbitrary genus. This was later generalized to torus-fibered CY threefolds with $N$-sections, where topological string amplitudes are conjecturally governed by meromorphic Jacobi forms under the congruence subgroup $\Gamma_1(N)$. In this work, we show that these modularity properties follow from (and are equivalent to) the wave-function property of the topological string partition function $Z_{\rm top}$ under a relative conifold monodromy, implementing a particular Fourier-Mukai transformation on the derived category of coherent sheaves. In particular, we introduce a variant of $Z_{\rm top}$ which is both holomorphic and modular covariant. Under the same relative conifold monodromy, the generating series of genus 0 Gopakumar-Vafa invariants at fixed base degree is mapped to the generating series of rank 0 Donaldson-Thomas indices counting D4-D2-D0-brane bound states wrapped on the torus fiber. We show that the quasimodularity of the generating series of GV invariants matches the expected mock-modular behavior of the generating series of D4-D2-D0 indices, despite having different multi-cover contributions. We analyze and tabulate a large number of CY threefolds fibered over del Pezzo surfaces, with an $N$-section for $N\leq 5$, including several new examples beyond the realm of toric geometry.

• The paper establishes that the topological string partition function acts as a quantum wavefunction whose modular properties arise from conifold monodromies.
• It employs Fourier–Mukai transforms and derived category techniques to convert categorical symmetries into explicit Jacobi and mock modular transformations.
• The work connects fixed base degree expansions of GW, DT, and GV invariants with quasimodular forms, providing a robust framework for string duality analyses.

Quantum Geometry and Modularity of Torus-Fibered Calabi–Yau Threefolds

Introduction and Context

This work addresses the modular and Jacobi structures underlying the quantum geometry of smooth Calabi–Yau (CY) threefolds that are fibered by genus-one (torus) curves, focusing on cases with multisections of degree $N \leq 5$. Building upon conjectures and partial results on the connection between topological string amplitudes and modular forms, the paper clarifies how wavefunction properties of the topological string partition function, $Z_{\rm top}$, govern these symmetries. The equivalence between the modular (or "mock modular") transformations of topological amplitudes and monodromies in the quantum geometry is established, using both derived category techniques and explicit computations of enumerative invariants.

Wavefunction Structure and Modular Symmetries

The BCOV holomorphic anomaly equations, together with the physical interpretation of $Z_{\rm top}$ as a wavefunction on the quantized middle cohomology (for the B-model), are central. Monodromies in moduli space, notably the "relative conifold monodromy," act on $Z_{\rm top}$ via a metaplectic representation. The paper gives an explicit algebraic description of this action through the Fourier–Mukai transform, with the kernel provided by the ideal sheaf of the relative diagonal in the fiber product $X \times_B X$.

A key insight is that fixed base degree topological string partition functions—i.e., sector-wise expansions of $Z_{\rm top}$ in base curve classes—exhibit the structure of (meromorphic) Jacobi forms for the congruence subgroup $\Gamma_1(N)$. This is derived from the transformation of $Z_{\rm top}$ under the relative conifold monodromy. The monodromy acts on the fiber modulus $T$ as $T \mapsto T/(1+NT)$, and the partition function transforms according to explicit polynomial or quasi-polynomial prefactors, in accordance with the weight and index expected for Jacobi forms.

Holomorphic and Modular Polarization

The authors introduce a "modular polarization" of the wavefunction. By a specific shift of the Kähler moduli (accounting for modular and quasimodular components), $Z_{\rm top}$ becomes holomorphic and transforms covariantly without modular anomaly—this provides a variant $Z_{\text{mod}}$. In this polarization, modular anomalies are absent, and the quasimodular forms arising as generating functions for Gromov–Witten (GW) invariants are interpreted as the non-holomorphic $E_2$ polynomial completions of these modular objects.

The Laurent expansions of $Z_{\rm top}$ (or $Z_{\text{mod}}$) in the fiber direction produce generating series for Gopakumar–Vafa (GV) invariants at fixed base degree, which are quasimodular forms for $\Gamma_1(N)$, with explicit holomorphic anomaly equations arising from the underlying wavefunction structure.

Fourier–Mukai Transform, Conifold Monodromy, and Derived Categories

The mathematical underpinning relies on deeply derived category arguments: the paper demonstrates that the modularity constraints conjectured for topological string amplitudes on genus-one fibered CYs are equivalent to the requirement that the topological string partition function transforms as a metaplectic wavefunction under the relative conifold monodromy. This monodromy is compatible with a Fourier–Mukai transformation acting on $D^b\mathrm{Coh}(X)$, the derived category of coherent sheaves. The detailed description of this monodromy—its explicit matrix realization and effect on Chern characters—is provided, making the correspondence between enumerative invariants and categorical symmetries operational.

GW, DT, and BPS Invariant Modularity

A major technical result is the analysis of the interplay between Gromov–Witten (GW), Donaldson–Thomas (DT), and Gopakumar–Vafa (GV) invariants in the context of these modular symmetries:

• The generating series for fixed base degree GW invariants are shown to be quasimodular under $\Gamma_1(N)$.
• The paper translates the relative conifold monodromy into explicit relations between genus zero GW and rank zero DT invariants, mapping D2-D0 bound states to D4-D2-D0 states in the fiber.
• The quasimodularity of GW generating series matches precisely the mock modular structure predicted for the DT series, despite differing multi-cover contributions, reinforcing the proposal that S-duality and derived autoequivalences are responsible for mock-modular phenomena.

Of note, for many torus-fibered CYs (even outside the toric regime), the authors explicitly construct and tabulate topological invariants and modular generators, leveraging Eisenstein series and Eichler integrals for $\Gamma_1(N)$, with analytic control over their transformation properties.

Concrete Implementation Considerations

Given the explicit monodromy matrices, modular transformation properties, and partition function expansions, practical computation involves:

• Expansion of $Z_{\rm top}$ in the base direction, with coefficients as power series or polynomials in $q = e^{2\pi i T}$, reflecting the fiber modulus.
• For a fibration with $N$-section, identification of the appropriate congruence subgroup $\Gamma_1(N)$ and computation of its modular forms and Jacobi forms (including Eisenstein series, $\eta$-functions, and holomorphic Eichler integrals).
• Application of Fourier–Mukai transformations at the level of sheaf cohomology to reproduce the monodromy action.
• Extraction of enumerative invariants by matching the residue (or most polar part) of modular objects, controlling the asymptotics of black hole entropy or BPS index growth.

When implementing the modular structure computationally, the quasi-periodicity and modular covariance provide algebraic constraints that allow determination of higher genus/topological string amplitudes given a finite amount of input data, generalizing the recursion structures known from the holomorphic anomaly equation to the torus-fibered setting.

Numerical Checks and Model Building

The paper presents a large set of explicit CY geometries constructed as torus fibrations over del Pezzo bases, listing their intersection numbers, Euler characteristics, and fibre/base structure. Associated modular generating series are computed and matched with theoretical predictions. This facilitates the construction of testbeds for further derived category and topological string computations, especially relevant for string duality checks (F-theory/Heterotic) and BPS state counting in six-dimensional compactifications.

Implications and Outlook

Both from a mathematical and physical point of view, the results here systematize and render explicit the conjectured modular structure of the enumerative invariants associated to torus-fibered CY threefolds. This modular organization, as shown to emerge from the wavefunction/quantum geometry perspective, is pivotal for higher-genus computations and string duality analyses, as well as for investigations into the resurgent structure and non-perturbative completion of the topological string.

On the mathematical side, the equivalence between monodromy (Fourier–Mukai/derived autoequivalence) actions and modularity properties of enumerative invariants paves the way for rigorous characterization of topological string partition functions beyond traditional toric or low-degree settings.

On the physical side, the insight that modular and Jacobi symmetries originate from quantum geometric data (wavefunction behavior) indicates avenues for harnessing automorphic properties in the explicit computation and resummation of topological amplitudes, and for a phenomenological understanding of BPS spectrum and black string entropy in F-theory compactifications.

Conclusion

This paper rigorously substantiates the modular and Jacobi structures of enumerative invariants in torus-fibered Calabi–Yau threefolds, deriving them from first principles using the wavefunction property of the topological string and its categorical symmetries. The interplay between derived Fourier–Mukai autoequivalences, monodromy in quantum geometry, and modular (Jacobi or mock modular) structures of topological string amplitudes is made fully explicit, furnishing a powerful computational framework with strong implications for both mathematical physics and enumerative geometry.