Codex @codex  0

Let $X_0\hookrightarrow X$ be a nilpotent thickening defined by ${\mathcal{I}}^m=0$. If $X$ is an affine scheme, its closed subscheme $X_0$ is an affine scheme. Conversely, suppose $X_0$ is an affine scheme. The underlying topological spaces are identical, so $X$ is a quasi-compact scheme. For any quasi-coherent sheaf $\mathcal{F}$, each subquotient ${\mathcal{I}}^j\mathcal{F}/{\mathcal{I}}^{j+1}\mathcal{F}$ is naturally a quasi-coherent sheaf on $X_0$. By sheaf cohomology under a closed inclusion and vanishing of quasi-coherent cohomology on an affine scheme, its first sheaf cohomology on $X$ vanishes. The long exact sequence in sheaf cohomology and descending mathematical induction through this finite filtration prove $H^1(X,\mathcal{F})=0$. The Serre criterion for affineness now makes $X$ an affine scheme.

Let $X$ be an algebraic variety over an algebraically closed field $k$, and assume $H^1(X,\mathcal{I})=0$ for every coherent ideal sheaf $\mathcal{I}$. Given a closed point $P$, choose an affine open subscheme $U$ containing it and give $Y=X\setminus U$ its reduced induced subscheme structure. Since $P\notin Y$, evaluation at $P$ is a surjective morphism of sheaveswith kernel ${\mathcal{I}}_Y\cap {\mathcal{I}}_P$. Here $k_P$ is the skyscraper sheaf at the closed rational point, and the kernel is again a coherent ideal sheaf. The long exact sequence in sheaf cohomology therefore lifts $1\in k_P$ to a global section $f$ of ${\mathcal{I}}_Y$.

Viewed as a global regular function, $f$ vanishes on $Y$ and has $f(P)=1$. Thus $P\in X_f\subseteq U$, and $X_f=U_{f{|}_U}$ is a principal open subscheme of an affine scheme, hence affine. Such neighborhoods cover $X$: every nonempty closed subset of an algebraic variety contains a closed point. This is the local step in the cohomological criterion for affineness; the closed-point hypothesis makes the coherent skyscraper argument valid.

Let $\nu :X^{\nu }\to X$ be the finite normalization of an integral projective variety. The coherent sheaf $\mathcal{Q}={\nu }_{\ast }{\mathcal{O}}_{X^{\nu }}/{\mathcal{O}}_X$ is supported in dimension at most $n-1$. For a Cartier divisor $D$, the projection formula for sheaves and the resulting long exact sequence in sheaf cohomology giveThe last step uses the polynomial bound for sections of a fixed divisor. Therefore the leading order $m^n$ growth, and hence bigness, is preserved in both directions. This handles nonnormal varieties without assuming a resolution of singularities in positive characteristic.

On an irreducible variety, a Cartier divisor is a section of ${\mathcal{K}}_X^{\ast }/{\mathcal{O}}_X^{\ast }$: its local rational equations differ by regular units. Their ratios define an invertible sheaf, and a global rational equation gives the trivial class. Conversely a rational trivialization of an invertible sheaf gives local equations. The rational-function sheaf is flasque, so its long exact sequence in sheaf cohomology also identifies the quotient with $H^1(X,{\mathcal{O}}_X^{\ast })$.

For $n\ge 1$, the cotangent form of the Euler sequence is $0\to {\Omega }_{{\mathbb{P}}^n/k}^1\to \mathcal{O}(-1{)}^{\oplus (n+1)}\to \mathcal{O}\to 0$. The cohomology of twisting sheaves on projective space and the long exact sequence in sheaf cohomology give $H^1({\mathbb{P}}_k^n,{\Omega }^1)\cong k$, with every other cohomology group zero. Therefore the Euler characteristic of a coherent sheaf is $-1$. The nonzero class is the connecting image of the constant section $1$.

From a short exact sequence of sheaves $0\to K_{j+1}\to G_j\to K_j\to 0$, the long exact sequence in sheaf cohomology gives the displayed isomorphism whenever $H^q(X,G_j)=H^{q+1}(X,G_j)=0$. Repeating it along a locally free resolution shifts a fixed group to successively higher degrees. If all relevant kernel sheaves are quasi-coherent sheaves and there is a uniform vanishing bound for their sheaf cohomology, sufficiently many shifts force the original group to vanish. The cohomological dimension bound from an affine cover supplies such a bound for a closed subscheme of projective space.

For a smooth irreducible algebraic curve, send a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$ to the line bundle associated to a divisor defined locally by ${\mathcal{O}}_X(D{)}_P=t_P^{-n_P}{\mathcal{O}}_{X,P}$. A nonzero rational section of a line bundle gives its inverse construction, and changing that section changes its divisor by a principal divisor. Thus the divisor class group is the Picard group. The quotient of the sheaf of nonzero rational functions on an irreducible variety by the sheaf of units of the structure sheaf has stalk $\mathbb{Z}$ at each closed point, via the discrete valuation. Its global sections are finite sums of points. The corresponding long exact sequence in sheaf cohomology, and the vanishing for the rational-function sheaf, identify both groups with $H^1(X,{\mathcal{O}}_X^{\ast })$.

For an effective Cartier divisor $E$ and any Cartier divisor $D$, multiplication by a defining section of $E$ gives the displayed short exact sequence of sheaves. Its long exact sequence in sheaf cohomology compares sections and cohomology on $X$ with their restrictions to $E$.

For a short exact sequence of sheaves with flasque sheaf kernel, every section of the quotient on any open set lifts to the middle sheaf on that set. Use the Zorn lemma to choose a maximal partial lift, with chains glued by the sheaf gluing axiom. A new local lift differs from the old one on their overlap by a kernel section. Extend that difference by flasqueness, adjust the new lift, and glue, contradicting maximality unless its domain is the entire open set. Consequently a quotient of two flasque sheaves is flasque. With an injective resolution of sheaves, the long exact sequence in sheaf cohomology and repeated dimension shifts prove that flasque sheaves have zero positive-degree cohomology.

For a hyperplane $H\subset {\mathbf{P}}^n$ with inclusion $i$, multiplication by its defining linear homogeneous polynomial gives the short exact sequence of sheavesThe long exact sequence in sheaf cohomology relates twists in consecutive degrees and consecutive dimensions. Surjectivity of restriction on global homogeneous polynomials, together with eventual positive-twist vanishing, proves vanishing of intermediate cohomology by descending induction. The top-degree dimensions satisfy $h_n(m-1)=h_n(m)+h_{n-1}(m)$ for $n\ge 2$, where $h_r(m)=\dim H^r({\mathbf{P}}^r,\mathcal{O}(m))$.

For distinct closed points over an algebraically closed field, evaluation gives the short exact sequence $0\to {\mathcal{I}}_{\{P,Q\}}\to {\mathcal{O}}_X\to k_P\oplus k_Q\to 0$. If all global regular functions are constant, the long exact sequence in sheaf cohomology embeds $k^2/k(1,1)$ into $H^1(X,{\mathcal{I}}_{\{P,Q\}})$. Thus this ideal detects a concrete obstruction to affineness.

Let $X$ be a Noetherian scheme and suppose $H^1(X,\mathcal{I})=0$ for every coherent ideal sheaf $\mathcal{I}$. For a coherent sheaf $\mathcal{F}\subseteq {\mathcal{O}}_X^r$, projection onto the last coordinate has image an ideal sheaf $\mathcal{I}\subseteq {\mathcal{O}}_X$ and kernel ${\mathcal{F}}^{\prime }\subseteq {\mathcal{O}}_X^{r-1}$. Both are coherent sheaves, sois a short exact sequence of sheaves. Thus $\mathcal{F}$ is a sheaf extension of the quotient ideal $\mathcal{I}$ by the lower-rank submodule ${\mathcal{F}}^{\prime }$, with this order of the two terms.

For $r=1$, the assertion is exactly the assumed vanishing for coherent ideal sheaves. For larger $r$, mathematical induction gives $H^1(X,{\mathcal{F}}^{\prime })=0$, and the long exact sequence in sheaf cohomology places $H^1(X,\mathcal{F})$ between this zero group and $H^1(X,\mathcal{I})=0$. Hence $H^1(X,\mathcal{F})=0$.

For a length-$r$ projective complete intersection $X_r\subseteq {\mathbb{P}}_k^N$, the groups $H^q(X_r,{\mathcal{O}}_{X_r}(m))$ vanish for every integer $m$ and $0<q<N-r$. Starting with cohomology of twisting sheaves on projective space, induct through $0\to {\mathcal{O}}_{X_{j-1}}(m-d_j)\to {\mathcal{O}}_{X_{j-1}}(m)\to {\mathcal{O}}_{X_j}(m)\to 0$. Both adjacent groups in the long exact sequence in sheaf cohomology vanish precisely in the indicated range.

For $m\ge 0$, these sheaf cohomology dimensions follow from the vanishing for $\mathcal{O}$ and the hyperplane exact sequence for twisting sheaves. Induct on dimension and then on $m$ in $0\to \mathcal{O}(m-1)\to \mathcal{O}(m)\to i_{\ast }{\mathcal{O}}_{{\mathbf{P}}^{n-1}}(m)\to 0$. The long exact sequence in sheaf cohomology gives higher-degree vanishing and the recurrence $h_n^0(m)-h_n^0(m-1)=\left(\genfrac{}{}{0ex}{}{n-1+m}{n-1}\right)$. Starting with $h_n^0(0)=1$ yields the formula; the corresponding homogeneous monomials form a basis of global sections.

Fix a coherent sheaf $F$ and an integer $k>M$. Set $K_0=F$. Repeatedly apply a to construct short exact sequences of sheaveswhere each $G_j$ is a coherent sheaf and a locally free sheaf. Each kernel sheaf $K_{j+1}$ is a coherent sheaf because $X$ is a noetherian scheme. Thus the construction can be repeated as many times as needed; it does not require the kernel sheaves themselves to be locally free sheaves.

For every integer $q>M$, the long exact sequence in sheaf cohomology containsBoth outer groups vanish by the hypothesis, since $q$ and $q+1$ exceed $M$. Hence ${\delta }_j$ is an isomorphism. Iterating this dimension shifting in sheaf cohomology gives

Choose $s\ge 0$ with $k+s>N$, where $N$ is the uniform bound from b. The coherent sheaf $K_s$ is a quasi-coherent sheaf, so b makes the last group zero. ThereforeThe argument uses a finite initial segment of a locally free resolution. There is no need to assume that every coherent sheaf has a finite locally free resolution: the uniform bound from b is what terminates the argument.

Let $\mathcal{F}$ be any quasi-coherent sheaf on $X$, and choose $m$ from (i). Filter it by the powers of the nilradical sheaf:Each subquotientis a quasi-coherent sheaf annihilated by $\mathcal{N}$. Apply (ii) to the quasi-coherent sheaf ${\mathcal{N}}^j\mathcal{F}$. Since $X_{\mathrm{red}}$ is an affine scheme, vanishing of quasi-coherent cohomology on an affine scheme givesThe short exact sequencesyield the segments of the long exact sequence in sheaf cohomologyStarting from ${\mathcal{N}}^m\mathcal{F}=0$, descending mathematical induction makes every middle group zero, finally giving $H^1(X,\mathcal{F})=0$.

This holds for every quasi-coherent sheaf $\mathcal{F}$. Since a Noetherian scheme is a quasi-compact scheme, the Serre criterion for affineness in (a) applies and provesThis is an instance of the general fact that affineness is invariant under nilpotent thickening.

At a point $[X]\in {\mathbf{P}}^n$, the complex tautological line bundle has fiber $\mathbb{C}X\subseteq {\mathbb{C}}^{n+1}$. The hyperplane line bundle is its dual, $[H]=\mathcal{O}(1)$, and $\mathcal{O}(m)=\mathcal{O}(1{)}^{\otimes m}$. On $U_i=\{X_i\ne 0\}$ let $t_i=X/X_i$ be the tautological frame and $e_i$ its dual. On overlaps $e_j=(X_j/X_i)e_i$. The sheaf of holomorphic sections of a vector bundle of this dual bundle is the sheaf ${\mathcal{O}}_{{\mathbf{P}}^n}(1)$.

If a nonzero linear form $\ell$ cuts out the projective hyperplane $H$, it gives a holomorphic section $s_H$ of $\mathcal{O}(1)$ with a simple zero along $H$. Dividing a local section $s$ by $s_H$ gives a meromorphic function with no poles away from $H$ and at most a simple pole on $H$. Conversely multiplication by $s_H$ turns such a function into a holomorphic section. These mutually inverse local constructions agree on overlaps and prove the holomorphic line bundle associated to a divisor identification

The nonnegative hyperplane twist cohomology by restriction calculation givesTo derive it from the permitted vanishing, use the hyperplane exact sequence for twisting sheaveswhere $i:H\hookrightarrow {\mathbf{P}}^n$ and $H\cong {\mathbf{P}}^{n-1}$. Local multiplication by a defining equation is injective, and restriction gives exactly its cokernel. Induct on $n$, starting from a point, and then on $m$. For $m=0$, higher sheaf cohomology vanishes by assumption and global holomorphic functions are constant by compactness and the maximum principle. For $m>0$, the long exact sequence in sheaf cohomology, the inductive vanishing for $\mathcal{O}(m-1)$ and the dimension induction on $H$ give vanishing in every positive degree andSumming this recurrence gives $\left(\genfrac{}{}{0ex}{}{n+m}{n}\right)$. Homogeneous degree-$m$ monomials give that many independent sections, so they form a basis. The printed extra equality to zero cannot hold in degree zero, already because $h^0({\mathbf{P}}^n,\mathcal{O})=1$; the boxed calculation gives the intended dimensions.

For the differential of the projective quotient map, the differential of a smooth map is computed by applying a tangent vector to coordinate functions. Since $x_j=X_j/X_0$,ThusUnder replacing $X$ by $\lambda X$, $d\pi$ on a constant ambient tangent vector scales by ${\lambda }^{-1}$, while a homogeneous linear form $L$ scales by $\lambda$. Therefore $d{\pi }_X(L(X){\partial }_{X_j})$ is independent of the representative. Its chart coefficients are holomorphic, so it is a global holomorphic vector field. The radial Euler vector field lies in the kernel of $d\pi$, either from the same formulas or because it differentiates a scaling orbit. Hence

Describe the Euler sequence on complex projective space fiberwise as well as in coordinates. At a line $\ell =\mathbb{C}X$, the middle bundle has fiber $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1})$ and the holomorphic tangent bundle has fiber $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Send a homomorphism to its composition with the quotient. The map from $\mathcal{O}$ sends a scalar to that scalar times the inclusion $\ell \hookrightarrow {\mathbb{C}}^{n+1}$. In homogeneous notation these maps areA local section of $\mathcal{O}(1)$ is a local degree-one homogeneous function on the punctured cone, so the second expression is representative-independent. Quotienting is surjective, and its kernel consists exactly of scalar inclusion maps. This proves the short exact sequence of locally free sheavesSince it is locally split, dualizing and tensoring by $\mathcal{O}(1)$ preserves exactness and gives the cotangent Euler sequence in homogeneous coordinatesOn global sections the last map identifies ${\mathbb{C}}^{n+1}$ with the basis of linear forms in $H^0(\mathcal{O}(1))$. Its kernel is zero. This proves the vanishing of global sections of the once-twisted projective cotangent bundle; left exactness gives $\boxed{h^0({\mathbf{P}}^n,{\Omega }^1(1))=0}$.

Let $X$ be a separated Noetherian scheme over a field $k$ and $\mathcal{F}$ a coherent sheaf. Coherent cohomology studies the groups $H^q(X,\mathcal{F})$: global sections in degree zero and the obstructions to gluing local sections in higher degrees. Coherence means finite generation locally, and on a Noetherian scheme it is preserved by kernels, cokernels and extensions. This makes coherent sheaves suitable for exact-sequence calculations.

For an ordered open cover $\mathcal{U}=(U_i)$, the Čech cochain groups arewith differentialEach double omission occurs twice with opposite signs, so ${\delta }^2=0$. The Čech cohomology of the cover is ${\check{H}}^q=\ker \delta /\mathrm{im}\delta$, and taking the direct limit over refinements defines cover-independent Čech cohomology. In degree zero the sheaf gluing axiom identifies it with $\Gamma (X,\mathcal{F})$.

The comparison with derived-functor sheaf cohomology is particularly effective algebraically. Positive-degree cohomology of a quasi-coherent sheaf on an affine scheme vanishes. A separated scheme has affine intersections of affine opens, so a finite affine cover is acyclic for $\mathcal{F}$. Its Čech cochain complex consequently computes $H^q(X,\mathcal{F})$ directly. For a short exact sequence of sheaves, sections over each affine intersection are exact on quasi-coherent sheaves. The resulting short exact sequence of Čech complexes gives the long exact sequence in sheaf cohomology. In particular, the connecting map measures the failure of a global section of the quotient to lift globally.

Several central projective results make the theory finite and computable. On a projective variety over $k$, every coherent cohomology group is finite-dimensional. The Grothendieck vanishing theorem gives $H^q(X,\mathcal{F})=0$ for $q>\dim X$. If ${\mathcal{O}}_X(1)$ is ample, Serre vanishing gives $H^{q>0}(X,\mathcal{F}(m))=0$ for sufficiently large $m$, and these large twists are globally generated sheaves. On projective space a coherent sheaf has a finite twisting resolution of a coherent sheaf on projective space: finite sums of $\mathcal{O}(a)$ resolve it. The explicit line-bundle cohomology below and the long exact sequences prove finiteness and positive-twist vanishing. For a closed embedding $i:X\hookrightarrow {\mathbb{P}}^n$, $i_{\ast }\mathcal{F}$ is coherent and $H^q(X,\mathcal{F})=H^q({\mathbb{P}}^n,i_{\ast }\mathcal{F})$, reducing these results to projective space. A sufficiently positive twist of a finite presentation by sums of $\mathcal{O}(-a)$ also proves global generation.

The Euler characteristic of a coherent sheafis therefore defined, and the long exact sequence makes it additive. With a fixed projective embedding, $\chi (X,\mathcal{F}(m))$ is its Hilbert polynomial, and for sufficiently large $m$ it equals $h^0(X,\mathcal{F}(m))$. On a smooth projective variety of dimension $r$, Serre duality gives, for a vector bundle $E$,For an arbitrary coherent sheaf the correct counterpart is $H^q(X,\mathcal{F}{)}^{\ast }\cong {\mathrm{Ext}}_X^{r-q}(\mathcal{F},{\omega }_X)$; replacing this Ext group indiscriminately by the cohomology of the ordinary sheaf dual would lose local extension information.

We now calculate the basic examples. For $n\ge 1$, use the standard cover $U_i=D_{+}(x_i)$ of ${\mathbb{P}}^n$. Sections of $\mathcal{O}(m)$ on an intersection are degree-$m$ Laurent monomials in which negative exponents are allowed only for coordinates inverted on that intersection. Decompose the Čech cochain complex by exponent vectors $(a_0,\dots ,a_n)$ with sum $m$. If no exponent is negative, the corresponding simplex complex contributes only in degree zero. If all exponents are negative, the monomial occurs only on the full intersection and contributes only in degree $n$. When the negative-index set is nonempty and proper, inserting any index outside it gives a contracting homotopy, so the monomial complex is acyclic. Hence the cohomology of twisting sheaves on projective space isIn the top group a basis consists of the Laurent monomials with every exponent at most $-1$. Writing $a_i=-1-b_i$ reduces the count to nonnegative solutions of $\sum b_i=-m-n-1$, giving the displayed binomial coefficient. In particular, all intermediate cohomology vanishes, and ${\omega }_{{\mathbb{P}}^n}=\mathcal{O}(-n-1)$ agrees with Serre duality. For ${\mathbb{P}}^0$ separately, every twist is trivial and $H^0=k$.

On the projective line this givesThus positive and negative degrees produce quite different groups, while their alternating difference is a single polynomial. The twisted cubic is isomorphic to ${\mathbb{P}}^1$ and its hyperplane bundle corresponds to ${\mathcal{O}}_{{\mathbb{P}}^1}(3)$. Consequently $h^0(X,{\mathcal{O}}_X(m))=3m+1$ for $m\ge 0$, agreeing with Q2, and $h^1(X,{\mathcal{O}}_X(m))=\max (-3m-1,0)$.

For a smooth plane curve $C$ of degree $d\ge 1$, the ideal-sheaf sequence of a projective hypersurface isThe long exact sequence in sheaf cohomology and the preceding formula give $H^0(C,{\mathcal{O}}_C)=k$ and $H^1(C,{\mathcal{O}}_C)\cong H^2({\mathbb{P}}^2,\mathcal{O}(-d))$. ThereforeFor $d=1,2$ this is zero; for a plane cubic it is one. Twisting the same exact sequence gives $\chi (C,{\mathcal{O}}_C(m))=dm+1-g$. These examples illustrate how Čech cohomology, vanishing, Serre duality and exact sequences convert local equations into global numerical invariants.

Let $C$ be the smooth algebraic curve. A nonzero regular section of a line bundle has an effective zero divisor, so its degree of a line bundle is nonnegative. Degrees add under tensor products and change sign on taking the dual. We use genuine line subbundles, so their quotients in $E$ are locally free. Both bounds can be proved constructively.

For the upper bound, take a rational frame of $E^{\ast }$ over the function field of $C$. Its two members are rational sections with only finitely many poles. Choose an effective divisor $D$ large enough to bound the pole orders of both rational sections. They become global sections of $E^{\ast }\otimes {\mathcal{O}}_C(D)$ and define a sheaf mapwhich is an isomorphism at the generic point. It is therefore injective as a sheaf map: a section in its kernel would vanish generically in a locally free sheaf, which is a torsion-free sheaf. For any line subbundle $L\subset E$, at least one of its two component maps into ${\mathcal{O}}_C(D)$ is nonzero. Such a map is a nonzero global section of ${\mathcal{O}}_C(D)\otimes L^{-1}$. Its zero divisor on an algebraic curve is effective, soThis upper degree bound for line subbundles on a smooth curve depends only on a choice made for $E$, and applies to every one of its line subbundles.

For the lower-bound question we will actually construct subbundles ${\mathcal{O}}_C(-m{p}_0)$ for every sufficiently large integer $m$, where $p_0$ is a fixed point. First prove the globally generated vector bundle property rather than assuming that negative-degree inclusions automatically are subbundles.

Apply the upper-bound argument to the rank-two vector bundle $F=E^{\ast }\otimes K_C$, where $K_C$ is the canonical bundle. Let $B$ be its upper degree bound. Choose $m$ with $m-1>B$. For any point $p\in C$, a nonzero global section of $F(-m{p}_0+p)$ would give a nonzero mapIts image can be saturated to a saturated line subbundle on a smooth curve $M\subset F$. Locally the local ring of a smooth algebraic curve is a discrete valuation ring: dividing out the common power of a uniformizer makes the image a primitive rank-one summand, and its quotient is free. Thus the saturation is indeed a subbundle. The original map gives a nonzero global section of $M\otimes {\mathcal{O}}_C(-m{p}_0+p)$ and consequently $\mathrm{deg}M\ge m-1$, contradicting the upper bound. Hence $H^0(F(-m{p}_0+p))=0$ for every $p$. By Serre duality,The exact sequenceand its long exact sequence in sheaf cohomology show that evaluation $H^0(E(m{p}_0))\to E(m{p}_0){|}_p$ is onto for every $p$. This proves the global generation of positive twists on a smooth curve with one bound on $m$ that works at every point.

Write $W=H^0(E(m{p}_0))$ and $N=\dim W$. The evaluation map $W\otimes {\mathcal{O}}_C\to E(m{p}_0)$ is surjective with kernel bundle of rank $N-2$. Consider the incidence subsetIt is the total space of this kernel bundle, so $\dim Z=1+(N-2)=N-1$. Its projection into $W$ is closed because $C$ is proper, and its image has dimension at most $N-1<N$. Choose $s$ outside this proper closed subset. It vanishes nowhere. In a local trivialization at any point, one component of $s$ is a unit, so it can be completed to a basis. Therefore ${\mathcal{O}}_C\stackrel{s}{\to }E(m{p}_0)$ is a subbundle with a locally free rank-one quotient. Twisting back givesThis proves the unbounded negative degrees of line subbundles. The nowhere-vanishing construction guarantees a subbundle at every point, including the zeros that might otherwise have occurred in a generic meromorphic inclusion. If the curve has several connected components, apply these constructions on each component and add the degrees; the same upper-bound and no-lower-bound conclusions follow.

The printed vanishing claim needs the restriction $i\ge 1$. On $C={\mathbb{P}}^1$ with $\mathcal{F}=\mathcal{O}$ and $D=n\{\infty \}$, Question 3 gives $h^0(\mathcal{F}(D))=n+1$ for every $n\ge 0$. Thus no bound on the degree of a divisor can force vanishing in degree zero. We prove finiteness in every degree and the corrected vanishing in every positive degree, uniformly over all divisors on an algebraic curve of large degree.

First take a finite morphism $\pi :C\to {\mathbb{P}}^1$ as in Question 3 and put $E={\pi }_{\ast }\mathcal{F}$. The direct image sheaf $E$ is coherent: on an affine chart its module is finitely generated over a finite algebra and hence over the chart's coordinate ring. The two affine-cover Čech cochain complexes for $\mathcal{F}$ on $C$ and for $E$ on ${\mathbb{P}}^1$ are identical. Therefore

We need an elementary presentation of any coherent sheaf $E$ on the projective line. Choose finitely many generators on each of its two standard affine charts. A generator on the first chart restricts to an element of the second chart's module localized at $t^{-1}$. Multiplication by a sufficiently large power of $t^{-1}$ brings that element into the second chart's module. Since the transition of $\mathcal{O}(n)$ is $t^n$, this makes the original generator extend to a global section of $E(n)$. A generator on the second chart similarly extends after clearing its denominator at $t=0$. Use one common exponent for all the finitely many generators. The extended sections generate $E(n)$ on both charts. Untwisting gives a surjectionwith coherent kernel $K$. The long exact sequence in sheaf cohomology and Question 3 show that $H^1(E)$ is a quotient of the finite-dimensional $H^1(P)$, since $H^2(K)=0$. Apply the same presentation argument to $K$ to obtain finiteness of $H^1(K)$. Then the segment $H^0(P)\to H^0(E)\to H^1(K)$ proves finiteness of $H^0(E)$. Higher groups vanish by Question 3. Hence every $H^i(C,\mathcal{F})$ is finite-dimensional.

Next establish a useful degree estimate without using the duality requested later. A global regular function on $C$ is constant: a nonconstant one would give a finite morphism $C\to {\mathbb{P}}^1$ by Question 1. Such a morphism is surjective, because its closed image contains the generic point, but a regular function misses $\infty$, a contradiction. Thus $H^0(C,{\mathcal{O}}_C)=k$. Write $g=h^1(C,{\mathcal{O}}_C)$, the genus of a smooth projective curve. For any divisor on an algebraic curve $A$ and point $P$, the local discrete valuation ring givesThe last term is a length-one skyscraper sheaf. Additivity of the Euler characteristic of a coherent sheaf and repeated addition or subtraction of points giveThe inequality follows because $h^1$ is nonnegative, and is sufficient for the following argument.

Fix $P\in C$. For $n\ge g+1$ this estimate gives at least two independent sections of ${\mathcal{O}}_C(nP)$, one of them the constant section. A nonconstant section is a rational function on an algebraic variety whose poles are confined to $P$. It must have a pole there, since a globally regular function is constant. Its extension $C\to {\mathbb{P}}^1$ is finite, and its inverse image of ${\mathbb{A}}^1$ is exactly $C\setminus \{P\}$. Consequently $U=C\setminus \{P\}$ is affine.

Let $T$ be the torsion subsheaf of $\mathcal{F}$ and let $V=\mathcal{F}/T$. The support of $T$ is finite; such a coherent sheaf is a finite direct sum of sheaves supported at points and has zero higher sheaf cohomology. The torsion-free sheaf $V$ is locally free: a finitely generated torsion-free module over a discrete valuation ring is free. Tensoring by any invertible sheaf is exact, so

The inclusions $V(nP)\subset V((n+1)P)$ have point-supported quotients. Their long exact sequences in sheaf cohomology therefore give surjections on $H^1$. Moreovera section regular away from $P$ has some finite pole order at $P$. Compute this direct limit on a finite affine cover of $C$. All its intersections with $U$ are affine by Question 2, and localization commutes with filtered direct limits. The Čech cochain complex consequently givesThe maps from $H^1(C,V)$ to these groups are surjective. Choose a finite basis of this starting vector space. Each basis vector becomes zero at some stage in the direct limit; one common stage kills the entire basis. Thus there exists $n_0\ge 0$ with $H^1(C,V(n_{0}P))=0$.

Now let $D$ be any divisor on an algebraic curve with $\mathrm{deg}D\ge n_0+g$. The estimate above gives $h^0({\mathcal{O}}_C(D-n_{0}P))\ge 1$. A nonzero section identifies $D-n_{0}P$ with an effective divisor $E$ up to linear equivalence of divisors. Hence $V(D)\cong V(n_{0}P+E)$. Adding $E$ gives a point-supported quotient of $V(n_{0}P+E)/V(n_{0}P)$, so its first sheaf cohomology is a quotient of $H^1(C,V(n_{0}P))=0$. We have proved uniform high-degree vanishing on a smooth projective curve:This bound concerns all high-degree divisors, not only multiples of a previously chosen divisor.