ScalingStacks

Admissible metrics [01IP]

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

Admissible metrics

Let us say that a continuous metrized line bundle is admissible if it can be written as L¯⊗M¯∨\overline{L}\otimes\overline{M}^{\vee}, where L¯\overline{L} and M¯\overline{M} are metrized line bundles whose metrics are continuous and semi-positive. Admissible metrized line bundles form a subgroup Pic¯ad​(X)\overline{\operatorname{Pic}}_{\text{ad}}(\mathrm{X}) of Pic¯​(X)\overline{\operatorname{Pic}}(\mathrm{X}) which maps surjectively onto Pic⁡(X)\operatorname{Pic}(\mathrm{X}) if X\mathrm{X} is projective.

The curvature current c1​(L¯)c_{1}(\overline{L}) of an admissible metrized line bundle L¯\overline{L} is a differential form of type (1,1)(1,1) whose coefficients are signed measures. Its nnth product c1​(L¯)nc_{1}(\overline{L})^{n} is well-defined as a signed measure on X\mathrm{X}.

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