d’espaces annelés de Spec(B)dans Spec(A)obtenus de cette façon sont exactement ceux pour30
lesquels les homomorphismes Ox→Oy(x=f0(y)) sont locaux (i. e. l’image inverse de l’idéal31
maximal est l’idéal maximal).32
On appelle schéma affine un espace annelé isomorphe à un Spec(A), et préschéma un espace33
annelé localement affine, i. e. dont tout point a un voisinage ouvert qui est un schéma affine pour34
la structure induite. On définit de façon évidente les morphismes des préschémas ; localement ils35
correspondent à des homomorphismes d’anneaux.36
Quand on se fixe un préschéma S, et qu’on regarde des morphismes de préschémas X→S, alors37
Sjoue le rôle d’un corps ou d’un anneau de base (ou mieux, d’un espace de base dans une fibration).38
On dit alors que Xest un S-préschéma ; si S=Spec(A), cela signifie aussi que OXest un faisceau39
de A-algèbres. Ainsi, tout préschéma peut être regardé de façon unique comme un Z-préschéma.40
Bien entandu, les S-préschémas forment une catégorie, de plus on montre que dans cette catégorie41
la produit de deux objets X,Yexiste toujours, il est noté X×SY. Cette notion de produit permet42
de définir le changement de base dans un S-préschéma, correspondant à un morphisme S0→S: en43
effet, X×SS0pourra être considéré comme un S0-préschéma.44
On dit que Xest séparé au-dessus de Ssi la diagonale de X×SXest fermée. On appelle schéma un45
préschéma séparé au-dessus de Z; il est alors séparé au-dessus de n’importe quoi. Pour simplifier,46
nous ne parlerons plus que de schémas, que de plus nous supposerons noethériens, i. e. réunions47
finies d’ouverts affines, spectres d’anneaux noéthériens. Xest dit de type fini sur S, si pour tout48
ouvert affine Ude S, son image inverse dans Xest réunion finie d’ouverts affines dont les anneaux49
sont des algèbres de type fini sur l’anneau de U. Ce sont de tels S-schémas qui se prêtent à une50
étude proprement qéométrique. En particulier, pour tout s∈S, la fibre f−1(s)de Xau-dessus de51
sest un schéma algébrique sur le corps résiduel χ(S)de l’anneau local Osde sdans S. Ainsi, X52
peut dans une certaine mesure être considéré comme une famille d’”espaces algébriques” f−1(s)le53
paramètre sparcourant S(i. e., du point de vue local, l’ensemble des idéaux premiers d’un anneau54
donné). Bien entendu, les χ(s)peuvent avoir des caractéristiques différentes. Si S=Spec(k), où55
kest un corps, on retrouve essentiellement la notion usuelle d’”espace algébrique”, avec la seule56
différence que maintenant le faisceau structural peut avoir des éléments nilpotents.57
2