La dualité fondamentale entre l'algèbre des anneaux et la géométrie des formes polynomiales.
L'algèbre commutative et la géométrie algébrique forment les deux faces d'une même pièce. Le principe fondateur repose sur une observation simple :
Toute question géométrique (points d'intersection, tangentes, dimension, courbure) possède un équivalent exact en langage algébrique (idéaux premiers, modules, anneaux réguliers).
Sur un corps algébriquement clos $k$ (comme $\mathbb{C}$), la correspondance entre le monde géométrique et le monde algébrique se formalise via le Théorème des zéros de Hilbert (Nullstellensatz) :
| Géométrie (Espace affine $\mathbb{A}^n$) | Algèbre (Anneau $A = k[X_1, \dots, X_n]$) |
|---|---|
| Espace ambiant $\mathbb{A}^n$ | L'anneau de polynômes $k[X_1, \dots, X_n]$ |
| Ensemble algébrique $V$ | Idéal radical $I(V) = \{P \mid P(x) = 0, \, \forall x \in V\}$ |
| Point géométrique $P = (a_1, \dots, a_n)$ | Idéal maximal $\mathfrak{m}_P = (X_1 - a_1, \dots, X_n - a_n)$ |
| Sous-variété irréductible (d'un seul tenant) | Idéal premier $\mathfrak{p}$ |
| Courbe ou surface $V$ | Anneau de coordonnées quotient $k[X_1, \dots, X_n] / I(V)$ |
| Intersection de deux formes $V \cap W$ | Somme des idéaux $I(V) + I(W)$ |
| Union de deux formes $V \cup W$ | Produit ou intersection des idéaux $I(V) \cap I(W)$ |
Considérons la parabole dans le plan affine réel, définie par $Y - X^2 = 0$.
Prenons maintenant le cercle unité : $X^2 + Y^2 - 1 = 0$.
Un point d'une courbe $F(X, Y) = 0$ est singulier (nœud, point de rebroussement) lorsque toutes ses dérivées partielles s'annulent en même temps que la fonction :
$$F(x_0, y_0) = 0 \quad \text{et} \quad \frac{\partial F}{\partial X}(x_0, y_0) = \frac{\partial F}{\partial Y}(x_0, y_0) = 0$$Pour étudier la forme locale au voisinage d'un point $P$, l'algèbre commutative utilise l'anneau local $\mathcal{O}_P$, obtenu par localisation. Son unique idéal maximal $\mathfrak{m}$ contient les fonctions nulles en ce point.
Le point est lisse si et seulement si l'anneau local est régulier :
$$\dim_k(\mathfrak{m} / \mathfrak{m}^2) = \text{dimension de la variété}$$Si la dimension vectorielle de cet espace (l'espace cotangent de Zariski) est supérieure à la dimension géométrique de la forme, le point est singulier.
Pour supprimer ces singularités, les géomètres remplacent le point dégradé par l'ensemble des droites tangentes qui s'y croisent (un diviseur exceptionnel $\mathbb{P}^1$). Les branches qui se coupaient se retrouvent séparées à des niveaux de pente différents : la singularité est résolue.
Dans les années 1960, Alexandre Grothendieck pousse la dualité jusqu'à son aboutissement en inventant la notion de schéma :
Cette unification spectaculaire a effacé la frontière entre l'analyse, la géométrie et l'arithmétique pure, fournissant le cadre moderne qui a permis la démonstration du Grand Théorème de Fermat par Andrew Wiles.