ScalingStacks

Proof. [040B]

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.

To identify the T2T^{2}-action we examine the Hamiltonian vector field action. Recall that {∂∂θi}i=1,2\{\frac{\partial}{\partial\theta_{i}}\}_{i=1,2} is dual to the connection {ϑi}i=1,2\{\vartheta_{i}\}_{i=1,2}. We compute

ℒ∂∂θ1​zi=d​zi​(∂∂θ1)=zi​ζi′​(∂∂θ1),\mathcal{L}_{\frac{\partial}{\partial\theta_{1}}}z_{i}=dz_{i}(\frac{\partial}{\partial\theta_{1}})=z_{i}\zeta_{i}^{\prime}(\frac{\partial}{\partial\theta_{1}}),

in particular

ℒ∂∂θ1​z1=z1​−1​ϑ1​(∂∂θ1)=−1​z1,ℒ∂∂θ1​z0=−−1​z0,ℒ∂∂θ1​z2=0,\mathcal{L}_{\frac{\partial}{\partial\theta_{1}}}z_{1}=z_{1}\sqrt{-1}\vartheta_{1}(\frac{\partial}{\partial\theta_{1}})=\sqrt{-1}z_{1},\quad\mathcal{L}_{\frac{\partial}{\partial\theta_{1}}}z_{0}=-\sqrt{-1}z_{0},\quad\mathcal{L}_{\frac{\partial}{\partial\theta_{1}}}z_{2}=0,

from which the first circle action is clear. Likewise with the second circle action.

The holomorphic (3,0)-form Ω\Omega is uniquely determined by the condition that Ω(∂∂θ1,∂∂θ2,⋅)=dη\Omega(\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\cdot)=d\eta. But

−dz0∧dz1∧dz2(∂∂θ1,∂∂θ2,⋅)=z0z1dz2+z1z2dz0+z0z2dz1=dη-dz_{0}\wedge dz_{1}\wedge dz_{2}(\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\cdot)=z_{0}z_{1}dz_{2}+z_{1}z_{2}dz_{0}+z_{0}z_{2}dz_{1}=d\eta

where in the last step we used the functional equation z0​z1​z2=ηz_{0}z_{1}z_{2}=\eta. This shows Ω=−d​z0∧d​z1∧d​z2\Omega=-dz_{0}\wedge dz_{1}\wedge dz_{2}. In particular the map M∖{0}→ℂ3∖{0}M\setminus\{0\}\to\mathbb{C}^{3}\setminus\{0\} is locally invertible.

To show the map is a homeomorphism, we notice that it is compatible with the fibration structure M→ℂηM\to\mathbb{C}_{\eta} and ℂ3→ℂη\mathbb{C}^{3}\to\mathbb{C}_{\eta}, so it suffices to show the fibres are identified, which follows from looking at the complexification of the T2T^{2}-action into a (ℂ∗)2(\mathbb{C}^{*})^{2}-action.

Combining the above proves the biholomorphism claim. ∎

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