ScalingStacks

Theorem A . [018R]

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

Let KK be a complete discrete valuation field of residue characteristic zero. Let XX be a smooth projective KK-variety that is algebraizable. Let L∈Pic⁡(X)L\in\Pic(X) be an ample line bundle and μ\mu be a positive Radon measure on XX of mass c1​(L)nc_{1}(L)^{n}. If we further assume that μ\mu is supported on the dual complex of some SNC model of XX, then there exists a continuous, semipositive metric ∥⋅∥\|\cdot\| on LL such that

(1.1) c1(L,∥⋅∥)dimX=μ.c_{1}\left(L,\|\cdot\|\right)^{\dim X}=\mu~.

This metric is furthermore unique up to a multiplicative constant.

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