ScalingStacks

1.1. Metrics [014U]

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

1.1. Metrics

We use additive notation for line bundles and metrics over an analytic space XX, both in the complex and non-Archimedean setting. This amounts to the following two rules:

  • (i)

    if for i=1,2i=1,2, ϕi\phi_{i} is a metric on a line bundle LiL_{i} and ai∈ℤa_{i}\in{\mathbb{Z}}, then a1​ϕ1+a2​ϕ2a_{1}\phi_{1}+a_{2}\phi_{2} is a metric on a1​L1+a2​L2a_{1}L_{1}+a_{2}L_{2};

  • (ii)

    a metric on the trivial line bundle 𝒪X{\mathcal{O}}_{X} is of the form |⋅|e−ϕ|\cdot|e^{-\phi} for a function ϕ\phi on XX, and we identify the metric with ϕ\phi.

If ss is a section of a line bundle LL on XX, then log⁡|s|\log|s| stands for the corresponding (possibly singular) metric on LL in which ss has length 1. For any metric ϕ\phi on LL, the above rules imply that log⁡|s|−ϕ\log|s|-\phi is a function on XX, and

|s|ϕ:=|s|​e−ϕ=exp⁡(log⁡|s|−ϕ)|s|_{\phi}:=|s|e^{-\phi}=\exp(\log|s|-\phi)

is the pointwise length of ss in the metric ϕ\phi.

A metric on a ℚ{\mathbb{Q}}-line bundle LL is a collection (ϕm)m(\phi_{m})_{m} of metrics on m​LmL, for mm sufficiently divisible, such that ϕj​m=j​ϕm\phi_{jm}=j\phi_{m}.

The line bundle 𝒪X​(D){\mathcal{O}}_{X}(D) associated to any Cartier divisor DD on XX comes with a canonical singular metric ϕD\phi_{D}, smooth outside DD. This fact extends to ℚ{\mathbb{Q}}-divisors, by interpreting ϕD\phi_{D} as a metric on a ℚ{\mathbb{Q}}-line bundle. In the complex case at least, the curvature current of ϕD\phi_{D}, correctly normalized, coincides with the integration current on DD.

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