ScalingStacks

6.1.3 [01UW]

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

Tout ouvert quasi-compact 𝖴\mathsf{U} de 𝐏F/K\mathbf{P}_{F/K} est de la forme 𝐏F/K​{V}\mathbf{P}_{F/K}\{V\} pour un VV convenable. En effet, écrivons 𝖴=⋃𝖴i\mathsf{U}=\bigcup\mathsf{U}_{i}, où chacun des 𝖴i\mathsf{U}_{i} est de la forme 𝐏F/K​{fi​,1,…,fi,ℓ⁡(i)}\mathbf{P}_{F/K}\{f_{i,1},\ldots,f_{i,\ell(i)}\}. Choisissons un modèle propre WW de F/KF/K tel que pour tout x∈Wx\in W et tout (i,ℓ)(i,\ell) ou bien la fonction fi,ℓf_{i,\ell} ou bien son inverse soit définie au voisinage de xx sur WW. Si l’on appelle ViV_{i}, pour ii fixé, l’ouvert de définition commun des fi,ℓf_{i,\ell} pour 1≤ℓ≤ℓ⁡(i)1\leq\ell\leq\ell(i) alors 𝖴i=𝐏F/K​{Vi}\mathsf{U}_{i}=\mathbf{P}_{F/K}\{V_{i}\} et l’on peut donc prendre V=⋃ViV=\bigcup V_{i}.

On imposer à VV des conditions supplémentaires : par exemple si l’on s’est donné sur chaque 𝖴i\mathsf{U}_{i} un élément gig_{i} de 𝒪𝐏F/K​(𝖴i)×\mathscr{O}_{\mathbf{P}_{F/K}}(\mathsf{U}_{i})^{\times} on peut faire en sorte que gi∈𝒪V​(Vi)×g_{i}\in\mathscr{O}_{V}(V_{i})^{\times} pour tout ii : il suffit d’imposer qu’en tout point xx de WW et pour tout ii, ou bien la fonction gig_{i} ou bien son inverse soit définie au voisinage de xx  ; et si l’on s’est donné pour tout (i,j)(i,j) un élément hi​jh_{ij} de 𝒪𝐏F/K​(𝖴i∩𝖴j)×\mathscr{O}_{\mathbf{P}_{F/K}}(\mathsf{U}_{i}\cap\mathsf{U}_{j})^{\times}, on peut de même faire en sorte que hi,j∈𝒪V​(Vi∩Vj)×h_{i,j}\in\mathscr{O}_{V}(V_{i}\cap V_{j})^{\times} pour tout (i,j)(i,j).

\definame 6.1.4.

Soit 𝖴\mathsf{U} un ouvert quasi-compact de 𝐏F/K\mathbf{P}_{F/K} et soit 𝖤\mathsf{E} un fibré vectoriel sur 𝖴\mathsf{U}. On appellera prémodèle (resp. modèle) de 𝖤\mathsf{E} tout couple (V,E)(V,E) où VV est un prémodèle (resp. un modèle) de F/KF/K tel que 𝖴=𝐏F/K​{V}\mathsf{U}=\mathbf{P}_{F/K}\{V\} et où EE un fibré vectoriel sur VV dont l’image inverse sur 𝖴=𝐏F/K​{V}\mathsf{U}=\mathbf{P}_{F/K}\{V\} est isomorphe à 𝖫\mathsf{L}.

Si (V,E)(V,E) est un prémodèle d’un fibré vectoriel 𝖤\mathsf{E} sur un ouvert quasi-compact 𝖴\mathsf{U} de 𝐏F/K\mathbf{P}_{F/K} alors pour tout prémodèle WW de F/KF/K qui est propre sur VV, le couple (W,E|V)(W,E|_{V}) est un prémodèle de 𝖤\mathsf{E}.

Si 𝖴\mathsf{U} est un ouvert quasi-compact de 𝐏F/K\mathbf{P}_{F/K}, tout fibré vectoriel sur 𝖴\mathsf{U} admet un modèle. Plus précisément, l’ensemble Fibd⁡(𝖴)\operatorname{Fib}_{d}(\mathsf{U}) des classes d’isomorphie de fibrés vectoriels de rang dd sur 𝖴\mathsf{U} s’identifie à la limite inductive des ensembles Fibd⁡(V)\operatorname{Fib}_{d}(V), où VV parcourt l’ensemble des modèles de FF tels que 𝐏F/K​{V}=𝖴\mathbf{P}_{F/K}\{V\}=\mathsf{U} : en vertu de la description d’un fibré vectoriel au moyen de cocycles et cobords, c’est une conséquence des remarques précédant la définition ci-dessus.

\remaname 6.1.5.

Supposons que FF soit de degré de transcendance 1 sur KK. C’est alors le corps des fonctions d’une KK-courbe projective intègre et normale CC qui est bien déterminée et la flèche naturelle ρ:𝐏F/K→C\rho:\mathbf{P}_{F/K}\to C est un isomorphisme d’espaces annelés  ; toute fibré vectoriel 𝖤\mathsf{E} sur un ouvert quasi-compact 𝖴\mathsf{U} de 𝐏F/K\mathbf{P}_{F/K} admet dès lors un modèle canonique, à savoir le couple (ρ⁡(𝖴),ρ∗​𝖤)(\rho(\mathsf{U}),\rho_{*}{\mathsf{E}}).

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