ScalingStacks

Corollary 5.10 . [05BH]

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

Corollary 5.10.

Let 𝔛\mathfrak{X} be a strongly nondegenerate polystable formal model of XanX^{\textup{an}} over K∘K^{\circ} with associated skeleton Ξ”\Delta. Let Ο„\tau be an nn-dimensional open face of Ξ”\Delta with corresponding point SS in the special fibre of 𝔛\mathfrak{X} and hh a convex function on Ο„\tau. Denote by π’ͺΒ―h∘p𝔛\overline{\mathcal{O}}^{h\circ p_{\mathfrak{X}}} the trivial bundle on pπ”›βˆ’1​(Ο„)p_{\mathfrak{X}}^{-1}(\tau) endowed with the metric given by βˆ₯1βˆ₯=eβˆ’h∘p𝔛\|1\|=e^{-h\circ p_{\mathfrak{X}}}. Then βˆ₯β‹…βˆ₯\|\cdot\| is locally a potentially semipositive metric and

c1​(π’ͺΒ―h∘p𝔛)n=deg⁑(S)β‹…n!β‹…MA⁑(h)c_{1}\left(\overline{\mathcal{O}}^{h\circ p_{\mathfrak{X}}}\right)^{n}=\Deg(S)\cdot n!\cdot\MA(h)

on pπ”›βˆ’1​(Ο„)p_{\mathfrak{X}}^{-1}(\tau).

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