ScalingStacks

Example 1.4 . [03YM]

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

Example 1.4.

The positive vertex M+M^{+} describes a neighbourhood of the point (0,0,0,1)(0,0,0,1) inside {z0z1z2=1−z3}⊂ℂ3×ℂz3∗\{z_{0}z_{1}z_{2}=1-z_{3}\}\subset\mathbb{C}^{3}\times\mathbb{C}^{*}_{z_{3}}. In the toric hypersurface picture, we are looking at a region where the dominating monomials are up to scale factors (z0​z1​z2)−1,−z3​(z0​z1​z2)−1,1(z_{0}z_{1}z_{2})^{-1},-z_{3}(z_{0}z_{1}z_{2})^{-1},1, so the defining equation of XtX_{t} is approximately (z0​z1​z2)−1​(1−z3)=1(z_{0}z_{1}z_{2})^{-1}(1-z_{3})=1 once we absorb the scale factors into ziz_{i}. The holomorphic volume form Ω\Omega is up to constant given by

−−12​π​d​log​z0∧d​log​z1∧d​log​z2∧d​log​z3=d⁡((z0​z1​z2)−1​(1−z3)−1)∧Ω,-\frac{\sqrt{-1}}{2\pi}d\log z_{0}\wedge d\log z_{1}\wedge d\log z_{2}\wedge d\log z_{3}=d((z_{0}z_{1}z_{2})^{-1}(1-z_{3})-1)\wedge\Omega,

or equivalently Ω=−−12​π​1z3​d​z0∧d​z1∧d​z2\Omega=-\frac{\sqrt{-1}}{2\pi}\frac{1}{z_{3}}dz_{0}\wedge dz_{1}\wedge dz_{2}. An important feature of this model is the diagonal T2T^{2}-symmetry:

ei​θ1⋅(z0,z1,z2)=(e−i​θ1​z0,ei​θ1​z1,z2),ei​θ2⋅(z0,z1,z2)=(e−i​θ2​z0,z1,ei​θ2​z2).e^{i\theta_{1}}\cdot(z_{0},z_{1},z_{2})=(e^{-i\theta_{1}}z_{0},e^{i\theta_{1}}z_{1},z_{2}),\quad e^{i\theta_{2}}\cdot(z_{0},z_{1},z_{2})=(e^{-i\theta_{2}}z_{0},z_{1},e^{i\theta_{2}}z_{2}).

We have Ω(∂∂θ1,∂∂θ2,⋅)=−−12​πdlogz3=dη\Omega(\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\cdot)=-\frac{\sqrt{-1}}{2\pi}d\log z_{3}=d\eta, where η=−−12​π​log⁡(z3)\eta=-\frac{\sqrt{-1}}{2\pi}\log(z_{3}) is a holomorphic coordinate with period 1, and takes the value zero at z0=z1=z2=0z_{0}=z_{1}=z_{2}=0. The relation between this complex geometric perspective and the topological picture in Section 1.1.3 is perhaps clearest with the generalised Gibbons-Hawking construction in mind (cf. Section 1.2 below). Essentially M+M^{+} is a singular T2T^{2}-bundle over a 4-dimensional base contained in ℝμ1,μ22×(S1×ℝ)η\mathbb{R}^{2}_{\mu_{1},\mu_{2}}\times(S^{1}\times\mathbb{R})_{\eta}, where μ1,μ2\mu_{1},\mu_{2} are the T2T^{2}-moment maps normalised to have value 0 at z0=z1=z2=0z_{0}=z_{1}=z_{2}=0. We shall notice that the discriminant locus 𝔇×{0}\mathfrak{D}\times\{0\} of this singular T2T^{2}-bundle is not sensitive to the choice of the Kähler form (cf. Lemma 1.6 and its ensuing Remark). The normalising constant on Ω\Omega imply that the SYZ T3T^{3}-fibres have ∫T3Ω=4​π2\int_{T^{3}}\Omega=4\pi^{2}.

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