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.
For the quintic , the degree rational curve counts are:
Low degrees (computed via mirror symmetry, 1991):
- (lines)
- (conics)
- (cubics)
- (quartics)
Method:
- Mirror quintic has Picard-Fuchs operator
- Fundamental period:
- Mirror map: where has logarithmic term
- Invert to get and expand in
- Extract coefficients from
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.
The total space counts curves in with weights from the normal bundle. The generating function is:
where .
For , the counts are classical (Kontsevich's formula), allowing explicit computation of .
Toric Manifolds
Toric geometry provides systematic enumerative calculations.
For toric surfaces, mirror symmetry relates:
- A-side: Curve counts on toric surface for polytope
- B-side: Oscillatory integrals on Landau-Ginzburg mirror
The generating function:
where is the superpotential encoding toric data and is a Lefschetz thimble.
Hypersurfaces in Weighted Projective Spaces
Weighted projective spaces generalize the quintic calculation.
A degree 8 hypersurface in weighted projective space 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.
The bi-cubic defined by two degree polynomials has:
- Two Kähler parameters (one for each factor)
- Mirror with two complex structure parameters
- Two-variable generating function:
Computed via periods solving a GKZ hypergeometric system.
Higher Genus Counts
Mirror symmetry extends to higher genus via BCOV recursion.
The genus 1 Gromov-Witten invariants are computed from:
where is a modular form related to periods. The first few values:
Negative values reflect virtual contributions from obstructed curves.
Verification Methods
Multiple techniques confirm mirror predictions:
- Localization: Toric actions reduce integrals to finite sums
- Schubert calculus: Classical methods for low degree
- Quantum cohomology: Associativity constraints (WDVV)
- Modularity: Number-theoretic checks on generating functions
These independent verifications established mirror symmetry as mathematically rigorous, transitioning from physics conjecture to proven mathematics.