ScalingStacks

Proof. [04SN]

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.

Let z∈V∘z\in V^{\circ} and let ℒ​o​g\mathcal{L}og be a branch of a holomorphic logarithm (z1,…,zn+1)↦(log⁡(z1),…,log⁡(zn+1))(z_{1},\dots,z_{n+1})\mapsto(\log(z_{1}),\dots,\log(z_{n+1})) defined in a neighborhood of zz. The point zz is critical for Log|V∘\operatorname{Log}|_{V^{\circ}} iff V∘V^{\circ} and the orbit of the real torus TnT^{n} are not transversal at zz. But ℒ​o​g\mathcal{L}og takes the tangent space to an orbit of TnT^{n} to a translate of i​ℝn+1i\mathbb{R}^{n+1} in ℂn+1\mathbb{C}^{n+1}.

Therefore, zz is critical iff ℒ​o​g​(Tz​V∘)\mathcal{L}og(T_{z}V^{\circ}) contains at least nn purely imaginary vectors which is, in turn, equivalent to γ⁡(z)∈ℝ​Pn\gamma(z)\in\mathbb{R}P^{n}. ∎

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