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 -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 be a strictly -analytic space and a line bundle on , i.e. a locally free sheaf of rank 1 on the G-topology. A continuous metric on is a function which asserts to any admissible open subset and any section a continuous (with respect to the Berkovich topology) function such that:
- i)
For an admissible open subset we have ,
- ii)
for we have ,
- iii)
for we have if and only if .
Given a formal model of one can define an associated so called formal metric on in the following way: If is a local frame of on a formal open subset we define on for any . As this is independent of the choice of and is covered by such sets, this gives a well-defined metric on .
Remark 3.2.
We will work with paracompact (i.e. Hausdorff and every open cover has a locally finite refinement) strictly -analytic spaces. As discussed in [GM19, 2.2] the category of these spaces is equivalent to the category of quasiseparated rigid analytic varieties over with a strictly -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 -models of paracompact strictly -analytic spaces exist and that the set of isomorphism classes of formal -models is directed.
Proposition 3.3.
Let be a paracompact strictly -analytic space, a line bundle on and a compact strictly -analytic domain of . Then every formal metric on extends to a formal metric on .
Proof.
[GM19, Proposition 2.7]. ∎
Definition 3.4.
Let be a proper scheme over and a line bundle on . An algebraic -model of is a proper flat scheme over with a fixed isomorphism from the generic fibre to . An algebraic -model of is a pair where is an algebraic -model of and is a line bundle on with a fixed isomorphism from to . An algebraic -model of gives rise to a formal -model of by formal completion. Hence by the above, an algebraic model of induces a formal metric on . We call such metrics algebraic metrics.
Proposition 3.5.
Let be a proper scheme over and a line bundle on . Then a formal metric on is the same as an algebraic metric.
Definition 3.6.
Let be a strictly -analytic space and a line bundle on . A metric on is called piecewise linear if there is a G-covering and frames of over for every such that on .
Proposition 3.7.
Let be a strictly -analytic space and a line bundle on . Then
- i)
the isometry classes of piecewise linear metrics on line bundles on form an abelian group with respect to .
- ii)
the pull-back of a piecewise linear metric on with respect to a morphism of strictly -analytic spaces is a piecewise linear metric on .
- iii)
the minimum and the maximum of two piecewise linear metrics on are again piecewise linear metrics on .
Proof.
[GM19, Proposition 2.12] (the proof does not use paracompactness). ∎
Proposition 3.8.
Let be a paracompact strictly -analytic space and a line bundle on . Then a piecewise linear metric on is the same as a formal metric.
Proof.
[GM19, Proposition 2.10]. ∎
Definition 3.9.
Let be a strictly -analytic space and a line bundle on . A piecewise linear metric on is called semipositive in if there exists a compact strictly -analytic domain which is a neighbourhood of such that there is a formal model of inducing the metric on and satisfying for every proper closed curve in the special fibre of . The metric on is called semipositive in a subset if it is semipositive in every . It is called semipositive if it is semipositive in .
Proposition 3.10.
Let be a paracompact strictly -analytic space and a line bundle on . A formal metric on is semipositive in every if and only if there exists a nef formal -model of inducing . In particular we regain the original global definition of semipositivity by Zhang ([Zha95]).
Proof.
Proposition 3.11.
Let be a proper scheme over and a line bundle on . Let be two piecewise linear metrics on which are semipositive in . Then is semipositive in .
Proof.
[GM19, Proposition 3.12]. ∎
Definition 3.12.
Let be a strictly -analytic space and a line bundle on . A metric on is called piecewise -linear if for every there is an open neighbourhood of and a non-zero such that is a piecewise linear metric on .
A piecewise -linear metric on is called semipositive in if in the above is semipositive in .
Proposition 3.13.
Let be a paracompact strictly -analytic space and a line bundle on . Any continuous metric on can be uniformly approximated by piecewise -linear metrics on .
Proof.
[GM19, Theorem 2.17]. ∎