ScalingStacks

6.2.15 [01VM]

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

Soit EE un fibré vectoriel métrisé sur XX. Soit f:Y→Xf\colon Y\rightarrow X un morphisme d’espaces kk-analytiques. On dispose alors d’un carré cartésien

    𝐕⁡(f∗​E)       f′                     𝐕⁡(E)              Y       f          X    .\vbox{\lx@xy@svg{\hbox{\raise 0.0pt\hbox{\kern 20.5pt\hbox{\ignorespaces\ignorespaces\ignorespaces\hbox{\vtop{\halign{\entry@#!@&&\entry@@#!@\cr&\cr&\crcr}}}\ignorespaces{\hbox{\kern-20.5pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise-2.5pt\hbox{$\textstyle{\mathbf{V}(f^{*}E)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 20.5pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{}}$}}}}}{\hbox{\lx@xy@droprule}}\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 23.16315pt\raise 6.57835pt\hbox{{}\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\hbox{\hbox{\kern 0.0pt\raise-2.21725pt\hbox{$\scriptstyle{f^{\prime}}$}}}\kern 3.0pt}}}}}}\ignorespaces{\hbox{\kern 44.5pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}$}}}}}{\hbox{\lx@xy@droprule}}{\hbox{\lx@xy@droprule}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 0.0pt\raise-8.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{}}$}}}}}{\hbox{\lx@xy@droprule}}\ignorespaces{\hbox{\kern 0.0pt\raise-24.33334pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}$}}}}}{\hbox{\lx@xy@droprule}}{\hbox{\lx@xy@droprule}}{\hbox{\kern 44.5pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise-2.5pt\hbox{$\textstyle{\mathbf{V}(E)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 59.71526pt\raise-8.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{}}$}}}}}{\hbox{\lx@xy@droprule}}\ignorespaces{\hbox{\kern 59.71526pt\raise-24.33334pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}$}}}}}{\hbox{\lx@xy@droprule}}{\hbox{\lx@xy@droprule}}{\hbox{\kern-7.01389pt\raise-31.66666pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise-2.5pt\hbox{$\textstyle{Y\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 7.0139pt\raise-31.66666pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{}}$}}}}}{\hbox{\lx@xy@droprule}}\ignorespaces\ignorespaces\ignorespaces{\hbox{\kern 24.51558pt\raise-25.55556pt\hbox{{}\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\hbox{\hbox{\kern 0.0pt\raise-1.75pt\hbox{$\scriptstyle{f}$}}}\kern 3.0pt}}}}}}\ignorespaces{\hbox{\kern 52.18054pt\raise-31.66666pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{$\textstyle{\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}$}}}}}{\hbox{\lx@xy@droprule}}{\hbox{\lx@xy@droprule}}{\hbox{\kern 52.18054pt\raise-31.66666pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise-2.5pt\hbox{$\textstyle{X}$}}}}}}}\ignorespaces\ignorespaces}}}}}.

Si EE est libre, identifié à 𝒪Xn\mathscr{O}_{X}^{n}, f∗​Ef^{*}E est identifié à 𝒪Yn\mathscr{O}_{Y}^{n}, le morphisme f′f^{\prime} s’identifie à l’application (id,f)(\operatorname{id},f) de 𝐕⁡(f∗​E)=𝐀n×Y\mathbf{V}(f^{*}E)=\mathbf{A}^{n}\times Y dans 𝐕⁡(E)=𝐀n×X\mathbf{V}(E)=\mathbf{A}^{n}\times X. On définit alors une métrique sur le fibré vectoriel f∗​Ef^{*}E par la composition 𝐕⁡(f∗​E)→f′𝐕⁡(E)→∥⋅∥𝐑+\mathbf{V}(f^{*}E)\xrightarrow{f^{\prime}}\mathbf{V}(E)\xrightarrow{\mathopen{\|}{\cdot}\mathclose{\|}}\mathbf{R}_{+}.

Si la métrique de EE est lisse, resp. PL{\rm PL}, il en est de même de la métrique de f∗​Ef^{*}E ainsi définie. Par passage aux classes d’isométrie de fibrés en droites métrisés PL, on en déduit un homomorphisme de groupes f∗:Pic^⁡(X,∗)→Pic^⁡(Y,∗)f^{*}\colon\mathop{\widehat{\mathrm{Pic}}}(X,*)\rightarrow\mathop{\widehat{\mathrm{Pic}}}(Y,*).

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