ScalingStacks

Theorem 1.1 . [03AI]

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.

The following are equivalent for a metric ∥⁣∥{\|\hskip 4.30554pt\|} on the line bundle LanL^{\rm an} over a proper scheme XX:

  • (a)

    ∥⁣∥{\|\hskip 4.30554pt\|} is an algebraic metric;

  • (b)

    ∥⁣∥{\|\hskip 4.30554pt\|} is a formal metric;

  • (c)

    ∥⁣∥{\|\hskip 4.30554pt\|} is a piecewise linear metric.

The equivalence remains true if we replace “metric” by “semipositive metric” in every item.

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