ScalingStacks

6.4.1 [01VZ]

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.4.1

Soit XX un espace kk-analytique sans bord purement de dimension nn et soit L¯\bar{L} la donnée d’un fibré en droites LL sur XX muni d’une métrique continue. Soit UU un ouvert de XX sur lequel LL admet une section inversible ss. La fonction log⁡∥s∥−1\log\mathopen{\|}{s}\mathclose{\|}^{-1} est alors continue sur UU. Soit c(U,s)c_{(U,s)} le (1,1)(1,1)-courant sur UU égal à d′⁡d′′⁡log⁡∥s∥−1\mathop{\mathrm{d^{\prime}}}\mathop{\mathrm{d}^{\prime\prime}}\log\mathopen{\|}{s}\mathclose{\|}^{-1} ; si la métrique de LL est lisse, c(U,s)c_{(U,s)} est une (1,1)(1,1)-forme lisse. Comme d′​d′′⁡log⁡|h|=0\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}\log\mathopen{|}{h}\mathclose{|}=0, pour toute fonction inversible hh sur UU, le courant c(U,s)c_{(U,s)} (la forme c(U,s)c_{(U,s)} dans le cas lisse) ne dépend pas du choix de ss et peut donc être noté cUc_{U}. Si V⊂UV\subset U alors cU|V=cVc_{U}|_{V}=c_{V}. Il s’ensuit que lorsque UU parcourt l’ensemble des ouverts de XX sur lesquels UU admet une section inversible (ouverts qui recouvrent XX), les courants cUc_{U} se recollent en un (1,1)(1,1)-courant sur XX que l’on notera c1​(L¯)c_{1}(\bar{L}).

Si la métrique de LL est lisse, il s’agit d’une forme lisse.

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