ScalingStacks

Proposition 4.108 . [02SQ]

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

Proposition 4.108.

With the hypothesis of Proposition 4.72, let ψ2\psi_{2} be an H-lattice concave function on Π2\Pi_{2} and let Dψ2D_{\psi_{2}} be the corresponding semipositive 𝕋\mathbb{T}-Cartier divisor. Then Φp,A∗​Dψ2\Phi_{p,A}^{\ast}D_{\psi_{2}} is the semipositive 𝕋\mathbb{T}-Cartier divisor associated to the H-lattice concave function ψ1=A∗​ψ2\psi_{1}=A^{\ast}\psi_{2}. Moreover the Legendre-Fenchel dual is given by

ψ1∨=(H∨)∗​(ψ2∨−val⁡(p)).\psi_{1}^{\vee}=(H^{\vee})_{\ast}(\psi_{2}^{\vee}-{\operatorname{val}}(p)).

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