ScalingStacks

6.2.14 [01VL]

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

6.2.14

Pour ∗∈{𝒞0,PL,lisse}*\in\{\mathscr{C}^{0},{\rm PL},\text{lisse}\}, notons Pic^⁡(X,∗)\mathop{\widehat{\mathrm{Pic}}}(X,*) l’ensemble des classes d’isométrie de fibrés en droites sur XX munis d’une métrique ∗*. Le produit tensoriel et l’inverse le munissent d’une structure de groupe abélien. De plus, l’oubli de la métrique définit un homomorphisme de groupes Pic^⁡(X,∗)→Pic⁡(X)\mathop{\widehat{\mathrm{Pic}}}(X,*)\rightarrow\operatorname{Pic}(X). Cet homomorphisme est surjectif si XX est paracompact (et si |k×|≠1\mathopen{|}{k^{\times}}\mathclose{|}\neq 1 lorsque ∗=PL*={\rm PL}). Son noyau est l’ensemble des métriques ∗* sur le fibré en droites trivial. C’est donc le groupe des fonctions ∗* sur XX modulo le sous-groupe des fonctions (continues, lisses et PL) de la forme log⁡|u|\log\mathopen{|}{u}\mathclose{|}, pour u∈Γ⁡(X,𝒪X∗)u\in\Gamma(X,\mathscr{O}_{X}^{*}).

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