schéma - géométrie algébrique -

Imaginez une surface décrite par plusieurs cartes qui se chevauchent. Chaque carte donne une description algébrique locale, et les descriptions s’accordent sur leurs zones communes. Un schéma organise précisément cet assemblage.

Ses « points » ne sont pas toujours des points dessinables. Ils portent aussi de l’information algébrique. Cette souplesse étend le langage des variétés algébriques et permet d’étudier dans un même cadre des objets géométriques et arithmétiques.

Un espace localement annelé est un espace topologique X muni d’un faisceau d’anneaux, noté O_X, dont l’anneau des germes en chaque point est local. Un schéma est un tel couple (X, O_X) qui possède un recouvrement par des ouverts U_i, chacun isomorphe, comme espace localement annelé, au spectre d’un anneau. Ces morceaux sont les schémas affines.

Pour un anneau commutatif A avec unité, le schéma affine Spec(A) a pour points les idéaux premiers de A. Sa topologie et son faisceau structural enregistrent simultanément les relations géométriques entre ces points et les fonctions algébriques disponibles localement. Une couverture par deux ouverts affines U et V doit conserver les mêmes données sur leur intersection U ∩ V ; la figure matérialise cette compatibilité locale.

Un schéma peut être affine, mais ce n’est pas requis : seule l’existence de cartes affines autour de chaque point est imposée. Les variétés algébriques fournissent des cas particuliers, tandis que les schémas autorisent notamment des phénomènes arithmétiques et des éléments nilpotents.

Dans un texte de géométrie algébrique, plusieurs marqueurs signalent qu’un schéma est en jeu : la notation Spec(A), un espace X accompagné de son faisceau O_X, un recouvrement par des ouverts affines, ou des morphismes entre ces objets. Le mot « point » peut alors désigner un idéal premier plutôt qu’un couple de coordonnées.

Ce support porte deux informations inséparables : une topologie, qui organise les voisinages, et des anneaux de fonctions locales. Leur association permet de passer d’une description algébrique sur chaque carte à un objet géométrique global.

Pour lire la description d’un schéma, on cherche d’abord l’espace X et le faisceau O_X qui lui est associé. On repère ensuite les ouverts affines annoncés et les anneaux dont ils sont les spectres. Puis on vérifie que ces descriptions coïncident sur les intersections. Enfin, on distingue les propriétés locales, contrôlables carte par carte, des propriétés globales de X.

La convention essentielle est que Spec(A) représente les idéaux premiers de A, avec leur topologie de Zariski et leur faisceau structural. Un dessin peut faire croire que seuls la forme et les points visibles comptent. Le bon réflexe consiste à lire aussi les anneaux locaux : deux espaces sous-jacents semblables peuvent porter des structures de schéma différentes.

Considérons l’anneau des entiers relatifs ℤ. Les données sont l’anneau A = ℤ, son spectre X = Spec(ℤ) et l’ouvert U = X.

1. On forme Spec(ℤ) : ses points sont les idéaux premiers de ℤ, c’est-à-dire l’idéal (0) et les idéaux (p) associés aux nombres premiers p.
2. On munit cet ensemble de la topologie de Zariski et de son faisceau structural.
3. L’unique ouvert U recouvre X.
4. L’identité de X fournit un isomorphisme entre U et le schéma affine Spec(ℤ).

Ainsi X est un schéma, et même un schéma affine. Le contrôle est direct : chaque point de X appartient à U, et U possède bien la forme Spec(A) exigée par la définition. Cet exemple montre aussi qu’un schéma peut encoder l’arithmétique sans être une courbe dessinée dans le plan.

Pour étudier des solutions d’équations polynomiales, on emploie une variété algébrique lorsque le cadre classique suffit. On préfère un schéma lorsque la construction doit conserver des phénomènes comme les multiplicités ou les éléments nilpotents.

En arithmétique, Spec(ℤ) transforme les idéaux premiers en points d’un même espace. Cette lecture est préférable à une simple liste de nombres premiers lorsque leurs voisinages et leurs fonctions locales interviennent.

Lorsqu’un objet n’est pas décrit par un seul anneau, on travaille avec plusieurs cartes affines. On les recolle si leurs structures s’accordent sur les intersections ; chercher un unique anneau global serait alors trop restrictif.

Un schéma au sens courant est un dessin simplifié. Un schéma algébrique est un espace localement annelé : la présence d’un faisceau d’anneaux et de cartes Spec(A) tranche immédiatement.

Un schéma affine est globalement de la forme Spec(A). Un schéma général n’a besoin de l’être que localement ; plusieurs cartes affines peuvent être nécessaires pour le couvrir.

Une variété algébrique appartient au cadre géométrique classique que la notion de schéma généralise. La possibilité d’éléments nilpotents ou d’un cadre arithmétique signale que le langage des schémas est réellement utilisé.

Localement affine ne signifie pas globalement affine. Si chaque point possède une carte Spec(A), on peut conclure que l’objet est un schéma, pas qu’un seul anneau décrit tout l’espace. Il faut vérifier séparément l’affinité globale.

L’espace topologique ne suffit pas. Oublier le faisceau structural efface une partie de l’objet. Le symptôme est une comparaison fondée seulement sur les points et les ouverts ; il faut aussi comparer les anneaux locaux.

Les points ne sont pas nécessairement des solutions numériques. Dans Spec(ℤ), (0) et les idéaux (p) sont des points. Il faut revenir à la définition par les idéaux premiers avant toute interprétation graphique.

Une structure non réduite peut être invisible au dessin. Des éléments nilpotents du faisceau peuvent distinguer deux schémas ayant le même espace topologique sous-jacent. Il faut examiner la structure annelée, pas seulement son support.

Grothendieck Alexandre — Situer le mathématicien qui a introduit les schémas vers 1958 et porté leur exposition dans les EGA.

Retrouver Grothendieck — Prolonger le contexte intellectuel autour de l’auteur associé à la théorie des schémas.