summaryrefslogtreecommitdiffstats
path: root/notes-geoalg.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-geoalg.tex')
-rw-r--r--notes-geoalg.tex66
1 files changed, 60 insertions, 6 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 26a973f..212dfe2 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -1998,11 +1998,13 @@ $(1:x_1:\cdots:x_d)$ de $\mathbb{P}^d$, tandis que les points de la
forme $(0:x_1:\ldots:x_d)$ sont appelés « points à l'infini » (et
collectivement, « hyperplan à l'infini »). On peut donc écrire
$\mathbb{P}^d(k) = \mathbb{A}^d(k) \cup \mathbb{P}^{d-1}(k)$ (réunion
-disjointe des points où $x_0 \neq 0$ et des points où $x_0 = 0$) ;
-moralement, on aura envie que $\mathbb{A}^d$ soit un ouvert
-dans $\mathbb{P}^d$ et $\mathbb{P}^{d-1}$ son fermé complémentaire.
-Noter que le choix de $x_0$ est arbitraire : on peut voir
-$\mathbb{P}^d$ comme réunion de $d+1$ espaces affines $\mathbb{A}^d$.
+disjointe de l'ensemble $Z(x_0)(k)$ des points où $x_0 \neq 0$ et de
+celui $D(x_0)(k)$ des points où $x_0 = 0$) ; moralement, on aura envie
+que $\mathbb{A}^d$ soit un ouvert dans $\mathbb{P}^d$ et
+$\mathbb{P}^{d-1}$ son fermé complémentaire. Noter que le choix de
+$x_0$ est arbitraire : on peut voir $\mathbb{P}^d$ comme réunion de
+$d+1$ espaces affines $\mathbb{A}^d$ (à savoir
+$D(x_0),\ldots,D(x_d)$).
\smallbreak
@@ -2042,7 +2044,7 @@ un élément de $\mathbb{P}^d(A)$ qu'il est naturel de noter
$(x_0:\cdots:x_d)$, à savoir, en utilisant la définition précédente
$x_{ij} = y_i x_j$. Sur certains anneaux particuliers (par exemple,
tout anneau intègre factoriel, par exemple $k[t_1,\ldots,t_s]$, ou
-encore $\mathbb{Z}$), tout élément de $\mathbb{P}^n(A)$ peut, en fait,
+encore $\mathbb{Z}$), tout élément de $\mathbb{P}^d(A)$ peut, en fait,
s'écrire sous cette forme, mais ce n'est pas vrai en général
(quoiqu'il soit un peu difficile de donner un
contre-exemple\footnote{En voici un : si $A = \mathbb{Z}[\sqrt{-5}]$
@@ -2140,6 +2142,58 @@ Si $k$ est un corps algébriquement clos :
%
+\subsection{Fonctions régulières sur l'espace projectif}
+
+On veut voir $D(x_0) = \{x_0\neq 0\}$ comme un espace
+affine $\mathbb{A}^d$ dans $\mathbb{P}^d$ (ici sur $k$). On sait
+quelles sont les fonctions régulières dessus : ce sont les polynômes
+sur $k$ en $d$ variables, qu'on doit ici considérer comme
+$\frac{x_1}{x_0},\ldots,\frac{x_d}{x_0}$. De façon équivalente, il
+s'agit de fractions rationnelles de la forme $\frac{h}{x_0^\ell}$ avec
+$h \in k[x_0,\ldots,x_d]$ homogène de degré $\ell$. Plus
+généralement, on veut définir les fonctions régulières sur $D(f)$
+dans $\mathbb{P}^d$ (où $f$ est homogène de degré $D$, disons) comme
+les fractions rationnelles de la forme $\frac{h}{f^r}$ avec $h$
+homogène de degré $rD$ (ce qui assure que (1) l'évaluation d'une telle
+fonction sur un élément de $\mathbb{P}^d(k)$ a un sens lorsque cet
+élément appartient à $D(f)$, et (2) elle ne dépend pas du représentant
+choisi).
+
+De façon peut-être surprenante, on en arrive donc à ce que les
+fonctions régulières sur $\mathbb{P}^d$ \emph{tout entier} sont
+uniquement les constantes. De fait, on pourrait montrer que c'est
+inévitable avec les exigences qu'on a sur les variétés
+algébriques\footnote{Ou encore : puisqu'une fonction régulière sur
+ $\mathbb{P}^d$ est censée être la même chose qu'un morphisme
+ $\mathbb{P}^d \to \mathbb{A}^1$, la seule façon de définir une
+ application $\mathbb{P}^d(A) \to \mathbb{A}^1(A)$ pour toute
+ $k$-algèbre $A$, de façon compatible aux changements d'anneaux $A
+ \to A'$, consiste à prendre la fonction constante valant un élément
+ de $k$, toujours le même.} : notamment, si on recouvre
+$\mathbb{P}^d$ par les $d+1$ ouverts affines $D(x_i)$ (pour
+$i=0,\ldots,d$), la seule façon de se donner une fonction régulière
+sur chacune qui coïncident aux intersections est d'avoir une constante
+(toujours la même) sur chaque ouvert.
+
+Ceci ne constitue pas une contradiction (mais prouve que
+$\mathbb{P}^d$ ne saurait être affine). Cependant, pour garder
+l'information des polynômes homogènes non constants, il est utile de
+définir aussi :
+\begin{defn}
+Si $\ell \in \mathbb{Z}$, une \textbf{section de $\mathcal{O}(\ell)$}
+sur $D(f)$ dans $\mathbb{P}^d$ (où $f$ est un polynôme homogène de
+degré $D$) est, par définition, une fraction rationnelle de la forme
+$\frac{h}{f^r}$ avec $h$ homogène de degré $rD+\ell$. (Quand $\ell =
+0$, il s'agit donc simplement d'une fonction régulière.)
+\end{defn}
+En particulier, les sections globales de $\mathcal{O}(\ell)$,
+c'est-à-dire, sur $\mathbb{P}^d$ tout entier, n'existent pas si
+$\ell<0$, et sont les polynômes homogènes de degré $\ell$ en
+$t_0,\ldots,t_d$ si $\ell \geq 0$ (pour $\ell=0$, il n'y a que les
+constantes).
+
+
+%
%
%