Let $X$ be a proper scheme over a field $\Bbbk$. Let $\mathscr L\in\mathrm{Pic}(X)$ be a globally generated line bundle. If for some choice of global sections $V\subseteq\mathscr L(X)$, the induced morphism $\phi_V:X\to\mathbb P(V)$ is finite, then $\mathscr L$ is ample. The converse also holds. However, I have searched through GörtzWedhorn, Hartshorne, Liu, Mumford's red book, the stacks project and also EGA II without finding a reference for this statement. Does anyone know any?
3

1$\begingroup$ One reason you won't find it in EGA II is because the proof rests on the fact that proper quasifinite maps are finite, which wasn't proved until later volumes. In effect, the "shadow" of this result which you will find in EGA II is the fact that ampleness of the structure sheaf (for a separated finite type scheme over a ring) is among several equivalent definitions of "quasiaffineness" as developed in 5.1 of EGA II (this fact is applied to the fibers of $\phi_V$, which are then proper and quasiaffine, hence finite, etc.). $\endgroup$ – Marguax Oct 22 '13 at 15:37

$\begingroup$ @Marguax: That makes perfect sense, thanks for the information. Can I find the statement in some later volume of EGA by any chance? $\endgroup$ – Jesko Hüttenhain Oct 22 '13 at 16:01

$\begingroup$ I am pretty sure that it is not in later volumes (by which time they had bigger fish to fry than the basic lemmas about ampleness). $\endgroup$ – Marguax Oct 22 '13 at 16:53
Add a comment

$\begingroup$
$\endgroup$
1
Robert Lazarsfeld, Positivity in Algebraic Geometry I, Corollary 1.2.15 page 28.

$\begingroup$ Lightning fast. Thanks! I am only allowed to accept in 2 minutes. $\endgroup$ – Jesko Hüttenhain Oct 22 '13 at 8:57