Geometry

Mirror Symmetry

Цели урока

  • Understand Calabi-Yau manifolds and the mirror symmetry phenomenon
  • Learn how GW invariants on one CY equal period integrals on the mirror
  • Grasp Kontsevich's HMS as an equivalence of derived/Fukaya categories
  • Explore the SYZ conjecture: mirror symmetry via special Lagrangian fibrations

Предварительные знания

  • Gromov-Witten invariants and moduli spaces of curves
  • Symplectic geometry - Fukaya category lives here
  • Kahler/complex geometry - coherent sheaves and periods
  • geo-25
  • geom-23
  • dg-28

How can two geometrically different spaces produce identical physical theories? The answer reshapes both mathematics and physics.

  • Mirror symmetry originated in string theory: type IIA and IIB superstrings on mirror CY produce identical physics
  • Candelas et al. (1991) predicted 317206375 rational curves of degree 3 on the quintic - a number later confirmed by algebraic geometers
  • HMS provides a new way to prove results about derived categories by switching sides

Historical Background

1985: Calabi-Yau manifolds enter string theory as compactification spaces 1991: Candelas-de la Ossa-Green-Parkes predict genus-0 GW invariants for the quintic 1994: Kontsevich proposes Homological Mirror Symmetry at ICM 1996: Strominger-Yau-Zaslow conjecture: mirror = dual torus fibration

Mirror Symmetry: Calabi-Yau Manifolds

Two Calabi-Yau 3-folds X and X-check form a mirror pair. The quintic threefold X has Hodge numbers h^{1,1}(X) = 1 and h^{2,1}(X) = 101. What are the corresponding Hodge numbers of the mirror X-check?

Mirror symmetry exchanges the Kahler moduli (counted by h^{1,1}) and complex-structure moduli (counted by h^{2,1}) of a CY 3-fold: h^{1,1}(X) = h^{2,1}(X-check) and vice versa. So the quintic with (1, 101) mirrors to (101, 1). Option A would mean X is its own mirror, which holds only for self-mirror CYs (not the quintic). Option C would double both moduli spaces, which violates the swap. Option D would mean a rigid CY with no moduli, which contradicts the 101-parameter family of complex structures on the quintic.

GW Invariants via Period Integrals

What is the role of the mirror map t(z) = pi_1(z)/pi_0(z) in extracting GW invariants from periods?

The mirror map is the change of coordinates between the complex-structure modulus z on X-check and the Kahler modulus t on X. After exponentiating to q = exp(t), the period integral on X-check expanded in q has coefficients that match the genus-0 GW invariants N_d of X (e.g. N_1 = 2875, N_3 = 317206375 for the quintic). Option A confuses the map with the final invariant. Option C is wrong: Picard-Fuchs solutions involve hypergeometric series, not elementary functions. Option D misdescribes the mirror map - it is a coordinate identification, not a self-symmetry.

Homological Mirror Symmetry (Kontsevich)

Kontsevich's Homological Mirror Symmetry conjecture asserts an equivalence between two categories attached to a mirror pair (X, X-check). Which equivalence does it state?

HMS pairs the symplectic A-side (Fukaya category, with Lagrangian submanifolds as objects and Floer cochain complexes as morphisms) with the complex-algebraic B-side (derived category of coherent sheaves on X-check), as A-infinity categories. Option B is far too weak: ordinary vector bundles miss derived/A-infinity structure. Option C is an old observation that holds at the level of Hodge numbers, but HMS is categorical and much deeper. Option D is false: there is no isomorphism between these large symmetry groups; HMS lives at the level of categories of objects, not groups of automorphisms.

SYZ Conjecture and Special Lagrangians

According to the Strominger-Yau-Zaslow (SYZ) conjecture, how is the mirror X-check geometrically constructed from a Calabi-Yau n-fold X near the large complex structure limit?

SYZ gives mirror symmetry a geometric content: near the large complex structure limit, a CY n-fold admits a fibration over an n-dimensional base by special Lagrangian tori (the calibration condition Im(Omega|_L) = 0 picks out these fibers); the mirror is obtained by replacing each T^n fiber by its dual torus T-hat = H^1(T, R/Z). Option A would give a manifold with the same Hodge numbers as X, not the mirror. Option B is one explicit construction of mirror pairs (Greene-Plesser orbifold for the quintic family) but is not the general SYZ statement. Option D produces a birational modification, unrelated to mirror duality.

Connections to Other Topics

Mirror symmetry unifies string theory, homological algebra, and complex geometry.

  • Enumerative Geometry: Kontsevich's Recursion and Gromov-Witten Invariants — Mirror symmetry gives explicit formulas for Gromov-Witten invariants
  • Symplectic Geometry — Symplectic side of mirror symmetry is the Fukaya category
  • Derived Algebraic Geometry: Introduction — Modern formulation uses derived categories of coherent sheaves

Итоги

  • Mirror symmetry pairs CY manifolds X and X-check by swapping Hodge numbers h^{1,1} and h^{2,1}
  • Genus-0 GW invariants on X equal period integrals on X-check via the mirror map
  • HMS (Kontsevich 1994): Fuk(X) is equivalent to D^b Coh(X-check) as A-infinity categories
  • SYZ interprets mirror symmetry geometrically as passing to dual torus fibrations

Вопросы для размышления

  • Why do two geometrically unrelated CY manifolds produce the same physics?
  • HMS has been proved for tori and K3 surfaces - what are the main obstacles for CY 3-folds?
  • The SYZ fibration is only conjectural in general - what happens at singular fibers?

Связанные уроки

  • geo-25 — Gromov-Witten invariants are the subject of mirror symmetry
  • geom-23 — Symplectic geometry forms the A-side of mirror symmetry
  • dg-28 — Kahler geometry forms the B-side of mirror symmetry
  • geo-27 — Tropical geometry connects to CY degenerations
  • geo-29 — Derived algebraic geometry formalizes HMS
Mirror Symmetry

0

1

Sign In