# Variété algébrique 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
### Points de vue analytique et algébrique

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 K$^n$ dont les points annulent des polynômes P$_1$, ...,P$_r$ de K[X$_1$, ...,X$_n$]. 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 K$^n$ 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[X$_1$, ...,X$_n$] entier.
* Le cercle x² + y² = 1 dans ℝ² est une variété affine, de même que les coniques.

### Explication de la correspondance ≡

On note A = K[X$_1$, ...,X$_n$] / √( P$_1$, ...,P$_r$) la K-algèbre quotient servant à définir la variété affine.
Ce quotient permet d'écrire P$_i$ (X$_1$, ...,X$_n$) = 0 en remplaçant les petits x$_j$ ∈ K par des grands X$_j$ indéterminés. On peut donc formellement effectuer les mêmes calculs sur les X$_j$ que sur les x$_j$.
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 x$_j$ ∈ K. 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(P$_1$, ...,P$_r$) ⊂ K$^n$, l'intersection des zéros de tous les P$_i$, 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. √(P$_1$, ...,P$_r$) 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

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 T$_1$, au lieu de T$_0$.
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

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éfinir 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\neq 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, qui 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

Une variété (algébrique) affine sur un corps $k$ est un espace localement annelé de la forme $(X,O_{X})$ où $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

* 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

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é A$_m$.