ScalingStacks

Proof. [00RF]

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.

Since the TnT^{n}-action on (ℂ∗)n(\mathbb{C}^{*})^{n} is holomorphic, Φ⁡(ζ1​ei​θ1,…​ζn​ei​θn)\Phi(\zeta_{1}e^{i\theta_{1}},\ldots\zeta_{n}e^{i\theta_{n}}) is psh in ζ\zeta for any choice of θi\theta_{i}, so the average function Φ¯\bar{\Phi} is also psh. Any TnT^{n}-invariant psh function must be convex in the log coordinates, because of the formula

−1​∂∂¯​Φ¯=14​∑∂2Φ¯∂xi​∂xj​−1​d​log⁡ζi∧d​log⁡ζj¯≥0.\sqrt{-1}\partial\bar{\partial}\bar{\Phi}=\frac{1}{4}\sum\frac{\partial^{2}\bar{\Phi}}{\partial x_{i}\partial x_{j}}\sqrt{-1}d\log\zeta_{i}\wedge d\overline{\log\zeta_{j}}\geq 0.

∎

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