ScalingStacks

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, XX being projective, we may assume that LL is ample and consider a closed embedding of X\mathrm{X} in a projective space PKn\mathrm{P}^{n}_{K} given by some power LeL^{e}. Let 𝔛\mathfrak{X} be the Zariski closure of X\mathrm{X} in PK∘n\mathrm{P}^{n}_{K^{\circ}} ; in concrete terms, if IβŠ‚K⁑[X0,…,Xn]I\subset K[X_{0},\dots,X_{n}] is the homogeneous ideal of i⁑(X)i(X), I∩Kβˆ˜β€‹[X0,…,Xn]I\cap K^{\circ}[X_{0},\dots,X_{n}] is the homogeneous ideal of 𝔛\mathfrak{X}. Let then 𝔏\mathfrak{L} be the restriction to 𝔛\mathfrak{X} of the line bundle π’ͺ⁑(1)\mathscr{O}(1). The triple (𝔛,𝔏,e)(\mathfrak{X},\mathfrak{L},e) is a model of LL and induces a smooth metric on LL.

Different models can give rise to the same metric. If Ο†:𝔛′→𝔛\varphi\colon\mathfrak{X}^{\prime}\rightarrow\mathfrak{X} is a morphism of models, and 𝔏′=Ο†βˆ—β€‹π”\mathfrak{L}^{\prime}=\varphi^{*}\mathfrak{L}, then (𝔛′,𝔏′,e)(\mathfrak{X}^{\prime},\mathfrak{L}^{\prime},e) defines the same smooth metric on LL. Moreover, if two models (𝔛i,𝔏i,ei)(\mathfrak{X}_{i},\mathfrak{L}_{i},e_{i}), for i∈{1,2}i\in\{1,2\}, define the same metric, there exists a third model (𝔛,𝔏)(\mathfrak{X},\mathfrak{L}), with two morphisms Ο†i:𝔛→𝔛i\varphi_{i}\colon\mathfrak{X}\rightarrow\mathfrak{X}_{i} such that the pull-backs Ο†iβˆ—β€‹π”ie1​e2/ei\varphi_{i}^{*}\mathfrak{L}_{i}^{e_{1}e_{2}/e_{i}} coincide with 𝔏\mathfrak{L}. More precisely, if two models 𝔏\mathfrak{L} and 𝔏′\mathfrak{L}^{\prime} of some power LeL^{e} on a normal model 𝔛\mathfrak{X} 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 𝔛\mathfrak{X} be integrally closed in its generic fiber.)

As a consequence, the set PicΒ―sm​(X)\overline{\operatorname{Pic}}_{\text{sm}}(\mathrm{X}) of smooth metrized line bundles is a subgroup of the group Pic¯​(X)\overline{\operatorname{Pic}}(\mathrm{X}). The group PicΒ―sm​(X)\overline{\operatorname{Pic}}_{\text{sm}}(\mathrm{X}) fits within an exact sequence

0β†’π’žβˆžβ€‹(X)β†’PicΒ―sm​(X)β†’Pic⁑(X)β†’0,0\rightarrow\mathscr{C}^{\infty}(\mathrm{X})\rightarrow\overline{\operatorname{Pic}}_{\text{sm}}(\mathrm{X})\rightarrow\operatorname{Pic}(\mathrm{X})\rightarrow 0,

the last map is surjective because every line bundle admits a model. If f:Yβ†’Xf\colon\mathrm{Y}\rightarrow\mathrm{X} is a morphism, then fβˆ—β€‹(PicΒ―sm​(X))βŠ‚PicΒ―sm​(Y)f^{*}(\overline{\operatorname{Pic}}_{\text{sm}}(\mathrm{X}))\subset\overline{\operatorname{Pic}}_{\text{sm}}(\mathrm{Y}).

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