A very short paragraph to be extended: morphisms between projective spaces.

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}