ScalingStacks

Semi-positive metrics [01IX]

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

Semi-positive metrics

A smooth metric is said to be ample if it is defined by a model (𝔛,𝔏,e)(\mathfrak{X},\mathfrak{L},e) such that the restriction 𝔏K~\mathfrak{L}_{\tilde{K}} of 𝔏\mathfrak{L} to the closed fiber 𝔛K~\mathfrak{X}_{\tilde{K}} is ample. The Weil metric on the line bundle 𝒪⁡(1)\mathscr{O}(1) on the projective space is ample. The proof given above of the existence of smooth metrics shows, more precisely, that ample line bundles admit ample metrics, and that the pull-back of a smooth ample metric by an immersion is a smooth ample metric.

A smooth metric is said to be semi-positive if it can be defined on a model (𝔛,𝔏,e)(\mathfrak{X},\mathfrak{L},e) such that the restriction 𝔏K~\mathfrak{L}_{\tilde{K}} of 𝔏\mathfrak{L} to the closed fiber 𝔛K~\mathfrak{X}_{\tilde{K}} is numerically effective : for any projective curve C⊂𝔛K~C\subset\mathfrak{X}_{\tilde{K}}, the degree of 𝔏K~\mathfrak{L}_{\tilde{K}} is non-negative. Ample metrics are semi-positive.

The pull-back of a smooth semi-positive metric by any morphism is semi-positive.

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