ScalingStacks

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 ∥⋅∥\|\cdot\| on a line bundle LL on XX is a way to produce a local continuous function ‖s‖\|s\| on (the Berkovich space) XX from any local section ss of LL.

Let 𝒳\mathcal{X} be a model and ℒ\mathcal{L} a line bundle on 𝒳\mathcal{X} such that ℒ|X=L\mathcal{L}|_{X}=L. To this data one can associate a unique metric ∥⋅∥ℒ\|\cdot\|_{\mathcal{L}} on LL with the following property: if ss is a nonvanishing local section of ℒ\mathcal{L} on an open set 𝒰⊂𝒳\mathcal{U}\subset\mathcal{X}, then ‖s‖ℒ≡1\|s\|_{\mathcal{L}}\equiv 1 on U:=𝒰∩XU:=\mathcal{U}\cap X. This makes sense since such a section ss is uniquely defined up to multiplication by an element of Γ⁡(𝒰,𝒪𝒳∗)\Gamma(\mathcal{U},\mathcal{O}_{\mathcal{X}}^{*}) and such elements have norm 1.

More generally, any ℒ∈Pic⁡(𝒳)𝐐\mathcal{L}\in\Pic(\mathcal{X})_{\mathbf{Q}} such that ℒ|X=L\mathcal{L}|_{X}=L in Pic⁡(X)𝐐\Pic(X)_{\mathbf{Q}} induces a metric ∥⋅∥ℒ\|\cdot\|_{\mathcal{L}} on LL by setting ‖s‖ℒ=‖s⊗m‖m​ℒ1/m\|s\|_{\mathcal{L}}=\|s^{\otimes m}\|_{m\mathcal{L}}^{1/m} for any m∈𝐍∗m\in\mathbf{N}^{*} such that m​ℒm\mathcal{L} is an actual line bundle. Such a metric is called a model metric on LL.

Given a model metric ∥⋅∥\|\cdot\|, any continuous metric on LL is of the form ∥⋅∥e−φ\|\cdot\|e^{-\varphi}, with φ∈C0​(X)\varphi\in C^{0}(X). This is a model metric iff φ\varphi is a model function. By a singular metric on LL we mean an expression of the form ∥⋅∥e−φ\|\cdot\|e^{-\varphi} with φ:X→[−∞,+∞[\varphi:X\to[-\infty,+\infty[ an arbitrary function.

Fix a model metric ∥⋅∥ℒ\|\cdot\|_{\mathcal{L}} on LL associated to ℒ∈Pic𝐐⁡(𝒳)\mathcal{L}\in\Pic_{\mathbf{Q}}(\mathcal{X}). The numerical class associated to ℒ\mathcal{L} in N1​(𝒳/S)N^{1}(\mathcal{X}/S) induces a form on XX in the sense of §2.3. It does not depend on the choice of model ℒ\mathcal{L} defining the metric. We call it the curvature form of the metric and denote it by c1(L,∥⋅∥)c_{1}(L,\|\cdot\|). By construction, its de Rham class is given by

(2.1) {c1(L,∥⋅∥)}=c1(L)∈N1(X).\{c_{1}(L,\|\cdot\|)\}=c_{1}(L)\in N^{1}(X).

If φ∈𝒟⁡(X)\varphi\in\mathcal{D}(X) is a model function, then

c1(L,∥⋅∥e−φ)=c1(L,∥⋅∥)+ddcφ,c_{1}(L,\|\cdot\|\,e^{-\varphi})=c_{1}(L,\|\cdot\|)+dd^{c}\varphi,

where the form d​dc​φ∈𝒵1,1​(X)dd^{c}\varphi\in\mathcal{Z}^{1,1}(X) is defined in §2.3.

Definition 2.16.

Fix a model metric ∥⋅∥\|\cdot\| on LL with curvature form θ\theta. Then a singular metric ∥⋅∥e−φ\|\cdot\|e^{-\varphi} is semipositive if the function φ\varphi is θ\theta-psh.

The results in §2.4 have obvious counterparts for singular metrics. In particular, we have:

Theorem 2.17.

Let ∥⋅∥\|\cdot\| be a model metric on LL, associated to a 𝐐\mathbf{Q}-line bundle ℒ\mathcal{L} on a model 𝒳\mathcal{X} of XX. Then

  • (i)

    the metric ∥⋅∥\|\cdot\| is semipositive iff ℒ\mathcal{L} is nef;

  • (ii)

    a continuous metric ∥⋅∥e−φ\|\cdot\|e^{-\varphi} is semipositive iff there exists a sequence of semipositive model metrics ∥⋅∥m=∥⋅∥e−φm\|\cdot\|_{m}=\|\cdot\|e^{-\varphi_{m}} such that φm→φ\varphi_{m}\to\varphi uniformly on XX.

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]
Table 1. Terminology for metrics on line bundles.

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