ScalingStacks

Proposition 2.10 . [03B1]

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

Proposition 2.10.

Let VV be a paracompact strictly KK-analytic space with a line bundle LL. Then the following properties hold:

  • (a)

    A piecewise ℚ{\mathbb{Q}}-linear metric on LL is continuous.

  • (b)

    The isometry classes of piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metrics on line bundles of VV form an abelian group with respect to ⊗\otimes.

  • (c)

    The pull-back f∗∥∥f^{*}{\|\hskip 4.30554pt\|} of a piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric ∥⁣∥{\|\hskip 4.30554pt\|} on LL with respect to a morphism f:W→Vf:W\to V of paracompact analytic spaces is a piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric on f∗​Lf^{*}L.

  • (d)

    The minimum and the maximum of two piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metrics on LL are again piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metrics on LL.

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