ScalingStacks

Theorem 1.1 . [037U]

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

Let LL be an ample line bundle on a smooth projective curve XX over any non-archimedean field KK. Then P(∥∥){P}({\|\ \|}) is a continuous semipositive metric on LanL^{{\mathrm{an}}} for any continuous metric ∥⁣∥{\|\ \|} on LanL^{{\mathrm{an}}}.

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