ScalingStacks

Definition 2.7 . [03AX]

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

Let VV be a paracompact strictly KK-analytic space with a line bundle LL. A metric ∥⁣∥{\|\hskip 4.30554pt\|} on LL is called piecewise linear if there is a G{\rm G}-covering (Vi)i∈I(V_{i})_{i\in I} and frames sis_{i} of LL over ViV_{i} for every i∈Ii\in I such that ‖si‖=1\|s_{i}\|=1 on ViV_{i}. A function φ:V→ℝ\varphi\colon V\to{\mathbb{R}} is called a piecewise linear function if it induces a piecewise linear metric on the trivial line bundle 𝒪V\mathcal{O}_{V}. Note that these are G{\rm G}-local definitions (see [GK15, Proposition 5.10] for the argument).

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