summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-05-25 13:10:11 +0200
committerDavid A. Madore <david+git@madore.org>2010-05-25 13:10:11 +0200
commita87e64884893b4e7cab8183631000f2915b737cd (patch)
tree4dfbd001cbcf19dc6c11e1f276c7797ce83f91a0
parent4c1216940e3abd403c7e7ffed1d30f320f66d228 (diff)
downloadmdi349-a87e64884893b4e7cab8183631000f2915b737cd.tar.gz
mdi349-a87e64884893b4e7cab8183631000f2915b737cd.tar.bz2
mdi349-a87e64884893b4e7cab8183631000f2915b737cd.zip
A very short paragraph to be extended: morphisms between projective spaces.
-rw-r--r--notes-geoalg.tex9
1 files changed, 9 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index b4f5780..b2884ab 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2192,6 +2192,15 @@ $\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).
+\medbreak
+
+Un morphisme $\mathbb{P}^d \to \mathbb{P}^e$ est la donnée de $e+1$
+polynômes $(f_0,\ldots,f_e) \in k[t_0,\ldots,t_d]$ en $d+1$ variables,
+homogènes de même degré $\ell$, qui ne s'annulent jamais simultanément
+sur un corps $k$ algébriquement clos, c'est-à-dire, pour éviter de
+dépendre de cette hypothèse, que $f_0,\ldots,f_e$ engendrent un idéal
+irrelevant dans $k[t_0,\ldots,t_d]$.
+
%
\subsection{Variétés projectives}