ScalingStacks

Proposition 2.16 . [03BC]

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

Let LL be a line bundle on a paracompact strictly KK-analytic space VV and let F/KF/K be a non-archimedean field extension.

  • (a)

    The base change of a piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric on LL is a piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric on L​⊗^K​FL\hat{\otimes}_{K}F.

  • (b)

    If FF is a subfield of ℂK{\mathbb{C}}_{K} and if VV is compact, then every piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric on L​⊗^K​FL\hat{\otimes}_{K}F is the base change of a unique piecewise linear (resp. piecewise ℚ{\mathbb{Q}}-linear) metric on L​⊗^K​K′L\hat{\otimes}_{K}{K^{\prime}} for a suitable finite subextension K′/KK^{\prime}/K of F/KF/K.

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