ScalingStacks

Proposition 6.4 . [05BP]

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

Let XX be a smooth projective curve over KK and L¯\overline{L} a line bundle with a fixed formal metric. Let μ\mu be a positive Borel measure on XanX^{\textup{an}} and φ\varphi a continuous function on XanX^{\textup{an}} such that the metric on L¯⊗𝒪¯φ\overline{L}\otimes\overline{\mathcal{O}}^{\varphi} is semipositive and solving the equation

c1​(L¯⊗𝒪¯φ)=μ.c_{1}(\overline{L}\otimes\overline{\mathcal{O}}^{\varphi})=\mu.

If τ\tau is an open face of the skeleton Δ\Delta of a strictly semistable algebraic model 𝒳\mathscr{X} of XanX^{\textup{an}} on which L¯\overline{L} has an algebraic model, μ\mu is supported on Δ\Delta and μ=f⋅𝐝​𝐱\mu=f\cdot\boldsymbol{dx} on τ\tau for some positive function f∈Ck​(τ)f\in C^{k}(\tau) where 𝐝​𝐱\boldsymbol{dx} denotes the Lebesgue measure on τ\tau then φ∈Ck+2​(τ)\varphi\in C^{k+2}(\tau).

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