ScalingStacks

Proof. [046C]

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

Proof.

The S1S^{1}-action can be identified as in Proposition 2.11. The holomorphic volume form is characterised by ι∂∂θ​Ω(1)=d​η1∧d​η2\iota_{\frac{\partial}{\partial\theta}}\Omega^{(1)}=d\eta_{1}\wedge d\eta_{2}, which is compared to

ι∂∂θ​(−1​d​z2∧d​z3∧d​z4)=−d⁡(z3​z4)∧d​z2=−d⁡(1−z1−z2)∧d​z2=d​z1∧d​z2=(2​π​−1​z1​d​η1)∧(2​π​−1​z2​d​η2)=−4​π2​z1​z2​d​η1∧d​η2,\begin{split}\iota_{\frac{\partial}{\partial\theta}}(\sqrt{-1}dz_{2}\wedge dz_{3}\wedge dz_{4})=&-d(z_{3}z_{4})\wedge dz_{2}=-d(1-z_{1}-z_{2})\wedge dz_{2}=dz_{1}\wedge dz_{2}\\ =&(2\pi\sqrt{-1}z_{1}d\eta_{1})\wedge(2\pi\sqrt{-1}z_{2}d\eta_{2})=-4\pi^{2}z_{1}z_{2}d\eta_{1}\wedge d\eta_{2},\end{split}

to yield Ω(1)=−−14​π2​z1​z2​d​z2∧d​z3∧d​z4\Omega^{(1)}=-\frac{\sqrt{-1}}{4\pi^{2}z_{1}z_{2}}dz_{2}\wedge dz_{3}\wedge dz_{4}.

This holomorphic volume form formula in particular shows the map M−→{z3z4=1−z1−z2}M^{-}\to\{z_{3}z_{4}=1-z_{1}-z_{2}\} is a local biholomorphism wherever the complex structure is defined. We finally need to show this map is injective. Since both M−M^{-} and {z3z4=1−z1−z2}\{z_{3}z_{4}=1-z_{1}-z_{2}\} fibre over ℂz1∗×ℂz2∗\mathbb{C}^{*}_{z_{1}}\times\mathbb{C}^{*}_{z_{2}} in a compatible way, it suffices to compare the ℂ∗\mathbb{C}^{*}-fibres. The map between the fibres is equivariant with respect to the S1S^{1}-action, so to conclude injectivity we only need to recall from the proof of Lemma 4.28 that log⁡|z3|\log|z_{3}| is a monotone function of μ\mu. ∎

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