ConceptComplete

SYZ Conjecture and T-Duality - Examples and Constructions

Explicit constructions of SYZ fibrations provide computational laboratories for understanding mirror symmetry. While full SYZ fibrations on Calabi-Yau threefolds remain elusive, partial results and analogous constructions illuminate the general theory.

ExampleTorus Fibered K3 Surfaces

Many K3 surfaces admit elliptic fibrations π:SP1\pi: S \to \mathbb{P}^1. For special choices, these are SYZ fibrations with:

  • Base: B=P1B = \mathbb{P}^1
  • Fibers: Elliptic curves EbE_b for bP1b \in \mathbb{P}^1
  • Discriminant: 24 points where fibers degenerate (Kodaira classification)

The mirror K3 SS^\vee has dual elliptic fibration with swapped Picard lattice polarizations. The discriminant configurations match, reflecting T-duality symmetry.

Toric Calabi-Yau and Moment Maps

Toric geometryProvides the clearest SYZ examples where fibrations can be constructed explicitly.

DefinitionToric SYZ Fibration

For a toric Calabi-Yau XΣX_\Sigma, the moment map μ:XΣP\mu: X_\Sigma \to P to the moment polytope PP defines an SYZ fibration:

  • Base: B=PB = P (the polytope)
  • Fibers: Lagrangian tori μ1(b)\mu^{-1}(b)
  • Discriminant: Faces of PP where fibers degenerate

The mirror XΣX_{\Sigma^\vee} is the toric variety for the dual polytope/fan.

ExampleLocal $\mathbb{P}^2$

For the total space X=OP2(3)P2X = \mathcal{O}_{\mathbb{P}^2}(-3) \to \mathbb{P}^2, the moment map gives a fibration over a simplex P={(x,y,z):x,y,z0,x+y+z1}P = \{(x,y,z) : x,y,z \geq 0, x+y+z \leq 1\}. Fibers over interior points are (S1)3(S^1)^3, while boundary points have smaller-dimensional tori. The mirror is another toric variety determinedby the dual fan structure.

Gross-Siebert Program

The Gross-Siebert program provides a systematic approach to SYZ via tropical geometry and log structures.

Remark

The Gross-Siebert construction builds mirror pairs from:

  1. A singular affine manifold BB with discriminant Δ\Delta
  2. A scattering diagram encoding wall-crossing data
  3. Log structures providing algebraic models for degenerating families

This combinatorial/algebraic approach constructs mirrors without requiring the original Calabi-Yau to have a smooth SYZ fibration.

Semiflat Metrics and Quantum Corrections

Near large volume, the SYZ fibration allows explicit metric asymptotics.

DefinitionSemiflat Approximation

The semiflat metric on XX ignores quantum corrections: gsf=gB+gTng_{\text{sf}} = g_B + g_{T^n}

where gB=ijϕdtidtjg_B = \partial_i\partial_j \phi \, dt^i \otimes dt^j for a convex function ϕ\phi on BB.

Quantum corrections come from holomorphic discs: gX=gsf+O(eVol)g_X = g_{\text{sf}} + O(e^{-\text{Vol}})

These corrections are computable via counts of pseudo-holomorphic discs with Lagrangian boundary conditions.

SYZ for Hypersurfaces

Some progress has been made on SYZ for hypersurfaces in toric varieties.

ExampleQuintic Threefold SYZ

The quintic X5P4X_5 \subset \mathbb{P}^4 is conjectured to admit an SYZ fibration near large complex structure. The base is expected to be: BS3B \cong S^3

with generic fibers T3T^3. The discriminant Δ\Delta is a trivalent graph in S3S^3.

Constructing this fibration rigorously remains open, though numerical and asymptotic evidence supports its existence.

Wall-Crossing and Stability

SYZ fibrations connect to stability conditions via wall-crossing.

Remark

Crossing the discriminant ΔB\Delta \subset B induces wall-crossing in:

  • Bridgeland stability conditions on Db(Coh(X))D^b(Coh(X))
  • Special Lagrangian moduli in XX
  • Fukaya category structure under variation of complex structure

The SYZ picture provides geometric intuition for abstract categorical wall-crossing phenomena.

These constructions demonstrate SYZ in concrete settings, providing evidence for the conjecture and computational tools for mirror symmetry calculations.