ScalingStacks

Proposition 1.3 . [0597]

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 1.3.

Let XX be a smooth projective curve, μ\mu a positive Borel meausre on XanX^{\textup{an}} and φ\varphi a solution to the Monge-Ampère equation c1(L,∥⋅∥e−φ)=μc_{1}(L,\|\cdot\|e^{-\varphi})=\mu. Let τ\tau be an open face of a skeleton associated to a strictly semistable formal model of XanX^{\textup{an}} on which (L,∥⋅∥)(L,\|\cdot\|) has a formal model. Suppose that μ\mu is supported on that skeleton and is given on τ\tau by f⋅𝐝​𝐱f\cdot\boldsymbol{dx} where 𝐝​𝐱\boldsymbol{dx} denotes the Lebesgue measure on τ\tau. If f∈Ck​(τ)f\in C^{k}(\tau) then we have φ|τ∈Ck+2​(τ)\varphi\Big|_{\tau}\in C^{k+2}(\tau).

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