ScalingStacks

Definition 3.12 . [05AB]

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

Let XX be a strictly KK-analytic space and LL a line bundle on XX. A metric ∥⋅∥\|\cdot\| on LL is called piecewise ℚ\mathbb{Q}-linear if for every x∈Xx\in X there is an open neighbourhood WW of xx and a non-zero n∈ℕn\in\mathbb{N} such that ∥⋅∥⊗n|W\|\cdot\|^{\otimes n}\Big|_{W} is a piecewise linear metric on L⊗n|WL^{\otimes n}\Big|_{W}.
A piecewise ℚ\mathbb{Q}-linear metric on LL is called semipositive in x∈Xx\in X if in the above ∥⋅∥⊗n|W\|\cdot\|^{\otimes n}\Big|_{W} is semipositive in xx.

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