ScalingStacks

Lemma 5.15 [036Q]

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

Lemma 5.15

For α∈Acn,n​(W)\alpha\in A_{c}^{n,n}(W), the following properties hold:

  • (a)

    If UU is a very affine chart of integration for α\alpha, then every non-empty very affine open subset U′U^{\prime} of UU is a very affine chart of integration for α\alpha.

  • (b)

    The definition of ∫Wα\int_{W}\alpha is independent of the choice of the very affine chart of integration for α\alpha.

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