ScalingStacks

Example 2.27 . [02J9]

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

Example 2.27.

The canonical metric in Example 2.25 is semipositive: for a vertical curve CC, its degree with respect to 𝒪ℙK∘n​(1){\mathcal{O}}_{\mathbb{P}^{n}_{K^{\circ}}}(1) equals its degree with respect to the restriction of this model to the special fibre. This restriction identifies with 𝒪ℙkn​(1){\mathcal{O}}_{\mathbb{P}^{n}_{k}}(1), the universal line bundle of ℙkn\mathbb{P}^{n}_{k}, which is ample. Hence all the metrics obtained by inverse image of the canonical metric of 𝒪​(1)an{\mathcal{O}}(1)^{{\text{\rm an}}} are also semipositive.

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