Morphisme affine

En géométrie algébrique, un morphisme affine peut être pensé comme une famille de schémas affines paramétrée par un schéma de base.

Définition

Si X est un schéma, un ouvert affine de X est une partie ouverte U de X qui, munie de la structure de schéma induite par celle de X, soit un schéma affine.

Soit $f : X\to Y$ un morphisme de schémas. On dit que f est un morphisme affine si pour tout ouvert affine V de Y, f ^{− 1}(V) est un ouvert affine de X.

On montre que cette propriété est équivalente à la suivante qui est plus facilement vérifiable: il existe un recouvrement de Y par des ouverts affines V_i tels que f ^{− 1}(V_i) soit un ouvert affine de X pour tout i.

Exemples

• Un morphisme entre deux schémas affines est toujours affine.

• Une immersion ouverte dans un schéma affine n'est affine que si le schéma de départ est également affine.

Propriétés

• Une immersion fermée est un morphisme affine.

• La composition de morphismes affines est affine.

• Si $X\to Z$ et $Y\to Z$ sont de affines, alors le produit fibré $X\times_Z Y\to Z$ est affine.

• Si $X\to Y$ est affine si $Z\to Y$ est un morphisme de schémas, alors le changement de base $X\times_Y Z\to Z$ est affine.

Construction

Un morphisme affine $f : X\to Y$ induit un faisceau quasi-cohérent d'algèbres $f_*\mathcal O_X$ sur $\mathcal O_Y$.

Inversement, si $\mathcal A$ est un faisceau quasi-cohérent d'algèbres sur $\mathcal O_Y$, alors on peut définir un Y-schéma $\pi: \mathrm{Spec} \mathcal A\to Y$ tel que pour tout ouvert affine V de Y, $\pi^{-1}(V)=\mathrm{Spec} (\mathcal A(V))$.

Soit $\mathcal E$ un faisceau localement libre de rang r. On peut considérer le faisceau d'algèbres symétriques $\mathrm{Sym}(\mathcal E)$. Le morphisme affine $\rho : \mathrm{Spec} (\mathrm{Sym}(\mathcal E))\to Y$ est alors un fibré vectoriel^[1]de rang r. Pour tout ouvert affine V de Y sur lequel $\mathcal E$ est libre, ρ ^{− 1}(V) est isomorphe à l'espace affine $\mathbb A^r_{V}$ sur V.

Morphismes finis

Un morphisme fini est un morphisme affine $f : X\to Y$ tel que $f_*\mathcal O_X$ soit quasi-cohérent de type fini. Cela revient à dire que pour tout ouvert affine V de Y, f ^{− 1}(V) est affine, et $\mathcal O_X(f^{-1}(V))$ est fini sur $\mathcal O_Y(V)$ (en tant que module). Il suffit que cette propriété soit vraie sur un recouvrement affine de Y.

Comme pour les morphismes affines, on a que les immersions fermés sont finies, et que la classe des morphismes finis est stable par composition, produit fibré et changement de base.

Les morphismes finis sont de type fini et même propres.

Si f est fini, alors f ^{− 1}(y) est fini (comme ensemble) pour tout point y de Y. Mais cette propriété ne caractérise pas les morphismes finis. Par exemple toute immersion ouverte vérifie cette propriété, mais une immersion ouverte n'est fini que si elle est aussi fermée.

Notes

1. ↑ Hartshorne, Exercise II.5.18.

Bibliographie

A. Grothendieck et J. Dieudonné: Éléments de géométrie algébrique, Chapitre I. Springer Verlag, 1971. - (Grundlehren der Mathematischen Wissenschaften; 166).

(en) R. Hartshorne: Algebraic Geometry, Springer Verlag, 1977. Graduate Texts in Maths. 52.