2.6. Metrized line bundles and curvature forms [019F]
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
2.6. Metrized line bundles and curvature forms
We refer to [CL10] for a general account of metrized line bundles in a non-Archimedean context. Suffice it to say that a metric on a line bundle on is a way to produce a local continuous function on (the Berkovich space) from any local section of .
Let be a model and a line bundle on such that . To this data one can associate a unique metric on with the following property: if is a nonvanishing local section of on an open set , then on . This makes sense since such a section is uniquely defined up to multiplication by an element of and such elements have norm 1.
More generally, any such that in induces a metric on by setting for any such that is an actual line bundle. Such a metric is called a model metric on .
Given a model metric , any continuous metric on is of the form , with . This is a model metric iff is a model function. By a singular metric on we mean an expression of the form with an arbitrary function.
Fix a model metric on associated to . The numerical class associated to in induces a form on in the sense of §2.3. It does not depend on the choice of model defining the metric. We call it the curvature form of the metric and denote it by . By construction, its de Rham class is given by
| (2.1) |
If is a model function, then
where the form is defined in §2.3.
Definition 2.16.
Fix a model metric on with curvature form . Then a singular metric is semipositive if the function is -psh.
The results in §2.4 have obvious counterparts for singular metrics. In particular, we have:
Theorem 2.17.
Let be a model metric on , associated to a -line bundle on a model of . Then
- (i)
the metric is semipositive iff is nef;
- (ii)
a continuous metric is semipositive iff there exists a sequence of semipositive model metrics such that uniformly on .
This result implies that our definition of continuous semipositive metric coincides with that of Zhang and others. Unfortunately, the terminology is not uniform across the literature, see Table 1 below.
| Model metric: [BFJ11, YZ10] | Continuous semipositive metric: |
|---|---|
| [BFJ11, CL06, CL10] | |
| Algebraic metric: [BPS11, CL06, Liu10] | Approachable metric: [BPS11] |
| Smooth metric: [CL10] | Semipositive metric: [YZ10, Liu10] |
| Root of an algebraic metric: [Gub08] | Semipositive admissible metric: [Gub08] |