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 de est de la forme pour un convenable. En effet, écrivons , où chacun des est de la forme . Choisissons un modèle propre de tel que pour tout et tout ou bien la fonction ou bien son inverse soit définie au voisinage de sur . Si l’on appelle , pour fixé, l’ouvert de définition commun des pour alors et l’on peut donc prendre .
On imposer à des conditions supplémentaires : par exemple si l’on s’est donné sur chaque un élément de on peut faire en sorte que pour tout : il suffit d’imposer qu’en tout point de et pour tout , ou bien la fonction ou bien son inverse soit définie au voisinage de ; et si l’on s’est donné pour tout un élément de , on peut de même faire en sorte que pour tout .
\definame 6.1.4.
Soit un ouvert quasi-compact de et soit un fibré vectoriel sur . On appellera prémodèle (resp. modèle) de tout couple où est un prémodèle (resp. un modèle) de tel que et où un fibré vectoriel sur dont l’image inverse sur est isomorphe à .
Si est un prémodèle d’un fibré vectoriel sur un ouvert quasi-compact de alors pour tout prémodèle de qui est propre sur , le couple est un prémodèle de .
Si est un ouvert quasi-compact de , tout fibré vectoriel sur admet un modèle. Plus précisément, l’ensemble des classes d’isomorphie de fibrés vectoriels de rang sur s’identifie à la limite inductive des ensembles , où parcourt l’ensemble des modèles de tels que : 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 soit de degré de transcendance 1 sur . C’est alors le corps des fonctions d’une -courbe projective intègre et normale qui est bien déterminée et la flèche naturelle est un isomorphisme d’espaces annelés ; toute fibré vectoriel sur un ouvert quasi-compact de admet dès lors un modèle canonique, à savoir le couple .