Note morphisms from projective to affine are constant.

1 files changed, 9 insertions, 0 deletions

diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index a41fd66..62bbbd4 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2534,6 +2534,15 @@ puisque $(x_0,x_1,x_2,x_3)$ engendrent un idéal irrelevant.  De
 nouveau, on peut vérifier que la composée dans les deux sens est
 l'identité.
 
+\medbreak
+
+\begin{thm}
+Tout morphisme d'une variété projective connexe vers une variété
+affine est constant.  (En particulier, toute fonction régulière sur
+une variété projective, c'est-à-dire morphisme vers $\mathbb{A}^1$,
+est constant sur chaque composante connexe.)
+\end{thm}
+
 
 %
 \subsection{Le polynôme de Hilbert-Samuel}