ScalingStacks

Proof. [05BM]

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 Corollary B.4 φ\varphi is convex on every closed face of Δ\Delta. Note that the metric on L¯\overline{L} is trivial on p𝔛−1​(τ)p_{\mathfrak{X}}^{-1}(\tau). Hence we can apply Corollary 5.7 to get

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

on τ\tau where SS is the stratum of 𝔛~\tilde{\mathfrak{X}} corresponding to τ\tau. Now the claim follows from the corresponding fact in the real case [Moo15, Theorem 1.2]. ∎

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