ScalingStacks

Definition 2.9 . [03B0]

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

Let VV be a paracompact strictly KK-analytic space with a line bundle LL. A metric ∥⁣∥{\|\hskip 4.30554pt\|} on LL is called piecewise ℚ{\mathbb{Q}}-linear if for every x∈Vx\in V there exists an open neighbourhood WW of xx and a non-zero n∈ℕn\in{\mathbb{N}} such that ∥∥⊗n|W{\|\hskip 4.30554pt\|}^{\otimes n}_{|W} is a piecewise linear metric on L⊗n|WL^{\otimes n}_{|W}. A function φ:V→ℝ\varphi\colon V\to{\mathbb{R}} is called a piecewise ℚ{\mathbb{Q}}-linear function if it induces a piecewise ℚ{\mathbb{Q}}-linear metric on the trivial line bundle 𝒪V\mathcal{O}_{V}.

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