From bcef8f9cd8078e581972e035a0aa41de512dd497 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 18 May 2010 18:09:54 +0200
Subject: Introducing the functor of points (for an affine algebraic variety).

---
 notes-geoalg.tex | 104 ++++++++++++++++++++++++++++++++++++++-----------------
 1 file changed, 72 insertions(+), 32 deletions(-)

(limited to 'notes-geoalg.tex')

diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index ace90e2..b12fcbd 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -527,7 +527,7 @@ un morphisme de $\mathbb{Z}$-algèbres qu'un morphisme d'anneaux.
   $k[t_1,\ldots,t_d]$ et si $R = k[t_1,\ldots,t_d]/I$, alors
   $\Hom_k(R, A)$ est en bijection avec l'ensemble $\{(x_1,\ldots,x_d)
   \in A^d :\penalty0 (\forall j)\,f_j(x_1,\ldots,x_d) = 0\}$ (noté
-  $Z(I)(A)$ ou $Z_A(I)$).
+  $Z(I)(A)$).
 \end{itemize}
 \end{prop}
 
@@ -703,7 +703,7 @@ point $x$.
 Si $\mathscr{F}$ est une partie de $k[t_1,\ldots,t_d]$, on définit un
 ensemble $Z(\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 $Z(\mathscr{F})(k)$ ou $Z_k(\mathscr{F})$, surtout si $k$
+plutôt noter $Z(\mathscr{F})(k)$, surtout si $k$
 n'est pas algébriquement clos, mais il le sera bientôt).  Plus
 généralement, pour toute $k$-algèbre $A$, on définit
 $Z(\mathscr{F})(A) = \{(x_1,\ldots,x_d) \in A^d :\penalty0 (\forall
@@ -949,8 +949,9 @@ 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]$, et les \emph{fermés irréductibles} en
-correspondance avec les idéaux premiers.
+$k[t_1,\ldots,t_d]$ (ils ont tous pour quotient $k$), et les
+\emph{fermés irréductibles} en correspondance avec les idéaux
+premiers.
 \end{scho}
 
 %
@@ -970,8 +971,19 @@ $\tilde f \in k[t_1,\ldots,t_d]$ est un représentant de $f$
 (modulo $I$) et si $x = (x_1,\ldots,x_d) \in X$, la valeur de $\tilde
 f(x_1,\ldots,x_d)$ ne dépend pas du choix de $\tilde f$ représentant
 $f$ puisque tout élément de $I$ s'annule en $x$ ; on peut donc appeler
-$f(x)$ cette valeur.  Dans le cas où $X = k^d$ tout entier (donc $I =
-(0)$), évidemment, $\mathcal{O}(X) = k[t_1,\ldots,t_d]$.
+$f(x)$ cette valeur.  Inversement, un $f \in \mathcal{O}(X)$ est
+complètement déterminé par sa valeur sur chaque point $x$ de $X$
+(rappel : $k$ est algébriquement clos ici, et c'est important !) ; en
+effet, si $f$ s'annule en tout $x \in X$, tout élément de
+$k[t_1,\ldots,t_d]$ représentant $f$ s'annule en tout $x \in X$,
+c'est-à-dire appartient à $\mathfrak{I}(X)$, ce qui signifie justement
+$f = 0$ dans $\mathcal{O}(X)$.  Moralité : on peut bien considérer les
+éléments de $\mathcal{O}(X)$ comme des fonctions.  Ces fonctions sont,
+tout simplement, les restrictions à $X$ des fonctions polynomiales
+sur $k^d$.
+
+Dans le cas où $X = k^d$ tout entier (donc $I = (0)$), évidemment,
+$\mathcal{O}(X) = k[t_1,\ldots,t_d]$.
 
 On définit un fermé de Zariski de $X$ comme un fermé de Zariski
 de $k^d$ qui se trouve être inclus dans $X$.  La bonne nouvelle est
@@ -1003,34 +1015,62 @@ Avec les notations ci-dessus :
 \end{itemize}
 \end{prop}
 
+%
+\subsection{Points à valeurs dans une $k$-algèbre}
+
+On reprend la même situation : $I$ est un idéal radical de
+$k[t_1,\ldots,t_d]$ et $X = Z(I)$ est le fermé de Zariski qu'il
+définit (et $\mathcal{O}(X) = k[t_1,\ldots,t_d] / I$ l'anneau des
+fonctions régulières sur $X$.
+
+On a pour l'instant considéré $X$ comme un sous-ensemble de $k^d$,
+mais on souhaite changer progressivement de point de vue ; notamment,
+l'ensemble pré\-cé\-dem\-ment noté $X$ aura de plus en plus tendance à être
+noté $X(k)$, en appliquant la définition suivante :
+
+Pour toute $k$-algèbre $A$, on note $X(A)$ ou $Z(I)(A)$ (et on appelle
+ensemble des \textbf{$A$-points} de $X$) l'ensemble
+$\{(x_1,\ldots,x_d) \in A^d :\penalty0 (\forall f \in I)\,
+f(x_1,\ldots,x_d) = 0\}$ des points de $A^d$ vérifiant les équations
+définissant $X$.  L'ensemble $X(k)$ est donc celui qu'on a
+pré\-cé\-dem\-ment considéré sous le nom de $X$.
+
+Le cas particulier de l'espace affine tout entier (soit $I = (0)$)
+sera noté $\mathbb{A}^d$ (normalement on devrait écrire
+$\mathbb{A}^d_k$, mais c'est rarement important) : ainsi,
+$\mathbb{A}^d(A) = A^d$ pour toute $k$-algèbre $A$.
+
+Si $A \buildrel\varphi\over\to A'$ est un morphisme de $k$-algèbres,
+on a une application $X(\varphi) \colon X(A) \to X(A')$ qui à
+$(x_1,\ldots,x_d) \in X(A)$ associe
+$(\varphi(x_1),\ldots,\varphi(x_d)) \in X(A')$.  (Par ailleurs,
+$X(\psi\circ\varphi) = X(\psi)\circ X(\varphi)$.)  On aura de plus en
+plus tendance à considérer que $X$ ``est'' la donnée de ces ensembles
+$X(A)$ pour toute $k$-algèbre $A$ et de ces applications $X(\varphi)$
+pour tout morphisme de $k$-algèbres $\varphi$ : la collection de ces
+données s'appelle le \textbf{foncteur des points} de $X$.
+
 \begin{rmk}
-On a expliqué en \ref{section-note-morphismes} que les pour toute
-$k$-algèbre $A$, l'ensemble $\Hom_{k}(\mathcal{O}(X), A)$ des
-morphismes de $k$-algèbres de $\mathcal{O}(X)$ vers $A$ peut être vu
-comme l'ensemble $Z(I)(A) = \{(x_1,\ldots,x_d) \in A^d :\penalty0
-(\forall f \in I)\,f(x_1,\ldots,x_d) = 0\}$ des $d$-uplets
-$(x_1,\ldots,x_d)$ d'éléments de $A$ sur lesquels tout élément de $I$
-s'annule.  On notera aussi simplement $X(A)$ pour cet ensemble.
-
-En particulier, les points de $X$ peuvent être identifiés avec les
-éléments de $\Hom_{k}(\mathcal{O}(X), k)$ (autrement dit, les
-morphismes $\mathcal{O}(X) \to k$ de $k$-algèbres), le point $x \in X$
-étant identifié avec le morphisme $f \mapsto f(x)$ d'évaluation
-en $x$.  On peut donc noter $X(k)$ cet ensemble, et les appeler
-« $k$-points », pour insister.  La classification des idéaux maximaux
-de $\mathcal{O}(X)$ signifie donc que tout idéal maximal
-de $\mathcal{O}(X)$ est l'ensemble des fonctions régulières s'annulant
-en un $k$-point de $X$.
+D'après ce qu'on a expliqué en \ref{section-note-morphismes}, pour
+toute $k$-algèbre $A$, l'ensemble $\Hom_{k}(\mathcal{O}(X), A)$ des
+morphismes de $k$-algèbres de $\mathcal{O}(X)$ vers $A$ est en
+bijection avec $X(A)$ (la bijection envoyant un morphisme $\psi\colon
+\mathcal{O}(X) \to A$ sur le $d$-uplet $(\psi(t_1),\ldots,\psi(t_d))$
+où $t_1,\ldots,t_d$ sont les classes des indéterminées dans le
+quotient $\mathcal{O}(X) = k[t_1,\ldots,t_d]/I$).  On aura tendance à
+utiliser cette bijection tacitement, et à considérer que les éléments
+de $X(A)$ ``sont'' des morphismes d'anneaux $\mathcal{O}(X) \to A$.
+
+En particulier, les $k$-points de $X$ (c'est-à-dire l'ensemble
+précédemment noté $X$ et maintenant de préférence $X(k)$) peuvent être
+identifiés avec les éléments de $\Hom_{k}(\mathcal{O}(X), k)$, le
+point $x \in X$ étant identifié avec le morphisme $f \mapsto f(x)$
+d'évaluation en $x$.  La classification des idéaux maximaux
+de $\mathcal{O}(X)$ signifie donc que (pour $k$ algébriquement clos,
+insistons !) tout idéal maximal de $\mathcal{O}(X)$ est l'ensemble des
+fonctions régulières s'annulant en un $k$-point de $X$.
 \end{rmk}
 
-Un $f \in \mathcal{O}(X)$ est complètement déterminé par sa valeur sur
-$X(k)$ (rappel : $k$ est algébriquement clos dans tout ça, et c'est
-important !) ; en effet, si $f$ s'annule en tout $x \in X(k)$, tout
-élément de $k[t_1,\ldots,t_d]$ représentant $f$ s'annule en tout $x
-\in X(k)$, c'est-à-dire appartient à $\mathfrak{I}(X)$, ce qui
-signifie justement $f = 0$ dans $\mathcal{O}(X)$.  (Moralité : on peut
-bien considérer les éléments de $\mathcal{O}(X)$ comme des fonctions.)
-
 %
 \subsection{Morphismes de variétés algébriques}
 
@@ -1038,7 +1078,7 @@ On appelle provisoirement \textbf{variété algébrique affine}
 dans $k^d$ (toujours avec $k$ algébriquement clos) un fermé de Zariski
 $X$ de $k^d$.  Pourquoi cette terminologie redondante ?  Le terme
 « fermé de Zariski » insiste sur $X$ en tant que plongée dans l'espace
-affine $\mathbb{A}^d(k) := k^d$.  Le terme de « variété algébrique
+affine $\mathbb{A}^d$.  Le terme de « variété algébrique
   affine » insiste sur l'aspect intrinsèque de $X$, muni de ses
 propres fermés de Zariski et de ses propres fonctions régulières.  On
 a vu ci-dessus comment associer à $X$ un anneau $\mathcal{O}(X)$ des
-- 
cgit v1.2.3

