From 4c1216940e3abd403c7e7ffed1d30f320f66d228 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david@procyon.(none)>
Date: Tue, 25 May 2010 00:23:36 +0200
Subject: Start projective varieties.

---
 notes-geoalg.tex | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'notes-geoalg.tex')

diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index 212dfe2..b4f5780 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2193,6 +2193,34 @@ $t_0,\ldots,t_d$ si $\ell \geq 0$ (pour $\ell=0$, il n'y a que les
 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.
+
+
+
 %
 %
 %
-- 
cgit v1.2.3

