ScalingStacks

\lemmname 5.5.3 . [01TZ]

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

\lemmname 5.5.3.

Supposons que XX soit compact, soit f:X→Tf\colon X\rightarrow T un moment et soit P=ftrop​(X)P=f_{\text{trop}}(X). Soit vv une fonction continue sur PP. Pour que la fonction f∗​vf^{*}v soit plurisousharmonique, il faut et il suffit que la restriction de vv à toute face maximale de ftrop​(X)f_{\text{trop}}(X) soit convexe.

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