ScalingStacks

Proof. [00QQ]

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.

(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-backed reader collection; mathematical self-containment is not assessed.