ScalingStacks

Proof. [042S]

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 T2T^{2}-action follows the same argument as Proposition 2.11. The holomorphic volume form is characterised by Ω~(1)(∂∂θ1,∂∂θ2,⋅)=dη.\tilde{\Omega}^{(1)}(\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\cdot)=d\eta. Notice also

−dZ0∧dZ1∧dZ2(∂∂θ1,∂∂θ2,⋅)=d(Z0Z1Z2)=−dZ3=−2π−1Z3dη,-dZ_{0}\wedge dZ_{1}\wedge dZ_{2}(\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\cdot)=d(Z_{0}Z_{1}Z_{2})=-dZ_{3}=-2\pi\sqrt{-1}Z_{3}d\eta,

so Ω~(1)=−−12​π​Z3​d​Z0∧d​Z1∧d​Z2\tilde{\Omega}^{(1)}=-\frac{\sqrt{-1}}{2\pi Z_{3}}dZ_{0}\wedge dZ_{1}\wedge dZ_{2}. This formula in particular implies the map M+→{Z0Z1Z2=1−Z3}M^{+}\to\{Z_{0}Z_{1}Z_{2}=1-Z_{3}\} is a local biholomorphism. We finally need to show this map is injective. Since both M+M^{+} and {Z0Z1Z2=1−Z3}\{Z_{0}Z_{1}Z_{2}=1-Z_{3}\} fibre over the ℂ∗\mathbb{C}^{*} coordinate η\eta in a compatible way, it suffices to compare the fibres, which have compatible T2T^{2}-actions, so boils down to the injectivity of (μ1,μ2)↦(log⁡|Z0|,log⁡|Z1|,log⁡|Z2|)(\mu_{1},\mu_{2})\mapsto(\log|Z_{0}|,\log|Z_{1}|,\log|Z_{2}|) for fixed η\eta. ∎

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