Exemples 2.8 (i) Aucun des ensembles algébriques définis dans l’exemple 2.3 ne sont des
variétés affines. En effet, leurs idéaux ne sont pas premiers.
(ii) Soit I=hX−1, Y −1i ⊂ C[X, Y ]. Alors, V(I) = {(1,1)} ⊂ A2, et donc I(V) = Iqui
est premier. Ainsi, V={(1,1)}est une variété affine.
(iii) Soient f(X) = X2+X+ 1 ⊂F2[X]et α∈¯
F2tel que α2=α+ 1. Alors,
F2[X]/
hfi∼
=F4={0,1, α, α + 1}
car fest irréductible dans F2[X]. Posons I=hfi. Alors V=V(I) = {α, α + 1} ⊂
¯
F2, I(V) = Iet I(V/F2) = hfi ⊂ F2[X]. Puisque fest irréductible, Vest une variété
affine.
Définition 2.9 (Anneau de coordonnée affine de V/K)
Soit V/K une variété affine définie sur K. L’anneau de coordonnée affine de V/K est alors
K[V] = K[X]/
I(V/K). Comme I(V/K)est un idéal premier, K[V]est un anneau intègre.
Le corps des fractions de K[V], noté K(V), est appelé corps des fonctions de V/K. On définit
¯
K[V]et ¯
K(V)de manière similaire, en remplaçant Kpar ¯
K.
Exemples 2.10 (i) Soit Vla variété affine V={(1,1)} ⊂ A2(C). Alors,
C[V] = C[X, Y ]/
hX−1, Y −1i∼
=C.
(ii) Soit V={α, α + 1} ⊂ ¯
F2l’ensemble défini au point (iii)de l’exemple 2.8. Alors,
I(V/F2) = hX2+X+ 1i ⊂ F2[X].
Ainsi, on a F2[V] = F2[X]/
hX2+X+ 1i∼
=F4.
Définition 2.11 (Dimension d’une variété affine)
Soit Vune variété affine. La dimension de V, notée dim(V), est le degré de transcendance
de ¯
K(V)sur ¯
K.
Exemple 2.12
La dimension de Anest n, puisque ¯
K[An] = ¯
K[X1, . . . , Xn]. Si V⊂Anest engendré par un
seul polynôme non-constant, alors dim(V) = n−1.
Comme ¯
K[X]est noethérien, l’idéal I(V)est de génération finie.
Définition 2.13 (Variété affine lisse)
Soient V⊂Anune variété affine, P∈Vet f1, . . . , fm∈¯
K[X]des polynômes tels que
I(V) = hf1, . . . , fmi. On dit que Vest lisse ou non-singulière en Pou encore que Pest un
point lisse de Vsi la matrice
∂fi
∂Xj(P)1≤i≤m,1≤j≤n
est de rang n−dim(V). On dit que Vest lisse ou non-singulière si tous ses points sont lisses.
Exemples 2.14
Soit V⊂Anengendré par un seul polynôme non constant f. Comme dim(V) = n−1, on a
que P∈Vest singulier si et seulement si
∂f
∂Xi
(P)=0
pour tout i= 1, . . . , n. On va utiliser cette caractérisation dans les deux exemples suivants :
5