ScalingStacks

Definition 4.11 . [05AS]

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

Let VV be a strictly KK-analytic Hausdorff space of dimension nn and L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} semipositive piecewise ℚ\mathbb{Q}-linear metrized line bundles on VV. The assignment

Cc​(V)\displaystyle C_{c}(V) →ℝ≥0,\displaystyle\rightarrow\mathbb{R}_{\geq 0},
f\displaystyle f ↦1e1⋅…⋅en​∫Wf​c1​(L¯1e1|W)∧…∧c1​(L¯nen|W)\displaystyle\mapsto\frac{1}{e_{1}\cdot...\cdot e_{n}}\int_{W}f\;c_{1}\left(\overline{L}_{1}^{e_{1}}\Big|_{W}\right)\wedge...\wedge c_{1}\left(\overline{L}_{n}^{e_{n}}\Big|_{W}\right)

where WW is a compact strictly KK-analytic domain with supp⁡(f)⊆W∘\supp(f)\subseteq\overset{\circ}{W} and e1,…,en∈ℕe_{1},...,e_{n}\in\mathbb{N} are non-zero integers such that L¯iei|W\overline{L}_{i}^{e_{i}}\Big|_{W} is a formally metrized line bundle, yields a positive linear functional on the space Cc​(V)C_{c}(V) of continuous functions with compact support in VV and hence by the Riesz Representation Theorem (see [Rud87, Theorem 2.14]) a positive Radon measure on VV which we again denote by c1​(L¯1)∧…∧c1​(L¯n)c_{1}(\overline{L}_{1})\wedge...\wedge c_{1}(\overline{L}_{n}). Note that the integral does neither depend on the choice of WW by Lemma 4.8 nor on the choice of the eie_{i} by Proposition 4.5 and that we can always find such a WW together with the eie_{i} by choosing for every point in supp⁡(f)\supp(f) a compact strictly KK-analytic neighbourhood where some powers of the L¯i\overline{L}_{i} are formally metrized and using compactness of supp⁡(f)\supp(f).

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