francebalade.fr       Cours de Mathématiques       Table des matières       Votre avis sur ce site

Algèbre Commutative & Géométrie Algébrique

La dualité fondamentale entre l'algèbre des anneaux et la géométrie des formes polynomiales.

1. Le Principe du Miroir

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).

2. Le Dictionnaire Fondamental

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)$

3. Un Exemple Concret : Parabole vs Cercle

Cas de la Parabole

Considérons la parabole dans le plan affine réel, définie par $Y - X^2 = 0$.

L'anneau quotient de la parabole
$$A(P) = \mathbb{R}[X, Y] / (Y - X^2)$$ Dans ce quotient, imposer que $Y - X^2 = 0$ équivaut à fixer $Y \equiv X^2$. Tout polynôme en $X$ et $Y$ se simplifie donc en un simple polynôme en $X$ : $$A(P) \cong \mathbb{R}[X]$$ Traduction géométrique : L'anneau de la parabole est isomorphe à l'anneau d'une simple droite. La parabole n'est rien d'autre qu'une droite affine déguisée (elle admet un paramétrage polynomial global $t \mapsto (t, t^2)$).

Cas du Cercle

Prenons maintenant le cercle unité : $X^2 + Y^2 - 1 = 0$.

L'anneau quotient du cercle
$$A(C) = \mathbb{R}[X, Y] / (X^2 + Y^2 - 1)$$ Cet anneau n'est pas isomorphe à $\mathbb{R}[X]$. L'algèbre détecte immédiatement la topologie et la non-linéarité : on ne peut pas paramétrer le cercle entier par une seule variable de manière polynomiale sans singularité.

4. Détection et Résolution des Singularités

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$$
La vision par l'anneau local

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.

L'Éclatement (Blow-up)

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.

5. Au-delà : Les Schémas de Grothendieck

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.