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 correspond to torus invariant psh functions via the log map (cf. Lemma 4.3 below). If is admissible, then near the toric boundary the appropriate local potential 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 near the toric boundary pieces. ∎