The Abelian group of smooth line bundles [01IW]
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
The Abelian group of smooth line bundles
Let us show that any line bundle has a smooth metric. There is a general theory, due to Raynaud, that shows how to define formal models from rigid analytic objects. In the present case, being projective, we may assume that is ample and consider a closed embedding of in a projective space given by some power . Let be the Zariski closure of in β; in concrete terms, if is the homogeneous ideal of , is the homogeneous ideal of . Let then be the restriction to of the line bundle . The triple is a model of and induces a smooth metric on .
Different models can give rise to the same metric. If is a morphism of models, and , then defines the same smooth metric on . Moreover, if two models , for , define the same metric, there exists a third model , with two morphisms such that the pull-backs coincide with . More precisely, if two models and of some power on a normal model define the same metric, then they are isomorphic. (See, e.g., Lemma 2.2 of [19]β; this may be false for non-normal modelsβ; it suffices that be integrally closed in its generic fiber.)
As a consequence, the set of smooth metrized line bundles is a subgroup of the group . The group fits within an exact sequence
the last map is surjective because every line bundle admits a model. If is a morphism, then .