ScalingStacks

3. Metrics [059T]

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

3. Metrics

In this section we introduce metrics on line bundles on strictly KK-analytic spaces. This includes piecewise linear, algebraic and formal metrics. We will see that under certain conditions they are all the same. The main reference is [GM19].

Definition 3.1.

Let XX be a strictly KK-analytic space and LL a line bundle on XX, i.e. a locally free sheaf of rank 1 on the G-topology. A continuous metric ∥⋅∥\|\cdot\| on LL is a function which asserts to any admissible open subset U⊆XU\subseteq X and any section s∈Γ⁡(U,L)s\in\Gamma(U,L) a continuous (with respect to the Berkovich topology) function ‖s⁡(⋅)‖:U→ℝ≥0\|s(\cdot)\|:U\rightarrow\mathbb{R}_{\geq 0} such that:

  1. i)

    For an admissible open subset V⊆UV\subseteq U we have ‖s|V​(⋅)‖=‖s⁡(⋅)‖|V\left\|s\Big|_{V}(\cdot)\right\|=\|s(\cdot)\|\Big|_{V},

  2. ii)

    for f∈Γ⁡(U,𝒪X)f\in\Gamma(U,\mathcal{O}_{X}) we have ‖f​s​(⋅)‖=|f⁡(⋅)|​‖s⁡(⋅)‖\|fs(\cdot)\|=|f(\cdot)|\|s(\cdot)\|,

  3. iii)

    for p∈Up\in U we have ‖s⁡(p)‖=0\|s(p)\|=0 if and only if s⁡(p)=0s(p)=0.

Given a formal model (𝔛,𝔏)(\mathfrak{X},\mathfrak{L}) of (X,L)(X,L) one can define an associated so called formal metric ∥⋅∥𝔏\|\cdot\|_{\mathfrak{L}} on LL in the following way: If ss is a local frame of 𝔏\mathfrak{L} on a formal open subset 𝔘⊆𝔛\mathfrak{U}\subseteq\mathfrak{X} we define ‖f​s​(⋅)‖𝔏=|f⁡(⋅)|\|fs(\cdot)\|_{\mathfrak{L}}=|f(\cdot)| on 𝔘an\mathfrak{U}^{\textup{an}} for any f∈Γ⁡(𝔘an,𝒪𝔛an)f\in\Gamma(\mathfrak{U}^{\textup{an}},\mathcal{O}_{\mathfrak{X}}^{\textup{an}}). As this is independent of the choice of ss and 𝔛an\mathfrak{X}^{\textup{an}} is covered by such sets, this gives a well-defined metric on LL.

Remark 3.2.

We will work with paracompact (i.e. Hausdorff and every open cover has a locally finite refinement) strictly KK-analytic spaces. As discussed in [GM19, 2.2] the category of these spaces is equivalent to the category of quasiseparated rigid analytic varieties over KK with a strictly KK-affinoid G-covering of finite type ([Ber93, 1.6]). This allows us to apply Raynaud’s theorem ([Bos14, Theorem 8.4.3]) which shows that formal K∘K^{\circ}-models of paracompact strictly KK-analytic spaces exist and that the set of isomorphism classes of formal K∘K^{\circ}-models is directed.

Proposition 3.3.

Let XX be a paracompact strictly KK-analytic space, LL a line bundle on XX and WW a compact strictly KK-analytic domain of XX. Then every formal metric on L|WL\Big|_{W} extends to a formal metric on LL.

Proof.

[GM19, Proposition 2.7]. ∎

Definition 3.4.

Let XX be a proper scheme over KK and LL a line bundle on XX. An algebraic K∘K^{\circ}-model of XX is a proper flat scheme 𝒳\mathscr{X} over K∘K^{\circ} with a fixed isomorphism from the generic fibre 𝒳η\mathscr{X}_{\eta} to XX. An algebraic K∘K^{\circ}-model of (X,L)(X,L) is a pair (𝒳,ℒ)(\mathscr{X},\mathscr{L}) where 𝒳\mathscr{X} is an algebraic K∘K^{\circ}-model of XX and ℒ\mathscr{L} is a line bundle on 𝒳\mathscr{X} with a fixed isomorphism from ℒ|X\mathscr{L}\Big|_{X} to LL. An algebraic K∘K^{\circ}-model of (X,L)(X,L) gives rise to a formal K∘K^{\circ}-model of (Xan,Lan)(X^{\textup{an}},L^{\textup{an}}) by formal completion. Hence by the above, an algebraic model of (X,L)(X,L) induces a formal metric on LanL^{\textup{an}}. We call such metrics algebraic metrics.

Proposition 3.5.

Let XX be a proper scheme over KK and LL a line bundle on XX. Then a formal metric on LanL^{\textup{an}} is the same as an algebraic metric.

Proof.

[GK17, Proposition 8.13], see also [GM19, Remark 2.6]. ∎

Definition 3.6.

Let XX be a strictly KK-analytic space and LL a line bundle on XX. A metric ∥⋅∥\|\cdot\| on LL is called piecewise linear if there is a 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}(\cdot)\|=1 on ViV_{i}.

Proposition 3.7.

Let XX be a strictly KK-analytic space and LL a line bundle on XX. Then

  1. i)

    the isometry classes of piecewise linear metrics on line bundles on XX form an abelian group with respect to ⊗\otimes.

  2. ii)

    the pull-back f∗∥⋅∥f^{\ast}\|\cdot\| of a piecewise linear metric ∥⋅∥\|\cdot\| on LL with respect to a morphism f:Y→Xf:Y\rightarrow X of strictly KK-analytic spaces is a piecewise linear metric on f∗​Lf^{\ast}L.

  3. iii)

    the minimum and the maximum of two piecewise linear metrics on LL are again piecewise linear metrics on LL.

Proof.

[GM19, Proposition 2.12] (the proof does not use paracompactness). ∎

Proposition 3.8.

Let XX be a paracompact strictly KK-analytic space and LL a line bundle on XX. Then a piecewise linear metric on LL is the same as a formal metric.

Proof.

[GM19, Proposition 2.10]. ∎

Definition 3.9.

Let XX be a strictly KK-analytic space and LL a line bundle on XX. A piecewise linear metric on LL is called semipositive in x∈Xx\in X if there exists a compact strictly KK-analytic domain WW which is a neighbourhood of xx such that there is a formal model (𝔚,𝔏)(\mathfrak{W},\mathfrak{L}) of (W,L|W)\left(W,L\Big|_{W}\right) inducing the metric on WW and satisfying deg𝔏⁡(C)≥0\Deg_{\mathfrak{L}}(C)\geq 0 for every proper closed curve CC in the special fibre of 𝔚\mathfrak{W}. The metric on LL is called semipositive in a subset V⊆XV\subseteq X if it is semipositive in every x∈Vx\in V. It is called semipositive if it is semipositive in XX.

Proposition 3.10.

Let XX be a paracompact strictly KK-analytic space and LL a line bundle on XX. A formal metric ∥⋅∥\|\cdot\| on LL is semipositive in every x∈Xx\in X if and only if there exists a nef formal K∘K^{\circ}-model 𝔏\mathfrak{L} of LL inducing ∥⋅∥\|\cdot\|. In particular we regain the original global definition of semipositivity by Zhang ([Zha95]).

Proof.

This is proved in [GM19, Proposition 3.11] under the additional assumption that XX is separable, which was necessary in order to be able to use [CD, Lemme 6.5.1]. Replacing this with Corollary A.4, the same proof applies to the more general case. ∎

Proposition 3.11.

Let XX be a proper scheme over KK and LL a line bundle on XX. Let ∥⋅∥1,∥⋅∥2\|\cdot\|_{1},\|\cdot\|_{2} be two piecewise linear metrics on LanL^{\textup{an}} which are semipositive in x∈Xanx\in X^{\textup{an}}. Then ∥⋅∥:=min(∥⋅∥1,∥⋅∥2)\|\cdot\|:=\min(\|\cdot\|_{1},\|\cdot\|_{2}) is semipositive in xx.

Proof.

[GM19, Proposition 3.12]. ∎

Definition 3.12.

Let XX be a strictly KK-analytic space and LL a line bundle on XX. A metric ∥⋅∥\|\cdot\| on LL is called piecewise ℚ\mathbb{Q}-linear if for every x∈Xx\in X there is an open neighbourhood WW of xx and a non-zero n∈ℕn\in\mathbb{N} such that ∥⋅∥⊗n|W\|\cdot\|^{\otimes n}\Big|_{W} is a piecewise linear metric on L⊗n|WL^{\otimes n}\Big|_{W}.
A piecewise ℚ\mathbb{Q}-linear metric on LL is called semipositive in x∈Xx\in X if in the above ∥⋅∥⊗n|W\|\cdot\|^{\otimes n}\Big|_{W} is semipositive in xx.

Proposition 3.13.

Let XX be a paracompact strictly KK-analytic space and LL a line bundle on XX. Any continuous metric on LL can be uniformly approximated by piecewise ℚ\mathbb{Q}-linear metrics on LL.

Proof.

[GM19, Theorem 2.17]. ∎

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