summaryrefslogtreecommitdiffstats
path: root/notes-geoalg.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-06-01 01:56:56 +0200
committerDavid A. Madore <david+git@madore.org>2010-06-01 01:56:56 +0200
commite53ee652e27f4e4ab10d4401434042e9a2e622f8 (patch)
treeafcec1a4b6ab42ba5894e600f32aa3ab87ff0c9c /notes-geoalg.tex
parentd466219aafb73796477ce80137d6adb758479f8c (diff)
downloadmdi349-e53ee652e27f4e4ab10d4401434042e9a2e622f8.tar.gz
mdi349-e53ee652e27f4e4ab10d4401434042e9a2e622f8.tar.bz2
mdi349-e53ee652e27f4e4ab10d4401434042e9a2e622f8.zip
Hilbert-Samuel polynomial.
Diffstat (limited to 'notes-geoalg.tex')
-rw-r--r--notes-geoalg.tex45
1 files changed, 45 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 9a702d0..7604b38 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2535,6 +2535,51 @@ nouveau, on peut vérifier que la composée dans les deux sens est
l'identité.
+%
+\subsection{Le polynôme de Hilbert-Samuel}
+
+\begin{thm}
+Soit $X$ une variété projective dans $\mathbb{P}^d$ (sur un
+corps $k$). Alors pour tout $\ell\in\mathbb{Z}$, le $k$-espace
+vectoriel $\mathcal{O}(\ell)(X)$, également noté
+$H^0(X,\mathcal{O}(\ell))$, des sections globales de
+$\mathcal{O}(\ell)$ sur $X$, est de dimension finie. Pour $\ell$
+assez grand, il s'identifie à l'espace des éléments de degré $\ell$ de
+$k[t_0,\ldots,t_d]/I$ si $I = \mathfrak{I}(X)$. Pour $\ell$ assez
+grand, sa dimension est une fonction \emph{polynomiale} de $\ell$ : on
+appelle \textbf{polynôme de Hilbert-Samuel} de $X$
+(dans $\mathbb{P}^d$) le polynôme auquel elle est égale pour $\ell$
+assez grand.
+\end{thm}
+
+Le terme dominant du polynôme de Hilbert-Samuel est très
+significatif : son degré $d$ sera la \emph{dimension} de $X$ (ceci
+peut servir de définition pour $X$ projectif), et le coefficient
+devant $\ell^d$ est de la forme $\frac{n_X}{\ell!}$ où $n_X$ est un
+entier, appelé \emph{degré} de $X$.
+
+\medbreak
+
+\textbf{Exemple :} Pour $\mathbb{P}^d$, l'espace $H^0(\mathbb{P}^d,
+\mathcal{O}(\ell))$ est l'espace vectoriel des polynômes de
+degré $\ell$ en $d+1$ indéterminées. Pour $\ell\geq 0$, sa dimension
+vaut
+\[
+\frac{(\ell+d)!}{\ell!\,d!}
+\]
+C'est un polynôme de degré $d$ de $\ell$ (donc le polynôme de
+Hilbert-Samuel de $\mathbb{P}^d$), dont le terme dominant vaut
+$\frac{1}{d!}\ell^d$.
+
+Pour le cercle $Z(x^2+y^2-z^2)$ dans $\mathbb{P}^2$, les polynômes de
+degré $\ell$ en $x,y,z$ modulo $z^2$ peuvent se réduire en un polynôme
+de degré $\ell$ en $x,y$, plus $z$ fois un polynôme de degré $\ell-1$
+en $x,y$ : leur dimension est donc $2\ell+1$ (une base est donnée par
+$x^\ell,\penalty100 x^{\ell-1}y,\ldots,\penalty200 y^\ell,\penalty-100
+x^{\ell-1}z,\penalty100 x^{\ell-2}yz,\ldots,\penalty200 y^{\ell-1}z$),
+donc le polynôme de Hilbert-Samuel vaut $2(\ell+1)$.
+
+
%
%