Morphisme séparé

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En géométrie algébrique, les schémas ne sont généralement pas séparés pour la topologie de Zariski. La notion de schémas séparés, ou plus généralement de morphismes séparés pallie ce défaut et permet de transposer certaines propriétés d'unicité des espaces topologiques séparés vers les schémas séparés.

Dans la première édition des EGA, les schémas étaient appelés des préschémas et les schémas séparés des schémas. Cette convention a été abandonnée depuis.

Une caractérisation des espaces topologiques séparés[modifier | modifier le code]

Soit $X$ un espace topologique. Alors il est séparé si et seulement la diagonale $\{(x,x)\in X\times X\}$ de $X\times X$ est fermée dans $X\times X$ (ce dernier étant muni de la topologie produit). Ce qui rend un schéma non séparé pour sa topologie de Zariski est qu'en fait la topologie de Zariski sur $X\times X$ n'est pas la topologie produit.

Définition[modifier | modifier le code]

Soit $X\to S$ un morphisme de schémas. Soient $p,q\colon X\times _{S}X\to X$ les projections du produit fibré de $X$ par lui-même sur ses composantes. Par la propriété universelle du produit, il existe un unique morphisme de $S$ -schémas $\Delta _{X/S}\colon X\to X\times _{S}X$ tel que $p\circ \Delta _{X/S}={\rm {Id}}_{X}=q\circ \Delta _{X/S}$ . Ce morphisme est appelé le morphisme diagonal de $X$ sur $S$ . Son image est appelé la diagonale de $X\times _{S}X$ .

Un morphisme séparé est un morphisme de schémas $X\to S$ tel que la diagonale de $X\to X\times _{S}X$ est une partie fermée.

On dit qu'un $S$ -schéma $X$ est séparé si son morphisme structural $X\to S$ est séparé.

Un schéma séparé est un schéma $X$ tel que le morphisme canonique $X\to {\rm {Spec}}\ \mathbb {Z}$ est séparé.

Exemples

Tout schéma affine est séparé.
Le recollement de deux copies $X_{1},X_{2}$ de la droite affine le long de l'ouvert $X_{i}\setminus \{0\}$ est un schéma non-séparé.

Propriétés[modifier | modifier le code]

Les immersions fermées et les immersions ouvertes sont des morphismes séparés.
(changement de base) Si $X\to S$ est séparé, alors pour tout $T\to S$ , le changement de base $X\times _{S}T\to T$ est séparé.
Le produit fibré $X\times _{S}Y$ de $S$ -schémas séparés est un $S$ -schéma séparé.
La composition de morphismes séparés est séparé.
On a l'équivalence des propriétés :

$X$ est séparé ;
il existe un morphisme séparé $X\to {\rm {Spec}}\ A$ vers un schéma affine ;
tout morphisme $X\to {\rm {Spec}}A$ est séparé.

Proposition — Soient $\scriptstyle f,g\colon X\to Y$ des morphismes de schémas avec $X$ réduit et $Y$ séparé. S'il existe une partie ouverte dense $U$ de $X$ telle que $f|_{U}=g|_{U}$ , alors $f=g$ .

Soit $f\colon X\to Y$ un morphisme de $S$ -schémas avec $Y$ séparé sur $S$ . Alors le graphe de $f$ est une partie fermée de $X\times _{S}Y$ . Le graphe de $f$ est par définition l'image du morphisme $({\rm {Id}}_{X},f)\colon X\to X\times _{S}Y$ (qui intuitivement envoie $x$ sur $(x,f(x))$ , ce qui est d'ailleurs rigoureusement exact au niveau des $T$ -points $X(T)\to X(T)\times Y(T)$ ).
Un groupe algébrique est toujours séparé.