Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. 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
μ = c 1 ( 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 S S 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] .
∎