summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2010-05-25 00:23:36 +0200
committerDavid A. Madore <david@procyon.(none)>2010-05-25 00:23:36 +0200
commit4c1216940e3abd403c7e7ffed1d30f320f66d228 (patch)
tree703375f62b37027869b9001005ad536922670d29
parente5e28109246e23be10c5f39f26a48a58dacf01a8 (diff)
downloadmdi349-4c1216940e3abd403c7e7ffed1d30f320f66d228.tar.gz
mdi349-4c1216940e3abd403c7e7ffed1d30f320f66d228.tar.bz2
mdi349-4c1216940e3abd403c7e7ffed1d30f320f66d228.zip
Start projective varieties.
-rw-r--r--notes-geoalg.tex28
1 files changed, 28 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 212dfe2..b4f5780 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2194,6 +2194,34 @@ constantes).
%
+\subsection{Variétés projectives}
+
+On appelle \textbf{variété projective} un fermé de Zariski $X$ de
+$\mathbb{P}^d$, c'est-à-dire un $Z(I)$ pour $I = \mathfrak{I}(X)$ un
+certain idéal homogène radical de $k[t_0,\ldots,t_d]$ différent de
+$(t_0,\ldots,t_d)$. Pour définir la structure de variété, on remarque
+d'abord que comme $I$ est homogène, on peut définir la notion de
+« partie de degré $\ell$ » d'un élément de $k[t_0,\ldots,t_d]/I$ comme
+la classe modulo $I$ de la partie de degré $\ell$ de n'importe lequel
+de ses représentants ; et d'élément homogène de degré $\ell$ dans
+$k[t_0,\ldots,t_d]/I$ (un élément représenté par un polynôme homogène
+de degré $\ell$, ou égal à sa partie homogène de degré $\ell$).
+
+On appelle \textbf{anneau gradué de $X$} l'anneau
+$k[t_0,\ldots,t_d]/I$ (« gradué » signifiant qu'on s'est donné cette
+notion d'éléments homogènes de degré $\ell$ pour chaque $\ell$ avec la
+décomposition en parties correspondantes, et que le produit d'un
+élément homogène de degré $\ell$ et d'un élément de degré $\ell'$ est,
+comme pour les polynômes, homogène de degré $\ell+\ell'$). On le note
+éventuellement $\sum_{\ell\in\mathbb{N}} \mathcal{O}(\ell)(X)$. On
+appelle \emph{irrelevant} un idéal de $k[t_0,\ldots,t_d]/I$ contenant
+tous les éléments homogène de degré suffisamment grand, ou, de façon
+équivalente, dont l'image réciproque dans $k[t_0,\ldots,t_d]$ est
+irrelevante.
+
+
+
+%
%
%