Variété algébrique affine

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Ne doit pas être confondu avec les variétés affines (ou sous-espaces affines) en géométrie affine

En géométrie algébrique, une variété affine est un modèle local pour les variétés algébriques, c'est-à-dire que celles-ci sont obtenues par recollement de variétés affines. Grossièrement, une variété affine est un ensemble algébrique affine X avec une structure algébrique supplémentaire qui est la donnée de l'anneau des fonctions régulières sur chaque partie ouverte de X.

Origine[modifier | modifier le code]

Article détaillé : Ensemble algébrique.

Points de vue analytique et algébrique[modifier | modifier le code]

Le point de vue le plus simple pour décrire une variété algébrique affine est l'ensemble des solutions d'un système d'équations polynomiales à coefficients dans un corps commutatif K. Autrement dit, une variété affine est une partie de Kn dont les points annulent des polynômes P1, ...,Pr de K[X1, ...,Xn]. La géométrie algébrique offre une vision purement algébrique de ce concept de variété affine, par l'équivalence suivante :

 \left\{\begin{array}{l} P_1(x_1,\dots,x_n)=0 \\ \vdots \\P_r(x_1,\dots,x_n)=0 \end{array} \right. \quad \equiv \quad \text{Spm } \frac{K[X_1,\dots,X_n]}{\sqrt{(P_1,\dots,P_r)}}

avec Spm le spectre maximal (i.e. l'ensemble des idéaux maximaux), (P_1,\dots, P_r) l'idéal engendré par les P_i et √ le radical d'un idéal.

Le point de vue de gauche est dit analytique et celui de droite algébrique. Dans le point de vue algébrique on ne manipule plus des points de Kn mais des polynômes à n indéterminées.

Exemples

  • L'ensemble K^n est une variété algébrique affine (lieu d'annulation du polynôme nul), il correspond à Spm K[X1, ...,Xn] entier.
  • Le cercle x² + y² = 1 dans ℝ² est une variété affine, de même que les coniques.

Explication de la correspondance ≡[modifier | modifier le code]

On note A = K[X1, ...,Xn] / √( P1, ...,Pr) la K-algèbre quotiente servant à définir la variété affine.

Ce quotient permet d'écrire Pi (X1, ...,Xn) = 0 en remplaçant les petits xjK par des grands Xj indéterminés. On peut donc formellement effectuer les mêmes calculs sur les Xj que sur les xj.

Le radical d'idéal autorise les simplifications de la forme

Q(X_1,\dots,X_n)^m = 0 \quad \Rightarrow\quad  Q(X_1,\dots,X_n) = 0

avec Q un polynôme et m entier positif, à l'instar de ce qui se passerait en travaillant avec les petits xjK. Autrement dit A est une K-algèbre réduite, au sens où son seul élément nilpotent est 0.

L'opération Spm sert à extraire de A un ensemble que l'on a envie d'identifier avec Z(P1, ...,Pr)Kn, l'intersection des zéros de tous les Pi, c'est-à-dire la variété du point de vue analytique. On a en effet l'injection canonique suivante

 \begin{array}{rcl} \phi : Z(P_1,\dots,P_r) &\to  &\text{Spm } (K[X_1,\dots,X_n]/\sqrt{(P_1,\dots,P_r)}) \\ (a_1, \dots,a_n)&\mapsto & \pi(\, (X_1-a_1,\dots ,X_n-a_n)\, )\end{array}

avec π la projection canonique dans l'anneau quotient. Si de surcroît le corps K est algébriquement clos, le Nullstellensatz prouve que cette injection est une bijection. Lorsque K n'est pas algébriquement clos, l'application \pi n'est plus surjective en général. Par exemple le membre de gauche peut être vide sans que celui de droite le soit.

Une information sur la variété affine est codée dans l'intégrité de A. Considérons notamment la variété affine réelle (x-1)(x-2) = 0. Par intégrité dans les réels, on déduit immédiatement que x=1 ou x=2, ce qui fait que la variété a 2 points. On vérifie que Spm A a également 2 points, comme il se doit. En revanche on ne peut ni écrire X=1 ni X=2 dans les polynômes, car chacun réduirait la variété à 1 point, A n'est donc pas intègre ici. Il vient qu'une variété affine est faite d'un seul morceau si et seulement si son algèbre quotient A est intègre, i.e. √(P1, ...,Pr) est un idéal premier. On dit dans ce cas que la variété est irréductible.

On remarque enfin que A est une K-algèbre de type fini ; le reste de cet article est donc consacré à la structure des spectres maximaux de ces algèbres. On verra que ce sont des espaces topologiques localement annelés.

Dimension de Krull[modifier | modifier le code]

On définit désormais une variété algébrique affine comme Spm A, avec A une K-algèbre de type fini. Une variété affine est alors naturellement munie de la topologie de Zariski. Ici nous ne considérons que le spectre maximal et non la totalité du spectre premier ; il n'y a donc pas de points génériques et les variétés affines vérifient l'axiome de séparation T1, au lieu de T0.

Avec la topologie de Zariski, on a une bonne définition de la dimension, la dimension de Krull, qui coïncide avec l'intuition sur les cas simples.

Faisceau des fonctions régulières[modifier | modifier le code]

Lorsque k est algébriquement clos et A est réduit, tout élément f de A peut s'identifier à une application {\rm Spm}(A)\to k, qui à tout idéal maximal m associe la classe de f dans A/m=k. Lorsque A=k[X_1,\ldots, X_n], cette application n'est autre que l'application polynomiale associée à f lorsque {\rm Spm}(A) est identifié à k^n par le théorème des zéros de Hilbert.

Par analogie, dans le cas général (k quelconque, et A non nécessairement réduit), les éléments de A sont appelés des fonctions régulières sur {\rm Spm}(A) (par opposition aux fonctions rationnelles qui peuvent avoir des pôles). Et puisque la localisation A_f a pour spectre maximal D(f), il est naturel d'appeler les éléments de A_f des fonctions régulières sur l'ouvert D(f).

Pour définition les fonctions régulières sur des ouverts quelconques de {\rm Spm}(A), nous avons besoin de la notion de faisceaux sur {\rm Spm}(A).

Proposition — Soit X l'espace topologique {\rm Spm}(A). À isomorphisme près, il existe un unique faisceau d'anneaux commutatifs O_X sur X dont l'anneau des sections sur tout ouvert principal D(f) s'identifie à l'anneau localisé A_f. Pour tout idéal maximal m de A, l'anneau des germes de fonctions régulières en m (vu comme un point de X) s'identifie au localisé A_m de A en m.

Pour tout ouvert U, les éléments de O_X(U) sont appelés des fonctions régulières sur U. Le couple X, O_X est un espace localement annelé. Et le faisceau O_X est appelé le faisceau structural de (X, O_X).

Exemples

  • Si X={\rm Spm}(k[X_1,\ldots, X_n]) et si U est un ouvert, réunion d'ouverts principaux D(f_1), \ldots, D(f_m), alors O_X(U)=k[X_1, \ldots, X_n]_f, où f est un pgcd des f_i. Attention que U\ne D(f) en général.
  • Supposons A intègre de corps des fractions K. Alors toute localisation de A se plonge canoniquement dans K. Les fonctions régulières sur un ouvert U sont alors les fractions \alpha telle que pour tout ouvert principal D(f) contenu dans U, \alpha peut s'écrire sous la forme g/f^n pour un g\in A et un entier naturel n. Comme f ne s'annule jamais dans D(f) (c'est-à-dire que f n'appartient à aucun idéal maximal dans D(f)\subseteq {\rm Spm}(A)) , \alpha est une fraction rationnelle sans pôle dans U en un certain sens.

Si \phi : A\to B est un morphisme de k-algèbres, quit induit une application continue f : Y={\rm Spm}(B)\to X={\rm Spm}(A), alors on a un morphisme d'espaces localement annelés (X, O_X)\to (Y, O_Y) dont l'application continue sous-jacente est f, et le morphisme d'anneaux B=O_Y(Y) \to A=O_X(X) est \phi.

Définition formelle[modifier | modifier le code]

Une variété (algébrique) affine sur un corps k est un espace localement annelé de la forme (X, O_X)X est le spectre maximal d'une k-algèbre de type fini A muni de la topologie de Zariski, et où O_X est le faisceau des fonctions régulières sur X. S'il n'y a pas de confusion possible, la variété affine (X, O_X) sera notée simplement X.

Un morphisme de variétés affines X\to Y est un morphisme d'espaces localement annelés (X, O_X)\to (Y, O_Y).

Exemple La variété affine {\rm Spm}(k[X_1,\ldots, X_n]) s'appelle l'espace affine de dimension n sur k.

Premières propriétés[modifier | modifier le code]

  • Un morphisme de variétés affines f: {\rm Spm}(B)\to {\rm Spm}(A) est uniquement déterminé par un morphisme de k-algèbres \phi: A\to B et le morphisme f est celui qui est associé à \phi comme plus haut. Ainsi un morphisme
{\rm Spm} (k[X_1,\ldots, X_n]/I)\to {\rm Spm}(k[Y_1,\ldots, Y_m]/J)

est toujours donné par un morphisme de k-algèbres \psi : k[Y_1,\ldots, Y_m]\to k[X_1, \ldots, X_n] tel que \psi(J)\subseteq I. Au plan ensembliste (si k est algébriquement clos), le morphisme envoie un point (x_1,\ldots, x_n)\in Z(I) sur (P_1(x_1,\ldots, x_n), \ldots, P_m(x_1, \ldots, x_n)), où P_i(X_1,\ldots, X_n)=\psi(Y_i). C'est une application polynomiale.

  • Toute sous-variété fermée d'une variété affine {\rm Spm}(A) est une variété affine {\rm Spm}(A/I) pour un idéal I.
  • Pour tout f\in A, la variété affine {\rm Spm}(A_f) est une sous-variété ouverte de {\rm Spm}(A) dont l'espace sous-jacent est D(f).
  • En général, il existe des sous-variétés ouvertes affines de {\rm Spm}(A) qui ne sont pas de la forme {\rm Spm}(A_f), et il existe des sous-variétés ouvertes qui ne sont pas affines.

Espaces tangent et cotangent de Zariski[modifier | modifier le code]

Puisque les polynômes se dérivent formellement (et que leurs dérivées sont des polynômes), on peut algébriser une partie des calculs de la géométrie différentielle. Il est notamment possible d'effectuer des calculs linéaires sur une variété algébrique Spm A en chacun de ses points m, en y construisant un espace vectoriel tangent et cotangent. Ces espaces vectoriels s'obtiennent à partir de l'anneau localisé Am.

Référence[modifier | modifier le code]

(en) Robin Hartshorne, Algebraic Geometry (en) [détail des éditions], chap. I (Le corps de base est algébriquement clos.)