summaryrefslogtreecommitdiffstats
path: root/notes-geoalg.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-geoalg.tex')
-rw-r--r--notes-geoalg.tex111
1 files changed, 105 insertions, 6 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 44441be..c05a9d6 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -1392,9 +1392,9 @@ $U(I) = D(f_1) \cup \cdots \cup D(f_r)$ où $D(f_i) := U(\{f_i\})$ est
l'ouvert où $f_i$ ne s'annule pas. Les $D(f)$ s'appellent parfois
\emph{ouverts principaux}, on verra plus loin pourquoi il est utile de
les distinguer ; ceci montre qu'ils forment une \emph{base d'ouverts}
-(un ensemble d'ouverts est dit former une base d'ouverts pour une
-topologie lorsque tout ouvert est une réunion d'une sous-famille
-d'entre eux).
+(un ensemble d'ouverts stable par intersections fines est dit former
+une base d'ouverts pour une topologie lorsque tout ouvert est une
+réunion d'une sous-famille d'entre eux).
\begin{prop}\label{recouvrement-par-ouverts-principaux}
Si $X$ est une variété algébrique affine et $f_i \in \mathcal{O}(X)$
@@ -1675,9 +1675,13 @@ De ce principe découlent :
\begin{defn}
Si $f \in \mathcal{O}(X)$, avec $X$ une variété algébrique affine,
l'anneau des fonctions régulières sur $D(f)$ sera par définition
-$\mathcal{O}(X)[\frac{1}{f}]$. Si $A$ est une $k$-algèbre, l'ensemble
-$D(f)(A)$ des $A$-points de $D(f)$ sera le sous-ensemble de $X(A)$
-formé des $x \in X(A)$ tels que $f(x) \in A$ soit inversible.
+$\mathcal{O}(X)[\frac{1}{f}]$. La \textbf{restriction} $h|_{D(f)}$
+d'une fonction régulière $h \in \mathcal{O}(X)$ à $D(f)$ sera par
+définition $\iota(h) := \frac{h}{1} \in \mathcal{O}(X)[\frac{1}{f}]$.
+
+Si $A$ est une $k$-algèbre, l'ensemble $D(f)(A)$ des $A$-points de
+$D(f)$ sera le sous-ensemble de $X(A)$ formé des $x \in X(A)$ tels que
+$f(x) \in A$ soit inversible.
Si $f \in \mathcal{O}(X)$, avec $X$ une variété algébrique affine, et
$Y$ est une variété algébrique affine, un morphisme $D(f) \to Y$ sera
@@ -1709,6 +1713,101 @@ De nouveau, il existe beaucoup de façons de voir la même donnée !
%
+\subsection{Introduction au recollement}
+
+La proposition suivante peut paraître innocente, mais elle est
+fondamentale :
+
+\begin{prop}
+Si $X$ est une variété algébrique affine recouverte par des $D(f_i)$
+(c'est-à-dire, cf. \ref{recouvrement-par-ouverts-principaux}, que les
+$f_i \in \mathcal{O}(X)$, qu'on pourra toujours supposer en nombre
+fini, engendrent l'idéal unité), alors :
+\begin{enumerate}
+\item si une fonction régulière $h \in \mathcal{O}(X)$ a une
+ restriction $h|_{D(f_i)}$ nulle sur chacun des $D(f_i)$ alors $h$
+ est nulle,
+\item donnée une fonction régulière $h_i \in \mathcal{O}(D(f_i)) =
+ \mathcal{O}(X)[\frac{1}{f_i}]$ pour chaque $i$, telles que
+ $h_i|_{D(f_i)\cap D(f_j)} = h_j|_{D(f_i)\cap D(f_j)}$ pour
+ chaque $i,j$ (autrement dit, les $h_i$ coïncident sur leurs
+ intersections ; on rappelle que $D(f_i) \cap D(f_j) = D(f_i f_j)$),
+ il existe une fonction régulière $h \in \mathcal{O}(X)$,
+ nécessairement unique d'après le point précédent, telle que
+ $h|_{D(f_i)} = h_i$ pour tout $i$.
+\end{enumerate}
+\end{prop}
+
+En clair : pour se donner une fonction régulière sur $X$, il suffit de
+se donner sa restriction à des ouverts principaux $D(f_i)$
+recouvrant $X$, et pour que de telles restrictions définissent bien
+une fonction régulière sur tout $X$, c'est-à-dire « se recollent », il
+suffit (comme il faut !) qu'elles soient cohérentes sur les
+intersections de deux d'entre eux. On traduit ce fait en disant que
+la donnée des $\mathcal{O}(D(f))$ (y compris $\mathcal{O}(X)$
+lui-même) et des morphismes de restrictions entre eux forme un
+\textbf{faisceau} (sur la base d'ouverts formée des ouverts
+principaux).
+
+Ceci est la conséquence (reformulation) du résultat purement
+algébrique suivant :
+\begin{prop}
+Soit $R$ un anneau et $f_i \in R$ des éléments engendrant l'idéal
+unité. Alors :
+\begin{enumerate}
+\item si $h \in R$ a une image $\iota_i(h)$ nulle dans chaque
+ $R[\frac{1}{f_i}]$ alors $h$ est nul,
+\item donnée un élément $h_i \in R[\frac{1}{f_i}]$ pour chaque $i$,
+ tels que $\iota_{i,j}(h_i) = \iota_{j,i}(h_j) \in R[\frac{1}{f_i
+ f_j}]$ pour chaque $i,j$ (où on identifie tacitement
+ $R[\frac{1}{f_i f_j}]$ à $R[\frac{1}{f_i}][\frac{1}{f_j}]$ et
+ $R[\frac{1}{f_j}][\frac{1}{f_i}]$), il existe un unique $h \in R$,
+ nécessairement unique d'après le point précédent, tel que
+ $\iota_i(h) = h_i \in R[\frac{1}{f_i}]$ pour tout $i$.
+\end{enumerate}
+\end{prop}
+\begin{proof}[Démonstration du premier point]
+Mettons $\sum g_i f_i = 1$ : on oublie tous les $f_i$ sauf le nombre
+fini d'entre eux qui intervient vraiment dans cette somme. Dire que
+$h$ a une image nulle dans $R[\frac{1}{f_i}]$ signifie qu'il existe
+$N_i$ entier assez grand tel que $f_i^{N_i} h = 0$ ; en élevant
+l'équation $\sum g_i f_i$ à une puissance $N$ assez grande (par
+exemple $\sum N_i$), on peut s'arranger pour que chaque terme du
+développement fasse intervenir un certain $f_i$ à la puissance $N_i$
+au moins. Ceci montre $(\sum g_i f_i)^N\, h = 0$. Or $(\sum g_i
+f_i)^N = 1$, donc $h = 0$.
+\end{proof}
+\begin{proof}[Esquisse de démonstration du second point]
+On écrit $h_i = \frac{p_i}{f_i^{N_i}}$, et de nouveau, en élevant
+$\sum g_i f_i = 1$ à une puissance $N$ assez grande on peut s'arranger
+pour que chaque terme $t_{\cdots} = c_{\cdots} \prod_i f_i^{n_i}$
+fasse intervenir un des $f_i$ à une puissance $n_i$ au moins égale
+à $N_i$ ; on appelle $h$ la somme des $c_{\cdots} p_i f_i^{n_i-N_i}
+\prod_{j\neq i} f_j^{n_j}$ où le facteur $f_i^{N_i}$ correspondant a
+été remplacé par $p_i$ (ce qui vaut donc $t_{\cdots} h_i$ dans
+$R[\frac{1}{f_i}]$ --- on peut donc vérifier que $\iota_i(h) = h_i$).
+\end{proof}
+
+On peut de même fabriquer des morphismes par recollement :
+\begin{cor}
+Si $X$ est une variété algébrique affine recouverte par des $D(f_i)$,
+alors se donner un morphisme $X \to Y$, pour $Y$ une variété
+algébrique affine quelconque, équivaut à se donner des morphismes
+$D(f_i) \to Y$ pour chaque $f_i$, qui coïncident sur les intersections
+$D(f_i) \cap D(f_j)$ (pour chaque $i,j$).
+\end{cor}
+
+Ceci est la clé pour définir les variétés algébriques non
+nécessairement affines, selon le principe général vague suivant :
+\begin{princ}
+Une variété algébrique non nécessairement affine $X$ est obtenue en
+« recollant » des variétés algébriques affines $X_i$ ; une fonction
+régulière sur $X$ est la donnée d'une fonction régulière sur chaque
+$X_i$ qui coïncident aux intersections.
+\end{princ}
+
+
+%
%
%