ScalingStacks

Proof. [05BQ]

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.

By [GJKM19, Proposition 1.2] we have φ=φ∘p𝔛\varphi=\varphi\circ p_{\mathfrak{X}}. As in the previous result φ\varphi is convex on τ\tau and

μ=c1​(L¯⊗𝒪¯φ)=deg⁡(S)⋅MA⁡(φ)\mu=c_{1}(\overline{L}\otimes\overline{\mathcal{O}}^{\varphi})=\Deg(S)\cdot\MA(\varphi)

on τ\tau. But a solution to the archimedean Monge-Ampère problem is given by a second antiderivative of ff and the solution is unique up to addition of a linear function. Hence φ∈Ck+2​(τ)\varphi\in C^{k+2}(\tau) and deg⁡(S)⋅φ′′=f\Deg(S)\cdot\varphi^{\prime\prime}=f. ∎

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