ScalingStacks

2.4. A glimpse of mirror symmetry [03DF]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

2.4. A glimpse of mirror symmetry

The invariance of Σ\Sigma and the discriminant locus DD with respect to the duality between triangulated polytopes Δ\Delta and Δ∨\Delta^{\vee} is manifest. The vertices of DD change the type from (k,l)(k,l) to (l,k)(l,k). The nodes of the graph Γ\Gamma also interchange the UU- and VV-types. And if integral bases associated with vertices of Γ\Gamma are chosen to be dual to the original ones, then the transition matrices fv​wf_{vw} will be replaced by the transpose inverses (fv​wt)−1(f_{vw}^{t})^{-1}. Thus, on the same manifold Y=Σ\DY=\Sigma\backslash D the two dual to each other integral affine structures are realized.

Let us introduce notations for the following tori:

𝕋:=ℝd/ℤd,𝕋v:=(ℝvd)/(ℤvd),𝕋/w:=(ℝd/w)/(ℤd/w).\mathbb{T}:=\mathbb{R}^{d}/\mathbb{Z}^{d},\qquad\mathbb{T}_{v}:=(\mathbb{R}^{d}_{v})/(\mathbb{Z}^{d}_{v}),\qquad\mathbb{T}/w:=(\mathbb{R}^{d}/w)/(\mathbb{Z}^{d}/w).

For ⟨v,w⟩=1\langle v,w\rangle=1, the transition isomorphism fv​w∈Hom⁡(ℤvd,ℤd/w)f_{vw}\in\mathrm{Hom}(\mathbb{Z}^{d}_{v},\mathbb{Z}^{d}/w) induces an isomorphism of the tori, which we will denote by the same symbol

fv​w:𝕋v→𝕋/w.f_{vw}\colon\mathbb{T}_{v}\rightarrow\mathbb{T}/w.

The torus fibration over Y=Σ\DY=\Sigma\backslash D is constructed as follows. Using the affine integral structure on YY one can choose a covariantly constant (with respect to the SLℤ\operatorname{SL}_{\mathbb{Z}}-connection) lattice Tℤ​YT^{\mathbb{Z}}Y in the tangent bundle T​YTY and form the relative quotient W→YW\rightarrow Y with the fibers Wq=Tq​Y/Tqℤ​YW_{q}=T_{q}Y/T^{\mathbb{Z}}_{q}Y. Thus, the fibers are Wq=𝕋vW_{q}=\mathbb{T}_{v} when q∈Uvq\in U_{v}, and Wq=𝕋/wW_{q}=\mathbb{T}/w when q∈Vwq\in V_{w}, with the canonical identifications fv​w:𝕋v→𝕋/wf_{vw}:\mathbb{T}_{v}\rightarrow\mathbb{T}/w for q∈Uv∩Vwq\in U_{v}\cap V_{w}.

Let N⁡(D)⊂ΣN(D)\subset\Sigma be a regular neighborhood of the discriminant locus. Let Wϵ→Σ\N⁡(D)W^{\epsilon}\to\Sigma\backslash N(D) denote the torus fibration associated to the original integral affine structure restricted to the complement of N⁡(D)N(D) in Σ\Sigma. In the next section we will show that the torus fibration WϵW^{\epsilon} on Σ\N⁡(D)\Sigma\backslash N(D) embeds differentiably into HsH_{s} for sufficiently large ss. The dual torus fibration by symmetry embeds into the mirror hypersurface. This is the topological part of the mirror symmetry statement in the version of Kontsevich and Soibelman [KS01].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.