ScalingStacks

Proof. [03A9]

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.

It was shown in [BFJ15, §8.1] that uniqueness follows from a result of Yuan and Zhang in [YZ17]. To prove existence of a θ\theta-psh solution φ\varphi, we use the variational method of Boucksom, Favre, and Jonsson. The basic tools needed here are upper semicontinuity of the energy [BFJ15, Prop. 6.2], the compactness theorem [BFJ16a, Thm. 7.10], and the differentiability of E∘PθE\circ{P}_{\theta}. As explained above, all these results are available in our setting. It remains to see that φ\varphi is continuous and this is done by estimates in the spirit of Kolodziej as in [BFJ15, §8.3]. ∎

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