ScalingStacks

Proposition 6.2 . [05BL]

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

Let XX be an nn-dimensional proper variety 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¯⊗𝒪¯φ)n=μ.c_{1}(\overline{L}\otimes\overline{\mathcal{O}}^{\varphi})^{n}=\mu.

Let τ\tau be an nn-dimensional open face of some skeleton Δ\Delta associated to a strongly nondegenerate strictly polystable formal model 𝔛\mathfrak{X} of XanX^{\textup{an}}. Suppose that 𝔛\mathfrak{X} is algebraic, L¯\overline{L} has a model on 𝔛\mathfrak{X} and λ⋅𝐝​𝐱≤μ≤Λ⋅𝐝​𝐱\lambda\cdot\boldsymbol{dx}\leq\mu\leq\Lambda\cdot\boldsymbol{dx} on τ\tau for some λ,Λ>0\lambda,\Lambda>0 where 𝐝​𝐱\boldsymbol{dx} denotes the Lebesgue measure on τ\tau. Assume that φ=φ∘p𝔛\varphi=\varphi\circ p_{\mathfrak{X}}. Then φ∈Wl​o​c2,1​(τ)\varphi\in W^{2,1}_{loc}(\tau).

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