The Abelian group of metrized line bundles [01IF]
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 metrized line bundles
Isomorphism of metrized line bundles are isomorphisms of line bundles which respect the metrics ; they are called isometries. Constructions from tensor algebra extend naturally to the framework of metrized line bundles, compatibly with isometries. The tensor product of two metrized line bundles and has a natural metrization such that , if and are local sections of and respectively. Similarly, the dual of a metrized line bundle has a metrization, and the obvious isomorphism is an isometry. Consequently, isomorphism classes of metrized line bundles on form an Abelian group . This group fits in an exact sequence
where the first map associates to a real continuous function on the trivial line bundle endowed with the metric such that , and the second associates to a metrized line bundle the underlying line bundle. It is surjective when any line bundle has a metric (this certainly holds if has partitions of unity).
Similarly, we can consider pull-backs of metrized line bundle. Let be a morphism of locally ringed spaces such that for any . Let be a metrized line bundle on . Then, there is a canonical metric on such that for any section . This induces a morphism of Abelian groups .