summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-05-14 22:27:20 +0200
committerDavid A. Madore <david+git@madore.org>2010-05-14 22:27:20 +0200
commitc2895d51e3056c48d36373cc9a064886228673c4 (patch)
tree3da7b10f6d208f7c73ea23ab4a709d3436706196
parentcf107931adfc1512ca3ad05d320a785251792f12 (diff)
downloadmdi349-c2895d51e3056c48d36373cc9a064886228673c4.tar.gz
mdi349-c2895d51e3056c48d36373cc9a064886228673c4.tar.bz2
mdi349-c2895d51e3056c48d36373cc9a064886228673c4.zip
More about (and reorganize) the correspondance between ideals and Zariski-closed sets in affine space.
-rw-r--r--notes-mdi349.tex147
1 files changed, 119 insertions, 28 deletions
diff --git a/notes-mdi349.tex b/notes-mdi349.tex
index 78f7c7f..b2a2b5a 100644
--- a/notes-mdi349.tex
+++ b/notes-mdi349.tex
@@ -28,6 +28,7 @@
\newtheorem{thm}[comcnt]{Théorème}
\newtheorem{cor}[comcnt]{Corollaire}
\newtheorem{rmk}[comcnt]{Remarque}
+\newtheorem{scho}[comcnt]{Scholie}
\newtheorem{exmps}[comcnt]{Exemples}
\newcommand{\limp}{\mathrel{\Rightarrow}}
\newcommand{\liff}{\mathrel{\Longleftrightarrow}}
@@ -598,15 +599,52 @@ Lemme de Nakayama ?
Pour le moment, $k$ est un corps, qui sera bientôt algébriquement
clos.
+%
+\subsection{Une question d'idéaux maximaux}
+
+On commence par une remarque : si $x = (x_1,\ldots,x_d)$ est un point
+de $k^d$, on dispose d'un \emph{morphisme d'évaluation en $x$},
+$k[t_1,\ldots,t_d] \to k$, donné par $f \mapsto f(x_1,\ldots,x_d)$
+(pour $f$ un polynôme à $d$ indéterminées), qui à $f$ associe sa
+valeur en $d$. Ce morphisme est évidemment surjectif (tout $c \in k$
+est l'image du polynôme constant $c$). Si on appelle $\mathfrak{m}_x$
+son noyau, c'est-à-dire, l'ensemble (donc l'idéal) des polynômes $f$
+s'annulant en $x$, alors l'évaluation définit un isomorphisme
+$k[t_1,\ldots,t_d]/\mathfrak{m}_x \buildrel\sim\over\to k$. Par
+conséquent, $\mathfrak{m}_x$ est un idéal \emph{maximal}
+de $k[t_1,\ldots,t_d]$. Notons que $\mathfrak{m}_x$ est l'idéal
+$(t_1-x_1,\ldots,t_d-x_d)$ engendré par tous les $t_i - x_i$.
+
+Si $k$ n'est pas algébriquement clos, il n'est pas vrai que tout idéal
+maximal de $k[t_1,\ldots,t_d]$ soit de la forme $\mathfrak{m}_x$ pour
+un certain $x \in k^d$ (par exemple, si $k = \mathbb{R}$, l'idéal
+qu'on pourrait noter $\mathfrak{m}_{\{\pm i\}}$ de $\mathbb{R}[t]$ et
+formé des $f \in \mathbb{R}[t]$ tels que $f(i) = 0$, ou, de façon
+équivalente, $f(-i) = 0$, c'est-à-dire l'idéal engendré par $t^2+1$,
+n'est pas de cette forme, et d'ailleurs le quotient
+$\mathbb{R}[t]/(t^2+1)$ est isomorphe à $\mathbb{C}$ et pas
+à $\mathbb{R}$). En revanche, si $k$ \emph{est} algébriquement clos,
+on va voir ci-dessous que tout idéal maximal de $k[t_1,\ldots,t_d]$
+est l'idéal $\mathfrak{m}_x$ des polynômes s'annulant en un certain
+point $x$.
+
+%
+\subsection{Correspondance entre fermés de Zariski et idéaux}
+
+\textbf{Comment associer une partie de $k^d$ à un idéal de
+ $k[t_1,\ldots,t_d]$ ?}
+
Si $\mathscr{F}$ est une partie de $k[t_1,\ldots,t_d]$, on définit un
ensemble $V(\mathscr{F}) = \{(x_1,\ldots,x_d) \in k^d :\penalty0
(\forall f\in \mathscr{F})\, f(x_1,\ldots,x_d) = 0\}$ (on devrait
plutôt noter $V(\mathscr{F})(k)$ ou $V_k(\mathscr{F})$, surtout si $k$
-n'est pas algébriquement clos, mais il le sera bientôt). Remarques
-évidentes : si $\mathscr{F} \subseteq \mathscr{F}'$ alors
-$V(\mathscr{F}) \supseteq V(\mathscr{F}')$ ; on a $V(\mathscr{F}) =
-\cap_{f\in \mathscr{F}} V(f)$ (où $V(f)$ est un racourci de notation
-pour $V(\{f\})$). Plus intéressant : si $I$ est l'idéal engendré par
+n'est pas algébriquement clos, mais il le sera bientôt).
+
+Remarques évidentes : si $\mathscr{F} \subseteq \mathscr{F}'$ alors
+$V(\mathscr{F}) \supseteq V(\mathscr{F}')$ (la fonction $V$ est
+« décroissante pour l'inclusion ») ; on a $V(\mathscr{F}) = \cap_{f\in
+ \mathscr{F}} V(f)$ (où $V(f)$ est un racourci de notation pour
+$V(\{f\})$). Plus intéressant : si $I$ est l'idéal engendré par
$\mathscr{F}$ alors $V(I) = V(\mathscr{F})$. On peut donc se
contenter de regarder les $V(I)$ avec $I$ idéal
de $k[t_1,\ldots,t_d]$. Encore un peu mieux : si $\surd I = \{f :
@@ -614,6 +652,34 @@ de $k[t_1,\ldots,t_d]$. Encore un peu mieux : si $\surd I = \{f :
$V(\surd I) = V(I)$ ; on peut donc se contenter de considérer les
$V(I)$ avec $I$ idéal radical.
+On appellera \textbf{fermé de Zariski} dans $k^d$ une partie $E$ de
+$k^d$ vérifiant le premier point, c'est-à-dire de la forme
+$V(\mathscr{F})$ pour une certaine partie $\mathscr{F}$
+de $k[t_1,\ldots,t_d]$, dont on a vu qu'on pouvait supposer qu'il
+s'agit d'un idéal radical.
+
+Le vide est un fermé de Zariski ($V(1) = \varnothing$) ; l'ensemble
+$k^d$ tout entier est un fermé de Zariski ($V(0) = k^d$) ; tout
+singleton est un fermé de Zariski ($V(\mathfrak{m}_x) = \{x\}$, par
+exemple en voyant $\mathfrak{m}_x$ comme $(t_1-x_1,\ldots,t_d-x_d)$).
+Si $(E_i)_{i\in \Lambda}$ sont des fermés de Zariski, alors
+$\bigcap_{i\in \Lambda} E_i$ est un fermé de Zariski : plus
+précisément, si $(I_i)_{i\in \Lambda}$ sont des idéaux
+de $k[t_1,\ldots,t_d]$, alors $V(\sum_{i\in\Lambda} I_i) =
+\bigcap_{i\in\Lambda} V(I_i)$. Si $E,E'$ sont des fermés de Zariski,
+alors $E \cup E'$ est un fermé de Zariski : plus précisément, si
+$I,I'$ sont des idéaux de $k[t_1,\ldots,t_d]$, alors $V(I\cap I') =
+V(I) \cup V(I')$ (l'inclusion $\supseteq$ est évidente ; pour l'autre
+inclusion, si $x \in V(I\cap I')$ mais $x \not\in V(I)$, il existe
+$f\in I$ tel que $f(x) \neq 0$, et alors pour tout $f' \in I'$ on a
+$f(x)\,f'(x) = 0$ puisque $ff' \in I\cap I'$, donc $f'(x) = 0$, ce qui
+prouve $x \in V(I')$).
+
+\medbreak
+
+\textbf{Comment associer un idéal de $k[t_1,\ldots,t_d]$ à une partie
+ de $k^d$ ?}
+
Réciproquement, si $E$ est une partie de $k^d$, on note
$\mathfrak{Z}(E) = \{f\in k[t_1,\ldots,t_d] :\penalty0 (\forall
(x_1,\ldots,x_d)\in E)\, f(x_1,\ldots,x_d)=0\}$. Vérification
@@ -623,6 +689,16 @@ $\mathfrak{Z}(E) \supseteq \mathfrak{Z}(E')$ ; on a $\mathfrak{Z}(E) =
\cap_{x\in E} \mathfrak{m}_x$ (où $\mathfrak{m}_x$ désigne l'idéal
maximal $\mathfrak{Z}(\{x\})$ des polynômes s'annulant en $x$).
+On a de façon triviale $\mathfrak{Z}(\varnothing) =
+k[t_1,\ldots,t_d]$. De façon moins évidente, si $k$ est infini (ce
+qui est en particulier le cas lorsque $k$ est algébriquement clos), on
+a $\mathfrak{Z}(k^d) = (0)$ (démonstration par récurrence sur $d$,
+laissée en exercice).
+
+\medbreak
+
+\textbf{Le rapport entre ces deux fonctions}
+
On a $E \subseteq V(\mathscr{F})$ ssi $\mathscr{F} \subseteq
\mathfrak{Z}(E)$ (les deux signifiant « tout polynôme dans
$\mathscr{F}$ s'annule en tout point de $E$ »). En particulier, en
@@ -658,26 +734,21 @@ Avec les notations ci-dessus :
\end{itemize}
\end{prop}
-On appellera \textbf{fermé de Zariski} une partie $E$ de $k^d$
+On a appelé \textbf{fermé de Zariski} une partie $E$ de $k^d$
vérifiant le premier point, c'est-à-dire de la forme $V(\mathscr{F})$
-pour une certaine partie $\mathscr{F}$ de $k[t_1,\ldots,t_d]$, dont on
-a vu qu'on pouvait supposer qu'il s'agit d'un idéal radical, et
-précisément de $\mathfrak{Z}(E)$. On ne donne pas de nom particulier
-aux idéaux vérifiant le second point (=être dans l'image de la
+pour une certaine partie $\mathscr{F}$ de $k[t_1,\ldots,t_d]$ : on a
+vu qu'on pouvait supposer qu'il s'agit d'un idéal radical, et on vient
+de voir qu'on peut écrire précisément $E = V(I)$ où $I =
+\mathfrak{Z}(E)$. (On ne donne pas de nom particulier aux idéaux
+vérifiant le second point (=être dans l'image de la
fonction $\mathfrak{Z}$), mais on va voir que pour $k$ algébriquement
-clos il s'agit de tous les idéaux radicaux.
+clos il s'agit de tous les idéaux radicaux.)
-\begin{prop}
-\begin{itemize}
-\item Les ensembles $\varnothing$ et $k^d$ tout entier sont des fermés
- de Zariski dans $k^d$. Tout singleton $\{x\}$ est un fermé de
- Zariski.
-\item Si $(E_i)_{i\in I}$ sont des fermés de Zariski, alors
- $\bigcap_{i\in I} E_i$ est un fermé de Zariski.
-\item Si $E,E'$ sont des fermés de Zariski, alors $E \cup E'$ est un
- fermé de Zariski.
-\end{itemize}
-\end{prop}
+%
+\subsection{Le Nullstellensatz}
+
+(Nullstellensatz, littéralement, « théorème du lieu d'annulation », ou
+« théorème des zéros de Hilbert ».)
On suppose maintenant que $k$ est algébriquement clos !
@@ -697,28 +768,36 @@ est de dimension au plus dénombrable (=il a une famille génératrice
dénombrable, à savoir les images des monômes dans les $t_i$) sur $k$.
Mais $K$ ne peut pas contenir d'élément transcendant $\tau$ sur $k$
car, $k$ ayant été supposé indénombrable, la famille des
-$\frac{1}{\tau - a}$ pour $a\in k$ serait linéairement indépendante
+$\frac{1}{\tau - x}$ pour $x\in k$ serait linéairement indépendante
(par décomposition en élément simples) dans $k(\tau)$ donc dans $K$.
Donc $K$ est algébrique sur $k$. Comme $k$ était supposé
algébriquement clos, on a en fait $K=k$. Les classes des
indéterminées $t_1,\ldots,t_d$ définissent alors des éléments
-$a_1,\ldots,a_d \in k$, et pour tout $f \in \mathfrak{m}$, on a
-$f(a_1,\ldots,a_d) = 0$. Autrement dit, $(a_1,\ldots,a_d) \in
+$x_1,\ldots,x_d \in k$, et pour tout $f \in \mathfrak{m}$, on a
+$f(x_1,\ldots,x_d) = 0$. Autrement dit, $(x_1,\ldots,x_d) \in
V(\mathfrak{m})$, ce qui conclut.
\end{proof}
En fait, dans le cours de cette démonstration, on a montré (dans le
cas particulier où on s'est placé, mais c'est vrai en général) :
\begin{prop}[{idéaux maximaux de $k[t_1,\ldots,t_d]$}]
-Soit $k$ un corps algébriquement clos. Tout idéal maximal
+Soit $k$ un corps algé\-bri\-que\-ment clos. Tout idéal maximal
$\mathfrak{m}$ de $k[t_1,\ldots,t_d]$ est de la forme
$\mathfrak{m}_{(x_1,\ldots,x_d)} := \{f : f(x_1,\ldots,x_d) = 0\}$
pour un certain $(x_1,\ldots,x_d) \in k^d$.
\end{prop}
+\begin{proof}
+En fait, on a prouvé que si $\mathfrak{m}$ est un idéal maximal, il
+existe $(x_1,\ldots,x_d) \in k^d$ tels que $(x_1,\ldots,x_d) \in
+V(\mathfrak{m})$, ce qui donne $\mathfrak{m} \subseteq
+\mathfrak{Z}(\{(x_1,\ldots,x_d)\})$, mais par maximalité de
+$\mathfrak{m}$ ceci est en fait une égalité.
+\end{proof}
\begin{thm}[Nullstellensatz = théorème des zéros de Hilbert]
-Soit $I$ un idéal de $k[t_1,\ldots,t_d]$ : alors $\mathfrak{Z}(V(I)) =
-\surd I$ (le radical de $I$).
+Soit $I$ un idéal de $k[t_1,\ldots,t_d]$ (toujours avec $k$ un corps
+algébriquement clos) : alors $\mathfrak{Z}(V(I)) = \surd I$ (le
+radical de $I$).
\end{thm}
\begin{proof}
On sait que $\surd I \subseteq \mathfrak{Z}(V(I))$ et il s'agit de
@@ -733,6 +812,18 @@ k[t_1,\ldots,t_d,z]$ : ceci donne $I[\frac{1}{f}] =
k[t_1,\ldots,t_d,\frac{1}{f}]$.
\end{proof}
+\begin{scho}
+Si $k$ est un corps algébriquement clos, les fonctions $I \mapsto
+V(I)$ et $E \mapsto \mathfrak{Z}(E)$ définissent des bijections
+réciproques, décroissantes pour l'inclusion, entre les idéaux radicaux
+de $k[t_1,\ldots,t_d]$ d'une part, et les fermés de Zariski de $k^d$
+d'autre part.
+
+Ces bijections mettent les \emph{points} (c'est-à-dire les singletons)
+de $k^d$ en correspondance avec les idéaux maximaux de
+$k[t_1,\ldots,t_d]$.
+\end{scho}
+
%
%