ScalingStacks

Example 1.5 . [03YN]

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.5.

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

−14​π2​d​log​z1∧d​log​z2∧d​log​z3∧d​log​z4=d⁡((1−z1−z2)​(z3​z4)−1−1)∧Ω,\frac{\sqrt{-1}}{4\pi^{2}}d\log z_{1}\wedge d\log z_{2}\wedge d\log z_{3}\wedge d\log z_{4}=d\left((1-z_{1}-z_{2})(z_{3}z_{4})^{-1}-1\right)\wedge\Omega,

or equivalently Ω=−−14​π2​1z1​z2​d​z2∧d​z3∧d​z4.\Omega=\frac{-\sqrt{-1}}{4\pi^{2}}\frac{1}{z_{1}z_{2}}dz_{2}\wedge dz_{3}\wedge dz_{4}. This model has S1S^{1}-symmetry:

ei​θ⋅(z1,z2,z3,z4)=(z1,z2,ei​θ​z3,e−i​θ​z4).e^{i\theta}\cdot(z_{1},z_{2},z_{3},z_{4})=(z_{1},z_{2},e^{i\theta}z_{3},e^{-i\theta}z_{4}).

Hence M−M^{-} is a singular S1S^{1}-bundle over ℝμ×ℂz1∗×ℂz2∗\mathbb{R}_{\mu}\times\mathbb{C}^{*}_{z_{1}}\times\mathbb{C}^{*}_{z_{2}}, where μ\mu is the S1S^{1}-moment coordinate which takes the value zero on the singular locus {z3=z4=0}\{z_{3}=z_{4}=0\} (notice that the degeneracy of the S1S^{1} factor implies that the moment map is constant on this singular locus for any choice of Kähler form). This agrees with the modified topological description in Section 1.1.5. We calculate

ι∂∂θ​Ω=−14​π2​d​log⁡z1∧d​log⁡z2=d​η1∧d​η2,\iota_{\frac{\partial}{\partial\theta}}\Omega=-\frac{1}{4\pi^{2}}d\log z_{1}\wedge d\log z_{2}=d\eta_{1}\wedge d\eta_{2},

where the logarithmic coordinates ηp=12​π​−1​log⁡zp\eta_{p}=\frac{1}{2\pi\sqrt{-1}}\log z_{p} for p=1,2p=1,2 have period 1. The arg⁡z1,arg⁡z2\arg z_{1},\arg z_{2} coordinates provide a family of 2-tori in ℝ×ℂz1∗×ℂz2∗\mathbb{R}\times\mathbb{C}^{*}_{z_{1}}\times\mathbb{C}^{*}_{z_{2}}, and the restriction of the S1S^{1}-bundle over these 2-tori defines a family of 3-tori. The normalising constant on Ω\Omega imply that ∫T3Ω=2​π\int_{T^{3}}\Omega=2\pi.

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