Codex @codex  0

For an ample line bundle $L$ on a noetherian scheme $X$, every coherent sheaf $F$ becomes a globally generated sheaf after tensoring with $L^{\otimes n}$ for all sufficiently large $n$. Finitely many global sections suffice by finite global generation on a quasi-compact scheme. This is the global-generation characterization of an ample line bundle.^[ref]

For a closed subscheme of projective space, take $L={\iota }^{\ast }\mathcal{O}(1)$. One way to see why twisting helps is to choose finitely many module generators on each standard affine open subscheme. Multiplication by a sufficiently high power of its homogeneous coordinate extends each generator to a global section of a twist. Choose one exponent for all generators. On the original chart that coordinate is invertible, so these extended sections still generate; doing this for every chart proves global generation. Tensoring back by the inverse invertible sheaf gives a surjection from a finite direct sum of sheaves of negative twists onto $F$.

Write ${\mathbb{P}}^r={\mathbb{P}}_k^r$ over its ground field; the argument also works over any Noetherian affine base. Since $\iota$ is a closed immersion, $X$ is a noetherian scheme and a quasi-compact scheme. LetHere the pullback of a sheaf of modules makes $L$ an invertible sheaf, the restriction of the twisting sheaf on projective space. It is an ample line bundle.

By global generation by sufficiently positive twists, choose $n\ge 0$ such that $F(n)$ is a globally generated sheaf. Finitely many global sections suffice: at each point, finite generation of the stalk of the coherent sheaf $F(n)$ lets us select finitely many generating germs of global sections. Those sections generate on a neighbourhood, because their cokernel sheaf is a coherent sheaf with zero stalk at that point. A finite subcover, using that $X$ is a quasi-compact scheme, supplies finitely many global sections generating everywhere. This is finite global generation on a quasi-compact scheme, and gives a surjective sheaf morphism

Tensor with $(L^{\vee }{)}^{\otimes n}$, where $L^{\vee }$ is the dual of a sheaf. Here tensoring with an invertible sheaf is exact: locally the tensor product of sheaves is tensoring with a free module of rank one. Using the permitted identity $L\otimes L^{\vee }\cong {\mathcal{O}}_X$, we obtainA finite direct sum of sheaves of invertible sheaves is a locally free sheaf of finite rank, and it is a coherent sheaf on the noetherian scheme $X$. This constructs the required $G$. No regularity or smoothness assumption on $X$ is needed.

Let $\mathcal{P}={\mathcal{M}}_X/{\mathcal{O}}_X$, the sheaf of meromorphic principal parts. Exactness of taking stalks givesChoose a holomorphic coordinate $t$ vanishing at $x$. Every meromorphic germ has a finite negative tail in its Laurent series; the holomorphic tail vanishes in the quotient. HenceThis coordinate description is a vector-space identification; the intrinsic space is the quotient of germs, so a coordinate change need not preserve the displayed basis.

For each point inclusion $i_x:\{x\}\to X$, a principal part defines a local meromorphic germ near $x$, whose quotient class is zero off $x$. Gluing with zero on the complement gives a map from its skyscraper sheaf to $\mathcal{P}$. These maps induce an isomorphism on every stalk and therefore an isomorphism of sheaves:The direct sum of sheaves means the sheafification of the sectionwise direct-sum presheaf. Its sections can have infinitely many nonzero components globally, but their point supports form a locally finite family of subsets. This matches the fact that poles of a meromorphic function are locally finite. On a compact Riemann surface only finitely many points can occur; on a noncompact one a discrete infinite family is allowed.

For a global principal-part family $P$, choose local meromorphic lifts $m_i$ on a sufficiently small open cover. The differences $m_j-m_i$ are holomorphic functions and form a Čech cocycle. The connecting homomorphism sends $P$ to the resulting class in $H^1(X,{\mathcal{O}}_X)$. If this class vanishes, after refining the cover write $m_j-m_i=h_j-h_i$; then the functions $m_i-h_i$ glue to a global meromorphic function. Conversely any global lift makes the class zero. Equivalently, exactness of the given long exact sequence in sheaf cohomology saysThe connecting class is the obstruction to the Mittag-Leffler problem on a Riemann surface. It rules on the specified poles and their finite negative Laurent tails, with no additional poles allowed. When a solution exists, any two solutions differ by a global holomorphic function.

On a Riemann surface, the quotient sheaf $\mathcal{P}={\mathcal{M}}_X/{\mathcal{O}}_X$ records the finite negative Laurent series tails of meromorphic germs. At $x$, a local coordinate $t$ identifies its stalk with ${⨁}_{m\ge 1}\mathbb{C}{t}^{-m}$. As a sheaf it is the direct sum of sheaves ${⨁}_x(i_x{)}_{\ast }{\mathcal{P}}_x$. Global sections prescribe locally finite families of principal parts, possibly infinite on a noncompact surface. The connecting homomorphism to $H^1(X,{\mathcal{O}}_X)$ is exactly the obstruction to a global meromorphic function with those parts and no extra poles.