ScalingStacks

Theorem 5.5 . [003A]

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

Theorem 5.5.

[4] Let XKX_{K} be a smooth projective K-scheme arising from the base change of an algebraic degeneration family. Let LL be an ample line bundle on XKX_{K}, and d​μd\mu be a Radon probability measure supported on the dual intersection complex of some snc model of XKX_{K}. Then there is a unique continuous semipositive metric ‖⋅‖\left\lVert\cdot\right\rVert on LL, such that

M​A​(‖⋅‖)=(Ln)​d​μ.MA(\left\lVert\cdot\right\rVert)=(L^{n})d\mu.

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