Ensemble algébrique - Définition

Introduction

En géométrie algébrique, les ensembles algébriques sont, grosso modo, les points d'une variété algébrique affine ou projective. Ils servent de support intuitif à la géométrie algébrique.

Ensembles algébriques affines

Dans cette section k désignera un corps algébriquement clos (par exemple ℂ), n un entier supérieur ou égal à un. On considère l'espace affine de dimension n sur k, c’est-à-dire l'ensemble kⁿ (dépourvu de structure algébrique).

Définition. Soit S une partie de l'anneau des polynômes , on appelle ensemble algébrique associé à S et on note Z(S) le sous-ensemble de kⁿ suivant :

c’est-à-dire le lieu d'annulation commun à tous les éléments de S.

Remarques

• Si I est l'idéal de engendré par S, alors Z(I) = Z(S). En particulier, comme est noethérien, I est engendré par une partie finie S'. Il suit que Z(S) = Z(S'). Autrement dit, un ensemble algébrique est toujours le lieu d'annulation commun à un nombre fini de polynômes.

• Etant donné un ensemble algébrique , on peut retourner dans les idéaux de en posant I(E) l'ensemble des polynômes s'annulant sur E. I(E) est alors un idéal radiciel. Par exemple pour k=ℂ, l'ensemble algébrique défini par z² = 0 est réduit au point 0. En revanche l'idéal engendré par le polynôme Z² n'est pas radiciel car il ne contient pas Z. I(z²=0) est donc égal à son radical, à savoir z = 0.

• Comme k est algébriquement clos, le théorème des zéros de Hilbert affirme que la fonction I est une bijection entre les ensembles algébriques de kⁿ et les idéaux radiciels de . Les points d'un ensemble algébrique E correspondent aux idéaux maximaux de .

• Un ensemble algébrique E est dit irréductible ssi I(E) est un idéal premier.

Exemples :

1. Dans le plan affine k², le lieu d'annulation d'un polynôme à deux variables non-nul est un ensemble algébrique affine appelé courbe plane et le degré du polynôme est appelé degré de la courbe. Les droites sont les ensembles algébriques de degré 1, les coniques ceux de degré 2, les cubiques ceux de degré 3 et ainsi de suite.
2. Dans l'espace affine k³ le lieu d'annulation d'un polynôme à trois variables non-nul est un ensemble algébrique affine qui est une surface algébrique . Tout comme pour les courbes on définit le degré d'une surface, les plans sont de degré 1, les quadriques de degré 2 etc.
3. Dans un espace affine, tout ensemble fini de points est un ensemble algébrique affine.

Propriétés:

1. Z({0}) = kⁿ, Z({1}) est vide;
2. ;
3. L'intersection d'une famille d'ensembles algébriques Z(I_λ) est égale à Z(I), où I est l'idéal engendré par .

Topologie de Zariski

L'espace affine kⁿ (resp. projectif Pⁿ(k)) est muni d'une topologie dite de Zariski. Les parties fermées pour cette topologie sont les ensembles algébriques dans kⁿ (resp. ensembles algébriques projectifs dans Pⁿ(k)). La topologie de Zariski sur un ensemble algébrique (resp. ensemble algébrique projectif) est par définition la topologie induite par celle de l'espace affine (resp. projectif) qui le contient.

Les parties ouvertes remarquables de l'espace affine (resp. projectif) sont les ouverts principaux D(f) (resp. D ₊ (f)), c'est-à-dire le complémentaire de Z({f}) (resp. Z ₊ ({f})). La restriction d'un ouvert principal à un ensemble algébrique est appelé ouvert principal de l'ensemble algébrique. Les ouverts principaux forment une base de topologie.

Un sous-ensemble ouvert d'un ensemble algébrique affine (resp. projectif) est appelé quasi-affine (resp. quasi-projectif).

L'espace affine kⁿ est quasi-projectif car il s'identifie à l'ouvert Pⁿ(k) − Z ₊ (X₀) de Pⁿ(k) par l'application . On vérifie que cette application induit un homéomorphisme de l'espace affine sur son image. Il suit que tout ensemble algébrique quasi-affine est quasi-projectif.

Exemple: Les parties fermées de la droite affine k sont les parties finies et k lui-même.

La topologie de Zariski est apparemment assez pauvre (peu d'ouverts, deux points ne sont en général pas séparés par des voisinages ouverts disjoints), mais elle est suffisante pour beaucoup de propos.

Relations entre ensembles algébriques affines et ensembles algébriques projectifs : Un ensemble algébrique projectif Z est réunion finie d'ouverts (pour sa topologie de Zariski) qui sont des ensembles algébriques affines. En effet, Z est défini par l'annulation de polynômes homogènes à n+1 variables. Notons Z_i l'ensemble des tels que x_i soit non-nul. Alors est ouvert dans Z; les Z_i recouvrent Z; il reste à voir que Z_i est un ensemble algébrique affine. Si Z = Z ₊ (S), et si S_i est l'ensemble des polynômes F(x₀,...,x_{i − 1},1,x_{i + 1},...,x_n) quand les F parcourent les polynômes homogènes dans S, alors on voit facilement que Z_i est l'ensemble algébrique Z(S_i) dans kⁿ.