ScalingStacks

Definition 3.8 . [03BR]

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

Definition 3.8.

Let ∥⁣∥{\|\hskip 4.30554pt\|} be a piecewise ℚ{\mathbb{Q}}-linear metric on the line bundle LL over VV and let x∈Vx\in V. Then ∥⁣∥{\|\hskip 4.30554pt\|} is called semipositive in x∈Vx\in V if and only if we may choose a compact strictly KK-analytic domain WW which is a neighbourhood of xx and some integer k≥1k\geq 1 such that ∥∥|W⊗k{\|\hskip 4.30554pt\|}_{|W}^{\otimes k} is a semipositive formal metric.

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