ScalingStacks

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

00QQ

Proof. (Sketch) Convex functions on (ℂ∗)n(\mathbb{C}^{*})^{n} correspond to torus invariant psh functions via the log map (cf. Lemma 4.3 below). If uu is admissible, then near the toric boundary the appropriate local potential umu_{m} extends continuously over the boundary piece by the growth asymptote assumption and convexity, and the extension remains psh. Conversely, the asymptotic condition is dictated by the local boundedness of umu_{m} near the toric boundary pieces. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.