ScalingStacks

1.1.1. Generic region [03YC]

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

1.1.1. Generic region

In the generic region f:M→Bf:M\to B is a smooth proper submersion with T3T^{3} fibres. A torus fibration is called semiflat if the metric restricts to flat metrics on the tori. The Calabi-Yau structure (g,ω,Ω)(g,\omega,\Omega) on a semiflat SYZ T3T^{3}-fibration can be locally described in action-angle coordinates as

{ω=∑13d​μi∧d​θi,Ω=(det(gi​j))−1/2⋀i=13(dθi−−1gi​jdμj),g=gi​j​d​θi​d​θj+gi​j​d​μi​d​μj.\begin{cases}\omega=\sum_{1}^{3}d\mu_{i}\wedge d\theta_{i},\\ \Omega=(\det(g_{ij}))^{-1/2}\bigwedge_{i=1}^{3}(d\theta_{i}-\sqrt{-1}g_{ij}d\mu_{j}),\\ g=g^{ij}d\theta_{i}d\theta_{j}+g_{ij}d\mu_{i}d\mu_{j}.\end{cases}

Here gi​jg_{ij} is the Hessian of a real valued function φ\varphi on BB solving the real Monge-Ampère equation:

gi​j=∂2φ∂μi​∂μj,det(∂2φ∂μi​∂μj)=const.g_{ij}=\frac{\partial^{2}\varphi}{\partial\mu_{i}\partial\mu_{j}},\quad\det(\frac{\partial^{2}\varphi}{\partial\mu_{i}\partial\mu_{j}})=\text{const}.

and gi​jg_{ij} defines a metric on the base gB=gi​j​d​μi​d​μjg_{B}=g_{ij}d\mu_{i}d\mu_{j} such that f:M→Bf:M\to B is a Riemannian submersion.

The Calabi-Yau structure induce two sets of affine structures on the base BB: the symplectic moment coordinates μi\mu_{i} satisfying d​μi=−ω⁡(∂∂θi,⋅)d\mu_{i}=-\omega(\frac{\partial}{\partial\theta_{i}},\cdot), and the complex affine coordinates yiy_{i} satisfying dyi=ImΩ(∂∂θj,∂∂θk,⋅)dy_{i}=\text{Im}\Omega(\frac{\partial}{\partial\theta_{j}},\frac{\partial}{\partial\theta_{k}},\cdot) for cyclic indices i,j,ki,j,k. These coordinates are related by the Legendre transform yi=−∂φ∂μi.y_{i}=-\frac{\partial\varphi}{\partial\mu_{i}}.

Semiflat mirror symmetry is the observation that if over the same base BB we fibrewise replace T3T^{3} by the dual tori, then there is a canonical Calabi-Yau structure exhibiting this dual torus fibration as a semiflat SYZ fibration. Furthermore, the base metric gBg_{B} is unchanged while the roles of the two affine structures are interchanged.

A major part of the SYZ Conjecture 1.1 is that Calabi-Yau metrics on (polarised) manifolds near the large complex structure limit are asymptotically described by such semiflat SYZ fibrations in the generic region up to exponentially small errors.

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