From 25373650c86c246d855986a4be2e6738d2e8452d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 1 Jun 2010 02:06:04 +0200
Subject: Note morphisms from projective to affine are constant.

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

(limited to 'notes-geoalg.tex')

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}
-- 
cgit v1.2.3

