vignette|400x400px|Représentation du schéma associé au spectre de l'anneau des polynômes à coefficients entiers. En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.

Les schémas furent introduits par Alexandre Grothendieck en 1958, puis étudiés en détail dans son traité Éléments de géométrie algébrique (rédigé en collaboration avec Jean Dieudonné) suivi du Séminaire de géométrie algébrique du Bois Marie ; un des objectifs était d'établir le formalisme nécessaire à la démonstration des conjectures de Weil, qui nécessitaient notamment une définition souple de variété définie sur un corps fini.

Basée sur l'algèbre commutative, qui joue un rôle similaire au calcul différentiel en géométrie différentielle, la théorie des schémas permet une utilisation systématique de la topologie et de l'algèbre homologique. La théorie des schémas unifie aussi la géométrie algébrique avec une partie de la théorie des nombres, ce qui a notamment permis la démonstration du dernier théorème de Fermat.

Formellement, un schéma est un espace topologique localement annelé, localement isomorphe au spectre d'un anneau commutatif muni de son faisceau structural (aussi appelé schéma affine).

Le point de vue relatif en géométrie algébrique met l'accent sur l'étude des morphismes de schémas (on dit que est un schéma au-dessus de ), plutôt que sur l'étude d'un schéma donné. Par exemple, dans l'étude des surfaces algébriques, il peut être utile de considérer des familles de surfaces algébriques au-dessus d'un schéma quelconque. Dans de nombreux cas, la famille de toutes les variétés d'un certain type peut même être vue comme une variété ou un schéma, appelé un espace de modules.

La définition des schémas fut le point de départ d'une large refonte de la géométrie algébrique, qui donna lieu à l'introduction de notions telles que la cohomologie étale, les champs algébriques ou une formalisation géométrique de la théorie de Galois au travers du .

Histoire La géométrie algébrique est principalement née de l'étude des équations polynomiales à coefficients dans les nombres réels. Au , il est devenu clair (avec les travaux de Jean-Victor Poncelet et Bernhard Riemann) que la géométrie algébrique était simplifiée si l'on travaillait plutôt avec des variétés complexes, c'est-à-dire sur le corps des nombres complexes, qui a l'avantage d'être algébriquement clos, chap. IV et V.. Deux problèmes attirent graduellement l'attention au début du , motivés en partie par des problèmes en théorie des nombres : peut-on développer la géométrie algébrique sur un corps algébriquement clos quelconque, en particulier en caractéristique positive ? Qu'en est-t-il sur un corps quelconque ? D'autres méthodes sont alors nécessaires, car les outils de la topologie et de l'analyse complexe, utilisés pour étudier les variétés complexes, ne semblent pas s'appliquer dans ces cadres généraux.

Le théorème des zéros de Hilbert suggère une approche pour fonder la géométrie algébrique sur un corps algébriquement clos quelconque : les idéaux maximaux de l'anneau de polynômes en variables sont en bijection avec l'ensemble de -uplets d'éléments de , et les idéaux premiers correspondent aux ensembles algébriques irréductibles de , aussi appelés variétés algébriques affines. Motivés par ces idées, Emmy Noether et Wolfgang Krull développent l'algèbre commutative dans les années 1920 et 1930. Leurs travaux généralisent la géométrie algébrique dans une direction purement algébrique : au lieu d'étudier les idéaux premiers d'un anneau de polynômes, on peut étudier les idéaux premiers d'un anneau commutatif quelconque. Ainsi, Krull définit la dimension d'un anneau commutatif quelconque en termes de ses idéaux premiers. Si l'anneau est de plus supposé noethérien, il montre plusieurs propriétés attendues d'une notion géométrique de dimension.

L'algèbre commutative de Noether et Krull peut être vue comme une approche algébrique des variétés algébriques affines. Néanmoins, de nombreux arguments en géométrie algébrique fonctionnent mieux dans le cadre de variétés projectives, essentiellement car ces dernières sont compactes. Des années 1920 aux années 1940, Bartel Leendert van der Waerden, André Weil et Oscar Zariski utilisent l'algèbre commutative pour fonder la géométrie algébrique dans le cadre enrichi des variétés projectives (ou quasi-projectives). En particulier, la topologie de Zariski est une topologie adaptée pour les variétés algébriques sur un corps algébriquement clos, remplaçant par certains aspects la topologie classique d'une variété complexe (induite par la topologie sur les nombres complexes).

Pour les applications à la théorie des nombres, van der Waerden et Weil définissent la géométrie algébrique sur un corps quelconque, pas forcément algébriquement clos. Weil est le premier à définir une variété abstraite (non plongée dans un espace projectif) en recollant des variétés affines le long d'ensembles d'ouverts, de façon analogue à la définition d'une variété différentielle en géométrie différentielle. Ce niveau d'abstraction est alors nécessaire pour définir la variété jacobienne d'une courbe sur un corps quelconque (Weil, et démontrent plus tard que les jacobiennes sont bien des variétés projectives).

L'école italienne de géométrie algébrique, principalement active entre la fin du et la première moitié du et très influente sur les travaux de van der Waerden, Weil et Zariski, avait fréquemment utilisé de façon imprécise la notion de point générique d'une variété algébrique, avec l'idée que les propriétés vraies pour le point générique étant souvent vraies pour la plupart des points de la variété. En , dans Foundations of Algebraic Geometry, André Weil définit les points génériques en les considérant dans un corps algébriquement clos très gros, appelé domaine universel. Cette définition n'est alors pas complètement satisfaisante, car une même variété peut ainsi avoir de nombreux points génériques. Ce problème est corrigé dans la théorie des schémas, dans laquelle un schéma admet un point générique si et seulement s'il est irréductible, et ce point générique est alors unique.

Dans les années , Claude Chevalley, Masayoshi Nagata et Jean-Pierre Serre étendent les objets de la géométrie algébrique en généralisant les anneaux de base considérés, motivés en partie par les conjectures de Weil (finalement démontrées en par Pierre Deligne en utilisant toute la force de la théorie des schémas), qui relient la théorie des nombres à la géométrie algébrique. Le mot schéma est utilisé pour la première fois dans le séminaire Chevalley en , où Chevalley, s'intéressant aux idées de Zariski, définit la notion de schéma pour les schémas en termes modernes dits irréductibles et dont les corps résiduels des germes du faisceau structural sont tous égaux. Vers l'année , après plusieurs tentatives infructueuses notamment de Serre, Alexandre Grothendieck parvient à définir une notion générale de schéma. Selon Pierre Cartier, c'est André Martineau qui a suggéré à Serre la possibilité d'utiliser le spectre d'un anneau commutatif arbitraire comme fondement de la géométrie algébrique., notion ensuite utilisée par Grothendieck.

La théorie des schémas est ensuite développée dans un grand traité des fondements de la géométrie algébrique, les Éléments de géométrie algébrique, inachevé et plus connu des mathématiciens sous le nom des EGA, rédigés par Grothendieck avec la collaboration de Jean Dieudonné et publiés entre et par l'Institut des hautes études scientifiques. Ce traité est partiellement complété, sous une forme moins achevée, dans les notes du Séminaire de géométrie algébrique du Bois Marie (aussi connu sous le nom de SGA) qui se tient entre les années et , animé par Grothendieck.

Intuition Un schéma est avant tout un objet géométrique. Telle qu'elle a été inventée, cette notion généralise la notion de variété algébrique. À une variété algébrique sur un corps, la théorie des schémas ajoute des points qui ne sont pas nécessairement fermés (grosso modo, ce sont des points dont les coordonnées sont des variables).

Un schéma généralise aussi une variété algébrique en prenant en compte les multiplicités. Ainsi, les équations et définissant la même variété algébrique sur un corps , mais des schémas différents : . En effet, le deuxième schéma possède un élément nilpotent (ou plutôt, une section globale nilpotente), mais pas le premier.

Un schéma peut par ailleurs être défini sur un anneau quelconque, ce qui permet de s'appliquer à des situations issues de la théorie des nombres (les équations diophantiennes, telle que l'équation de Fermat, étant définies sur les entiers relatifs).

En théorie des nombres, pour étudier les propriétés arithmétiques d'une variété algébrique sur , il est utile de connaître son comportement « modulo » pour tout nombre premier . Pour ce faire, on essaie d'étendre d'une manière raisonnable en un schéma sur l'anneau des entiers relatifs. Ce schéma peut être vu comme une famille de variétés algébriques où est une variété algébrique sur le corps fini premier .

Définition

Schéma affine

Un schéma affine est un espace topologique localement annelé isomorphe (en tant qu'espace localement annelé) au spectre d'un anneau commutatif muni de son faisceau structural. Concrètement, le spectre d'un anneau commutatif est l'ensemble des idéaux premiers de muni de sa topologie de Zariski. Il est muni d'une structure d'espace localement annelé par le faisceau associé au préfaisceau qui à un ouvert de associe le localisé de par rapport à la partie multiplicative constituée des éléments de (vus comme des fonctions sur ) ne s'annulant pas sur . Les sections globales du faisceau structural sont données par et les germes sont égaux, pour tout point de , à , où est l'idéal premier associé à .

Schéma Un schéma est un espace topologique localement annelé localement isomorphe à un schéma affine (en tant qu'espaces localement annelés), c'est-à-dire que pour tout point de , on peut trouver un voisinage ouvert de et un anneau commutatif tel que les espaces localement annelés et soient isomorphes. Un morphisme de schémas est simplement un morphisme d'espaces localement annelés.

On peut faire l'analogie avec une variété différentielle, qui peut être vue comme un espace localement annelé en -algèbres localement isomorphe à un ouvert de muni de son faisceau des fonctions .

Exemples Si est un anneau commutatif et est un élément de vu comme une fonction sur , alors l'ouvert des éléments de n'annulant pas est un schéma affine, isomorphe au spectre de , le localisé de par rapport à la partie multiplicative engendrée par . Ainsi, tout schéma affine admet une base d'ouverts qui sont des schémas affines, et il en va donc de même pour tout schéma. Si est un corps (ou plus généralement un anneau), le schéma associé à est appelé l'espace affine de dimension sur , parfois noté . En général, si est un schéma, on appelle espace affine de dimension relatif à le produit fibré . Soit un corps et l'ouvert complémentaire du point fermé (correspondant à l'idéal premier engendré par et ) dans le schéma affine . L'ouvert est un schéma, puisqu'il admet un recouvrement par des schémas affines . Ce n'est en revanche pas un schéma affine, car il n'est pas isomorphe au schéma affine engendré par l'anneau des sections globales de son faisceau structural (qui est isomorphe à ).

Schémas au-dessus d'un schéma fixé