ScalingStacks

Proposition 3.10 . [03BU]

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

Proposition 3.10.

Let LL be a line bundle on the boundaryless paracompact strictly KK-analytic space VV and let ∥⁣∥{\|\hskip 4.30554pt\|} be a formal metric on LL. Then ∥⁣∥{\|\hskip 4.30554pt\|} is a semipositive formal metric as globally defined in 3.2 if and only if ∥⁣∥{\|\hskip 4.30554pt\|} is a semipositive piecewise linear metric in every x∈Vx\in V as defined in 3.7.

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