ConceptComplete

Enumerative Applications - Examples and Constructions

Explicit enumerative calculations via mirror symmetry have produced landmark results, verifying the theory and computing invariants beyond the reach of classical methods. These examples showcase the power of combining algebraic geometry, differential equations, and mathematical physics.

ExampleThe Quintic Threefold - Complete Calculation

For the quintic X5P4X_5 \subset \mathbb{P}^4, the degree dd rational curve counts are:

Low degrees (computed via mirror symmetry, 1991):

  • n1=2875n_1 = 2875 (lines)
  • n2=609250n_2 = 609250 (conics)
  • n3=317206375n_3 = 317206375 (cubics)
  • n4=242467530000n_4 = 242467530000 (quartics)

Method:

  1. Mirror quintic has Picard-Fuchs operator L=θ45z(5θ+1)(5θ+2)(5θ+3)(5θ+4)\mathcal{L} = \theta^4 - 5z(5\theta+1)(5\theta+2)(5\theta+3)(5\theta+4)
  2. Fundamental period: ω0(z)=n=0(5n)!(n!)5zn\omega_0(z) = \sum_{n=0}^\infty \frac{(5n)!}{(n!)^5} z^n
  3. Mirror map: q(z)=exp(2πiω1/ω0)q(z) = \exp(2\pi i \omega_1/\omega_0) where ω1\omega_1 has logarithmic term
  4. Invert to get z(q)z(q) and expand ω0(z(q))\omega_0(z(q)) in qq
  5. Extract coefficients from F(q)=ndLi3(qd)F(q) = \sum n_d \text{Li}_3(q^d)

This calculation, originally done by Candelas-de la Ossa-Green-Parkes, was later rigorously verified by mathematicians.

Local Calabi-Yau Geometries

Non-compact Calabi-Yau manifolds provide tractable examples with rich enumerative structure.

ExampleLocal $\mathbb{P}^2$

The total space X=KP2=OP2(3)X = K_{\mathbb{P}^2} = \mathcal{O}_{\mathbb{P}^2}(-3) counts curves in P2\mathbb{P}^2 with weights from the normal bundle. The generating function is: F(q)=d=1NdLi3(qd)F(q) = \sum_{d=1}^\infty N_d \text{Li}_3(q^d)

where Nd=1d3kdμ(d/k)k2nkP2N_d = \frac{1}{d^3}\sum_{k|d} \mu(d/k) k^2 n_k^{\mathbb{P}^2}.

For P2\mathbb{P}^2, the counts ndP2=(3d1)!/(d!)3n_d^{\mathbb{P}^2} = (3d-1)!/(d!)^3 are classical (Kontsevich's formula), allowing explicit computation of NdN_d.

Toric Manifolds

Toric geometry provides systematic enumerative calculations.

ExampleToric Surfaces

For toric surfaces, mirror symmetry relates:

  • A-side: Curve counts on toric surface SPS_P for polytope PP
  • B-side: Oscillatory integrals on Landau-Ginzburg mirror

The generating function: F(q)=γeW/zΩF(q) = \int_\gamma e^{W/z} \Omega

where WW is the superpotential encoding toric data and γ\gamma is a Lefschetz thimble.

Hypersurfaces in Weighted Projective Spaces

Weighted projective spaces generalize the quintic calculation.

ExampleOctic in $\mathbb{P}(1,1,2,2,2)$

A degree 8 hypersurface in weighted projective space P(1,1,2,2,2)\mathbb{P}(1,1,2,2,2) is Calabi-Yau. Mirror symmetry gives:

  • Picard-Fuchs operator determined by weights
  • Periods computable via hypergeometric functions
  • Curve counts extracted from period expansions

Low degree counts have been computed and verified against localiz ation calculations.

Complete Intersections

CICYs (complete intersection Calabi-Yau) provide a large class of examples.

ExampleBi-cubic in $\mathbb{P}^2 \times \mathbb{P}^2$

The bi-cubic defined by two degree (3,3)(3,3) polynomials has:

  • Two Kähler parameters (one for each P2\mathbb{P}^2 factor)
  • Mirror with two complex structure parameters
  • Two-variable generating function: F(q1,q2)=d1,d2nd1,d2q1d1q2d2F(q_1, q_2) = \sum_{d_1, d_2} n_{d_1,d_2} q_1^{d_1} q_2^{d_2}

Computed via periods solving a GKZ hypergeometric system.

Higher Genus Counts

Mirror symmetry extends to higher genus via BCOV recursion.

ExampleGenus 1 on the Quintic

The genus 1 Gromov-Witten invariants n1,dn_{1,d} are computed from: F1(q)=124log(Δ(q))F_1(q) = -\frac{1}{24}\log(\Delta(q))

where Δ\Delta is a modular form related to periods. The first few values:

  • n1,1=0n_{1,1} = 0
  • n1,2=5n_{1,2} = -5
  • n1,3=1695n_{1,3} = -1695

Negative values reflect virtual contributions from obstructed curves.

Verification Methods

Multiple techniques confirm mirror predictions:

  1. Localization: Toric actions reduce integrals to finite sums
  2. Schubert calculus: Classical methods for low degree
  3. Quantum cohomology: Associativity constraints (WDVV)
  4. Modularity: Number-theoretic checks on generating functions

These independent verifications established mirror symmetry as mathematically rigorous, transitioning from physics conjecture to proven mathematics.