Definition 3.1 . [059U]
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
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 .