ScalingStacks

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 L¯\overline{L} and M¯\overline{M} has a natural metrization such that ‖s⊗t‖=‖s‖​‖t‖\left\|{s\otimes t}\right\|=\left\|{s}\right\|\left\|{t}\right\|, if ss and tt are local sections of LL and MM respectively. Similarly, the dual of a metrized line bundle has a metrization, and the obvious isomorphism L⊗L∨≃𝒪XL\otimes L^{\vee}\simeq\mathscr{O}_{X} is an isometry. Consequently, isomorphism classes of metrized line bundles on XX form an Abelian group Pic¯​(X)\overline{\operatorname{Pic}}(X). This group fits in an exact sequence

0→𝒞⁡(X)→Pic¯​(X)→Pic⁡(X)→0,0\rightarrow\mathscr{C}(X)\rightarrow\overline{\operatorname{Pic}}(X)\rightarrow\operatorname{Pic}(X)\rightarrow 0,

where the first map associates to a real continuous function hh on XX the trivial line bundle endowed with the metric such that ‖1‖=e−h\left\|{1}\right\|=e^{-h}, 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 XX has partitions of unity).

Similarly, we can consider pull-backs of metrized line bundle. Let φ:Y→X\varphi\colon Y\rightarrow X be a morphism of locally ringed spaces such that |φ∗​f|=|f|∘φ\left|{\varphi^{*}f}\right|=\left|{f}\right|\circ\varphi for any f∈𝒪Xf\in\mathscr{O}_{X}. Let L¯\overline{L} be a metrized line bundle on XX. Then, there is a canonical metric on φ∗​L\varphi^{*}L such that ‖φ∗​s‖=‖s‖∘φ\left\|{\varphi^{*}s}\right\|=\left\|{s}\right\|\circ\varphi for any section s∈Γ⁡(U,L)s\in\Gamma(U,L). This induces a morphism of Abelian groups φ∗:Pic¯​(X)→Pic¯​(Y)\varphi^{*}\colon\overline{\operatorname{Pic}}(X)\rightarrow\overline{\operatorname{Pic}}(Y).

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