Mirror Symmetry

⚡ Key Takeaways

Mirror symmetry is a duality, originating in string theory, asserting that for many Calabi–Yau manifolds $X$ there exists a "mirror" Calabi–Yau $X^\vee$ whose complex (algebraic) geometry encodes the symplectic (enumerative) geometry of $X$ , and vice versa. Key result in words: counting rational curves on $X$ (a hard symplectic problem) is computed by classical period integrals (variation of Hodge structure) on $X^\vee$ . Where it applies: Calabi–Yau threefolds, Fano/toric varieties via Landau–Ginzburg models, and broadly across algebraic geometry, symplectic topology, and theoretical physics. Who/when: conjectured by physicists (Dixon; Lerche–Vafa–Warner; Greene–Plesser) in the late 1980s; spectacularly confirmed by Candelas–de la Ossa–Green–Parkes (1991) for the quintic threefold; formalized by Kontsevich (1994) and Strominger–Yau–Zaslow (1996).

💡 The Core Insight

A string propagating on a Calabi–Yau $X$ "sees" only the conformal field theory (CFT) attached to $X$ , not $X$ itself. That CFT carries two natural $\mathfrak{N}=2$ supersymmetry algebras whose roles can be exchanged by a trivial relabeling $(Q_+ \leftrightarrow \bar Q_+)$ . On the geometric side this relabeling swaps the symplectic data (Kähler moduli, $H^{1,1}$ ) with the complex-structure data (complex moduli, $H^{n-1,1}$ ). A second manifold $X^\vee$ realizing the relabeled CFT is the mirror. Hence two different geometries give the same physics, and quantities that are deep on one side become elementary on the other.

DefinitionCalabi–Yau Manifold

A Calabi–Yau $n$ -fold is a compact Kähler manifold $X$ of complex dimension $n$ with trivial canonical bundle, $K_X \cong \mathcal{O}_X$ , equivalently with a nowhere-vanishing holomorphic $n$ -form $\Omega \in H^0(X, \Omega_X^n)$ . By Yau's theorem it admits a unique Ricci-flat Kähler metric in each Kähler class. The relevant moduli are:

Complex-structure moduli, dimension $h^{n-1,1}(X)$ , deformations of $\Omega$ ;
Complexified Kähler moduli, dimension $h^{1,1}(X)$ , parametrizing $B + i J$ where $J$ is the Kähler form and $B$ the B-field.

DefinitionMirror Pair (Hodge-Theoretic Form)

Two Calabi–Yau $n$ -folds $X$ and $X^\vee$ form a mirror pair if their Hodge diamonds are reflected across the diagonal:

1

\quad h^{p,q}(X) \;=\; h^{n-p,\,q}(X^\vee), \qquad 0 \le p,q \le n.

Derivation hint: the CFT relabeling $Q_+ \leftrightarrow \bar Q_+$ acts on the U(1) R-charges $(q,\bar q)$ as $(q,\bar q)\mapsto(-q,\bar q)$ ; geometric (a,c)-ring elements of charge $(p,q)$ map to (c,c)-ring elements, exchanging $H^{p,q}$ with $H^{n-p,q}$ . In particular for threefolds $(n=3)$ the Euler characteristics satisfy

2

\quad \chi(X^\vee) \;=\; -\,\chi(X), \qquad \chi = 2\big(h^{1,1} - h^{2,1}\big).

Derivation hint: substitute $h^{1,1}\leftrightarrow h^{2,1}$ into $\chi = 2(h^{1,1}-h^{2,1})$ valid for simply-connected CY3.

TheoremThe Mirror Theorem (Givental; Lian–Liu–Yau, 1996–97)

Let $X \subset \mathbb{P}^4$ be the quintic threefold. Define the A-model generating function of genus-0 Gromov–Witten invariants $n_d$ (instanton numbers) through the prepotential, and the B-model Yukawa coupling $Y(q)$ obtained from periods of the mirror $X^\vee$ . Then the two coincide after the mirror map $q = q(t)$ :

3

\quad Y_A(q) \;=\; 5 + \sum_{d\ge1} n_d\, d^3 \frac{q^d}{1-q^d} \;=\; Y_B\big(q(\tau)\big),

where the B-side $Y_B$ is the normalized triple period and $q(\tau)$ is the exponentiated mirror map. The first instanton numbers are $n_1=2875,\ n_2=609250,\ n_3=317206375,\dots$

DefinitionPicard–Fuchs Equation of the Mirror Quintic

The mirror quintic family $X_\psi^\vee$ (the Greene–Plesser orbifold of $\sum x_i^5 - 5\psi\prod x_i = 0$ ) has its holomorphic period $\varpi_0(z)$ , with $z=(5\psi)^{-5}$ , annihilated by the hypergeometric operator

4

\quad \mathcal{L} \;=\; \theta^4 \;-\; 5z\,(5\theta+1)(5\theta+2)(5\theta+3)(5\theta+4), \qquad \theta = z\frac{d}{dz}.

Derivation hint: $\mathcal{L}$ is the Gel'fand–Kapranov–Zelevinsky (GKZ) hypergeometric operator for the toric ambient; alternatively expand $\varpi_0=\sum_m \frac{(5m)!}{(m!)^5}z^m$ and check $\theta^4\varpi_0 = 5z(5\theta+1)\cdots(5\theta+4)\varpi_0$ .

ProofFrom Periods to Curve Counts (Outline of the CDOGP Computation)

Step 1 — Solve the Picard–Fuchs equation. Near $z=0$ the operator $\mathcal{L}$ of [4] has a maximally unipotent monodromy point. Its four solutions take Frobenius form

5

\quad \varpi_0,\quad \varpi_1=\varpi_0\log z + \cdots,\quad \varpi_2,\quad \varpi_3,

with $\varpi_0(z)=\sum_{m\ge0}\frac{(5m)!}{(m!)^5}z^m$ . Derivation hint: apply the Frobenius method to a fourth-order ODE with a regular singular point whose indicial equation has a quadruple root $0$ , producing logarithms of degrees $0,1,2,3$ .

Step 2 — Define the mirror map. The flat coordinate on Kähler moduli is the ratio of the single-log to the holomorphic period:

6

\quad t(z) \;=\; \frac{\varpi_1(z)}{\varpi_0(z)} = \log z + \frac{770}{1}z + \cdots, \qquad q = e^{2\pi i\, t}\ \text{(suitably normalized)}.

Derivation hint: the asymptotics $t\sim \log z$ identify $t$ with the complexified Kähler parameter $B+iJ$ ; invert the series $z(q)$ by Lagrange inversion.

Step 3 — Compute the B-model Yukawa coupling. Using $\Omega_\psi$ and Griffiths transversality, the triple coupling is

7

\quad Y_{zzz} \;=\; -\!\int_{X^\vee}\!\Omega \wedge \partial_z^3\Omega \;=\; \frac{5}{(2\pi i)^3}\,\frac{1}{1-5^5 z}\,\frac{1}{\varpi_0^2}\cdot(\text{Wronskian normalization}).

Derivation hint: differentiate $\int \Omega\wedge\partial_z^k\Omega = 0$ for $k<3$ (Griffiths transversality), reduce $\partial_z^4\Omega$ via $\mathcal{L}$ , and integrate the resulting first-order ODE for $Y_{zzz}$ .

Step 4 — Change to flat coordinates. Convert to the $t$ -coordinate and normalize by $\varpi_0$ :

8

\quad Y_{ttt} \;=\; \frac{1}{\varpi_0^2}\Big(\frac{dz}{dt}\Big)^3 Y_{zzz}.

Derivation hint: the Yukawa coupling is a section of (line bundle) $^{\otim)}$ ; the factor $\varpi_0^{-2}$ removes the Kähler ambiguity and $(dz/dt)^3$ is the chain rule for the third covariant derivative.

Step 5 — Match to the A-model and extract $n_d$ . Expanding [8] in $q$ and equating with [3] gives the integers $n_d$ . The classical term $5 = \int_X c_1(\mathcal{O}(1))^3$ is the degree of the quintic; the rest is the instanton sum. Derivation hint: read off coefficients of $q^d/(1-q^d)$ , the multiple-cover formula $\sum_{k|d}n_{d/k}/k^3$ being already incorporated by the Aspinwall–Morrison factor $d^3$ . The agreement of [3], originally a physical prediction, was later proven rigorously by Givental and by Lian–Liu–Yau using equivariant localization on moduli of stable maps. $\qquad\blacksquare$

∎

BG

Brian Greene & Ronen Plesser

1990

Greene and Plesser gave the first systematic construction of mirror pairs by quotienting a Calabi–Yau by a discrete group of phase symmetries that act trivially on the worldsheet CFT (the Greene–Plesser orbifold). For the Fermat quintic they identified the mirror as the resolution of $\{\sum x_i^5 = 5\psi\,x_0x_1x_2x_3x_4\}/(\mathbb{Z}_5)^3$ . This explicit recipe transformed mirror symmetry from a numerological coincidence (matching Hodge numbers across Calabi–Yau databases) into a usable computational engine, and it set the stage for the 1991 quintic prediction.

🧠 Intuition

Think of a Calabi–Yau as carrying two independent "shape knobs": one for size/symplectic form (how big the holes are, controlled by Kähler moduli) and one for complex shape (how the holes are tilted, controlled by complex moduli). Quantum-mechanically, a string is too dumb to tell which knob is which — it only feels the resulting energy spectrum. Mirror symmetry is the statement that there's a second manifold whose two knobs are wired in the opposite order, yet produces the identical spectrum. Now here is the leverage: quantum corrections (worldsheet instantons = holomorphic curves) appear in the symplectic sector but the complex sector is exact at tree level (no instantons, because complex deformations don't wrap curves). So if you want the hard, instanton-corrected answer on $X$ , you compute the easy, classical answer on $X^\vee$ . It is like discovering that the value of a divergent, instanton-summed series equals a simple ratio of hypergeometric functions on a mirror world.

Figure

A-model ↔ B-model exchange across a mirror pair

```svg

```

ExampleInstanton Numbers of the Quintic from the Picard–Fuchs Equation

Given. The operator $\mathcal{L}=\theta^4 - 5z(5\theta+1)(5\theta+2)(5\theta+3)(5\theta+4)$ of [4], $z=(5\psi)^{-5}$ .

Step 1. Holomorphic period: $\varpi_0 = \sum_m \frac{(5m)!}{(m!)^5}z^m = 1 + 120 z + 113400 z^2 + \cdots$ .

Step 2. Log period and mirror map: $t = \log z + 5(120)z + \cdots$ , giving the inverse series $z(q) = q - 770 q^2 + \cdots$ with $q=e^{t}$ (normalized).

Step 3. B-model Yukawa from [7]–[8]:

Y_{ttt} = \frac{5}{1-5^5 z}\,\frac{1}{\varpi_0^2}\Big(\frac{z'}{1}\Big)^3 \Big|_{z=z(q)} = 5 + 2875\,q + 4876875\,q^2 + \cdots

Step 4. Match to the A-model formula [3], $Y=5+\sum n_d d^3 \frac{q^d}{1-q^d}$ :

Coefficient of $q$ : $n_1 \cdot 1^3 = 2875 \Rightarrow n_1 = 2875$ .
Coefficient of $q^2$ : $n_1\cdot1^3 + n_2\cdot 2^3 = 4876875 \Rightarrow 8 n_2 = 4876875-2875 = 4874000 \Rightarrow n_2 = 609250$ .

Answer.

\boxed{\,n_1 = 2875,\quad n_2 = 609250,\quad n_3 = 317206375\ \text{(rational curves of given degree)}\,}

These are dimensionless counts (genus-0 Gromov–Witten / BPS instanton numbers).

ExampleHodge Diamond Reflection for the Quintic Pair

Given. The quintic threefold $X$ has $h^{1,1}(X)=1$ , $h^{2,1}(X)=101$ .

Step 1. Apply [1] with $n=3$ : $h^{1,1}(X^\vee)=h^{2,1}(X)=101$ , and $h^{2,1}(X^\vee)=h^{1,1}(X)=1$ .

Step 2. Euler characteristics from [2]: $\chi(X)=2(1-101)=-200$ , $\chi(X^\vee)=2(101-1)=+200$ .

Step 3. Check the reflection: $\chi(X^\vee)=-\chi(X)$ ✓. The mirror has one complex-structure modulus $\psi$ (matching the single Kähler modulus of $X$ ) — exactly the one-parameter family used in [4].

Answer.

\boxed{\,(h^{1,1},h^{2,1})(X)=(1,101)\ \longleftrightarrow\ (h^{1,1},h^{2,1})(X^\vee)=(101,1),\quad \chi=\mp200\,}

⚠️ Common mistake

Mirror symmetry is not a homeomorphism or diffeomorphism. $X$ and $X^\vee$ are generally topologically distinct manifolds — their Betti numbers $b_2, b_4$ are swapped, so they are not even homotopy equivalent in general. The statement is an equivalence of physical theories / categorical structures, not of underlying spaces. Likewise, the "mirror map" $q=q(t)$ is a transcendental change of coordinates between moduli spaces, not an isomorphism of varieties; naively identifying $z$ with $q$ gives the wrong instanton numbers.

CounterexampleNot Every Calabi–Yau Has a (Geometric) Mirror

The mirror of a rigid Calabi–Yau threefold $X$ (one with $h^{2,1}(X)=0$ , hence no complex deformations) would need $h^{1,1}(X^\vee)=0$ — but a Kähler manifold must have $h^{1,1}\ge1$ . So a rigid Calabi–Yau cannot have a Calabi–Yau mirror in the ordinary sense. The resolution is that its "mirror" lives outside ordinary geometry: it is a Landau–Ginzburg model or a non-geometric CFT. This shows mirror symmetry is fundamentally a statement about CFTs/categories, with manifolds being only special, geometric realizations.

connection

Mirror symmetry sits at the crossroads of several theories. Kontsevich's <span class="wiki-link-missing">Homological Mirror Symmetry</span> reformulates it as an equivalence of triangulated categories, $D^b\mathrm{Coh}(X^\vee) \simeq D^\pi \mathrm{Fuk}(X)$ , replacing numerical curve counts with a categorical statement and tying it to Derived Categories and the Fukaya Category. The <span class="wiki-link-missing">Strominger–Yau–Zaslow Conjecture</span> gives a geometric mechanism: Calabi–Yau manifolds admit special Lagrangian $T^n$ -fibrations, and mirroring is fiberwise dualization of these tori (T-duality), linking the subject to Special Lagrangian Submanifolds and integrable systems. On the computational side it is inseparable from Gromov–Witten Invariants, Variation of Hodge Structure, and the Picard–Fuchs Equations coming from Toric Geometry via the Batyrev construction over reflexive polytopes. Physically it descends from $\mathfrak{N}=(2,2)$ Superconformal Field Theory and the Topological String.

🔬 Where this appears

⏳ History

- 1985. Candelas–Horowitz–Strominger–Witten show that

\mathfrak{N}=1

supersymmetric string compactification requires a Calabi–Yau threefold, focusing attention on these spaces.

- 1987–88. L. Dixon, and independently Lerche–Vafa–Warner, observe that the

\mathfrak{N}=2

worldsheet algebra admits an automorphism exchanging the (a,c)- and (c,c)-rings, predicting paired CFTs — the first hint of mirror symmetry.

- 1989. Candelas–Lynker–Schimmrich scan large databases of Calabi–Yau hypersurfaces in weighted projective space and find a striking symmetry of the

(h^{1,1},h^{2,1})

plot under reflection.

- 1990. Greene and Plesser construct mirror pairs explicitly via orbifolding by phase symmetries, proving the duality at the level of CFTs for Fermat-type families.

- 1991. Candelas–de la Ossa–Green–Parkes compute the mirror quintic periods, predict the instanton numbers

n_1=2875,\ n_2=609250,\dots

, and verify

n_1, n_2

against then-known algebraic geometry — a landmark prediction.

- 1993. Batyrev gives the general toric construction of mirror pairs via reflexive polytopes and polar duality; Batyrev–Borisov extend it to complete intersections (1994).

- 1994. Kontsevich, in his ICM address, formulates Homological Mirror Symmetry as an equivalence of derived/Fukaya categories.

- 1996. Strominger, Yau, and Zaslow propose the SYZ picture: mirror symmetry as T-duality along special Lagrangian torus fibrations.

- 1996–97. Givental, and Lian–Liu–Yau, give rigorous proofs of the mirror theorem (the CDOGP prediction) for toric complete intersections, turning the physics prediction into a theorem.

- 2000s–2010s. Gross–Siebert develop an algebraic-geometric reconstruction program; Seidel, Abouzaid, and others prove HMS in many cases (quartic K3, projective spaces, genus-2 curves).

open-problem

Despite enormous progress, the conjecture is not fully proven in general. (1) Homological mirror symmetry is established only for special families (abelian varieties, certain toric and Fano cases, some hypersurfaces); a general proof for arbitrary Calabi–Yau pairs is open, and the precise definition of the Fukaya category (convergence, $\mathfrak{A}_\infty$ -obstructions, bulk deformations) remains technically delicate. (2) The SYZ conjecture's analytic core — existence of special Lagrangian $T^n$ -fibrations and control of their singular fibers — is largely unproven; instanton corrections to the naive fiberwise dualization require the full Gross–Siebert machinery of scattering diagrams. (3) Higher-genus mirror symmetry (BCOV theory and the holomorphic anomaly equations) lacks a complete mathematical foundation, though Costello–Si Li and Fan–Jarvis–Ruan have made deep progress. (4) Mirror symmetry for non-Calabi–Yau spaces (Fano via Landau–Ginzburg, general type) is an active frontier with no unified statement. (5) Identifying the actual mirror manifold from intrinsic data (beyond toric/orbifold recipes) is not algorithmic in general.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also