ScalingStacks

Theorem 3.1 . [01D4]

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

Let (X,L)(X,L) be a polarized complex projective variety of dimension nn and let μ\mu be a positive measure on Xan{X^{\mathrm{an}}} of total mass (Ln)(L^{n}).

  • (i)

    If μ\mu is a volume form, then there exists a smooth positive metric ϕ\phi on Lan{L^{\mathrm{an}}} such that MA⁡(ϕ)=μ\operatorname{MA}(\phi)=\mu.

  • (ii)

    If μ\mu is absolutely continuous with respect to Lebesgue measure, with density in LpL^{p} for some p>1p>1, then there exists a (Hölder) continuous metric ϕ\phi on Lan{L^{\mathrm{an}}} such that MA⁡(ϕ)=μ\operatorname{MA}(\phi)=\mu.

  • (iii)

    The metrics in (i) and (ii) are unique up to additive constants.

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