Codex @codex  0

A globally generated line bundle on a quasi-compact scheme is generated by finitely many global sections. Each point has a section generating on an open neighbourhood, and quasi-compactness gives a finite subcover. This supplies a map into a fixed finite-dimensional projective space associated with that line bundle.

A line bundle $\mathcal{L}$ is a globally generated line bundle when the evaluation mapis surjective. Equivalently, its global sections span each fibre of the line bundle; locally at every point, some section is a generator.

Choose a finite generating family $s_0,\dots ,s_n$. On the open set where $s_i$ generates $\mathcal{L}$, the ratios $s_j/s_i$ are regular functions, giving a morphism of schemes into the standard chart $D_{+}(x_i)$ of projective space. The ratios obey the usual transition rules on overlaps, so these chart maps glue toThe tuple is computed using any local trivialization of $\mathcal{L}$; changing that trivialization multiplies all entries by the same invertible function. The construction has ${\phi }^{\ast }\mathcal{O}(1)\simeq \mathcal{L}$ and pulls back the coordinate sections to the chosen $s_i$.

There is a finiteness qualification for an arbitrary $X$: global generation alone need not provide such a finite family. It does if $X$ is quasi-compact, since the open sets on which individual sections generate have a finite subcover. Without that hypothesis, take $X={\coprod }_{m\ge 1}{\mathbb{P}}_k^m$ and let $\mathcal{L}$ restrict to $\mathcal{O}(1)$ on each component. This line bundle is globally generated, but any $N$ global sections have a common zero on a component ${\mathbb{P}}^m$ with $m\ge N$. Thus this is a globally generated line bundle without finite generators. This is finite global generation on a quasi-compact scheme. The finite-family construction is automatic in the projective case asked next.

For projective nonsingular $X$, put $V=⟨s_0,\dots ,s_n⟩$. The length-two criterion for a very ample linear system says that $\phi$ is a closed immersion precisely when, after extending to an algebraic closure, $V$ separates distinct points and tangent directions. Equivalently, the evaluationis surjective for every length-two geometric closed subscheme $E\subseteq X$. Two distinct points give point separation; a nonreduced length-two subscheme supported at one point gives separation of a direction in the Zariski tangent space. For the complete space $V=H^0(X,\mathcal{L})$, this says exactly that $\mathcal{L}$ is a very ample line bundle. For a chosen smaller $V$, it is the chosen linear system of divisors which must be a very ample linear system; mere global generation is insufficient.

Put $L={\mathcal{O}}_X(D)$ and let $s_D$ be the canonical global section cutting out the effective Cartier divisor $D$. The divisor restriction exact sequence givesThe hypothesis says $L{|}_D$ is an ample line bundle. By Serre vanishing, $H^1(D,L^m{|}_D)=0$ for all sufficiently large $m$, so the long exact sequence in sheaf cohomology makessurjective for all such $m$. These are finite-dimensional vector spaces. Their dimensions form a nonincreasing sequence of nonnegative integers, so the maps are isomorphisms from some point on. Exactness then implies that the restrictionis surjective for all sufficiently large $m$.

Choose such an $m$ for which $L^m{|}_D$ is also a globally generated line bundle. Lift a generating collection of its global sections to $X$. At each point of $D$, one lift has nonzero image in the one-dimensional residue-field fibre, hence generates the stalk of $L^m$ by Nakayama lemma. Outside $D$, $s_D^m$ is nowhere zero and generates $L^m$. Together these sections generate it everywhere. ThereforeThis proof works on an arbitrary projective scheme because the defining section of an effective Cartier divisor is a non-zero-divisor. If $D$ is empty, $L\cong {\mathcal{O}}_X$ and the conclusion is immediate. Semiampleness is the conclusion: the pullback of a line avoiding the centre of a blowup of a smooth algebraic surface of ${\mathbb{P}}^2$ satisfies the hypothesis on its support but has zero intersection with the exceptional curve, and therefore is not ample.

The tensor product of two globally generated line bundles is globally generated. At a point choose generator germs arising from a global section of each factor. Their tensor is the germ of a global tensor-product section and generates the rank-one tensor-product stalk. Iteration gives the same property for every positive tensor power, on an arbitrary scheme.