ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00RF

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 collection and HTML conversion remain in progress.