Codex @codex  0

For a sheaf of abelian groups $\mathcal{F}$ on a topological space $X$, putThese arbitrary families of germs form a sheaf, and restrictions are projections. Extending a family by zero proves that $C(\mathcal{F})$ is flasque. Sending a section to all its germs gives an injective sheaf map $\mathcal{F}\to C(\mathcal{F})$, since a section with every germ zero vanishes locally and hence globally.

Set $Q^{-1}=\mathcal{F}$, $I^j=C(Q^{j-1})$ and $Q^j=\mathrm{coker}(Q^{j-1}\to I^j)$, using the sheaf cokernel. Compose $I^j\to Q^j\to I^{j+1}$ to obtain the Godement resolutionIt is exact by construction, with flasque terms. Define sheaf cohomology by the cohomology of its global-section complex:The resolution principle for sheaf cohomology identifies this with the computation using any flasque resolution.

The elementary input for acyclicity is the flasque-kernel section-lifting lemma: in a short exact sequence with flasque kernel, sections of the quotient lift over every open subset. Consequently a quotient of two flasque sheaves is flasque, because a quotient section lifts and that lift extends. If $\mathcal{F}$ itself is flasque, induction through $0\to Q^{j-1}\to I^j\to Q^j\to 0$ makes every $Q^j$ flasque. The same lifting lemma makes these sequences exact on global sections. Hence the global-section complex has no positive-degree cohomology, provingThis deduction uses the lifting lemma, not the desired cohomological vanishing as an assumption.

For the rational-section construction, add two representative sections after restricting to the intersection of their dense domains. Multiply by a representative rational function in the same way. Finite intersections of dense open sets are dense, and further restricting both representatives does not change their resulting class. The module axioms hold on their common domain. Thus rational sections form a module over $\mathrm{Rat}(X)$; irreducibility is not needed for this module statement. When $X$ is irreducible, $\mathrm{Rat}(X)$ is the function field $K=k(X)$.

Suppose now that $\mathcal{F}$ is locally free and $X$ irreducible. A germ at $P$ is represented on a nonempty open neighbourhood, which is dense, so it defines a rational section. Two representatives of the germ agree on a neighbourhood of $P$ and therefore give the same class. If the class is zero, trivialize $\mathcal{F}$ on a neighbourhood of $P$. Its coefficient functions vanish on a dense open subset; regular functions on a reduced irreducible variety with this property vanish identically. The germ is therefore zero. This proves the stalk inclusion into rational sections of a locally free sheaf:Local freeness matters: a nonzero torsion germ can vanish on a dense open set.

On an irreducible algebraic curve, every proper closed subset is finite, and every open subset is quasi-compact because the Zariski space is Noetherian. Let $R=\mathrm{Rat}(\mathcal{F})$. The constant sheaf $\mathcal{R}(\mathcal{F})$ has sections $R$ on every nonempty open set: such opens are irreducible and hence connected. DefineRestriction drops the components outside the smaller open set. For a compatible family over an open cover of $U$, take a finite subcover by quasi-compactness. The union of the finite supports of these finitely many sections is finite. Their agreeing components therefore glue to a unique finite-support tuple on $U$. This verifies the sheaf gluing axiom, including arbitrary covers, rather than merely asserting that a presheaf direct sum is always a sheaf.

A rational section is regular on some dense open set, whose complement on a curve is finite. Its classes $[s{]}_P\in R/{\mathcal{F}}_P$ therefore have finite support, defining a sheaf map $\mathcal{R}(\mathcal{F})\to \mathcal{P}(\mathcal{F})$. At $P$, the first sheaf has stalk $R$. The second has stalk $R/{\mathcal{F}}_P$: any finite tuple can be restricted to a neighbourhood omitting all its other support points, and its $P$-component is unaffected by such restriction. The resulting sequence on stalks isExactness of sheaves can be tested on stalks, so this proves the rational principal-parts resolution on an algebraic curveBoth right-hand sheaves are flasque: restrictions for the constant rational-section sheaf are identities between nonempty opens, and restrictions for the rational principal-parts sheaf are projections, with extension by zero. ConsequentlySurjectivity on stalks has not been confused with surjectivity on global sections.

For an explicit failure of global surjectivity take $X={\mathbb{P}}^1$ and $\mathcal{F}=\mathcal{O}(-2)$. Use coordinate $z=X_1/X_0$ and frame $e_0=X_0^{-2}$ on the finite chart. At infinity use $w=1/z$ and $e_{\infty }=X_1^{-2}=z^{-2}{e}_0$. Prescribe the rational principal part of $z^{-1}{e}_0$ at zero and zero at every other point. If a rational section $r(z)e_0$ realized this tuple, then $r-z^{-1}$ would be regular at zero and $r$ would be regular at every other finite point. Thus $r=z^{-1}+p(z)$ with $p\in k[z]$. Regularity at infinity would requireto be regular at $w=0$. Its $w^{-1}$ term cannot cancel with any term of the polynomial contribution, whose powers are at most $-2$. This is impossible. Hence the global rational-principal-part map need not be surjective.

For an affine curve it is always surjective, and here is a direct construction. Write $X=\mathrm{Spec}A$, $K=\mathrm{Frac}A$ and $\mathcal{F}=\tilde{M}$. By the affine module sheaf construction, $R=M{\otimes }_{A}K=:M_K$ and ${\mathcal{F}}_P=M_{{\mathfrak{m}}_P}$. Choose representatives $v_P\in M_K$ for a prescribed finite tuple, and choose one nonzero $a\in A$ with $a{v}_P\in M$ for all of them. The zero set $T=V(a)$ is finite. The ring $A/(a)$ is Artinian, since it is Noetherian of dimension zero, and its Artinian decomposition into local factors givesPrescribe the class of $a{v}_P$ in the indicated component for each requested point in $T$, and zero in the other components. A requested point outside $T$ already has zero principal part because $a$ is a unit there. Lift the tuple to $w\in M$. Then $s=w/a\in M_K$ satisfies $s-v_P\in M_{{\mathfrak{m}}_P}$ at every requested point in $T$, and is regular at every other point of $T$. Outside $T$ it is regular because $a$ is invertible. It therefore realizes exactly the prescribed tuple. This proves affine principal-parts interpolation for a locally free sheaf and givesNo nonsingularity assumption was used; the construction applies to singular irreducible affine curves as well.

The intersection hypothesis says that $X$ is a semi-separated scheme. For an affine open subscheme $V\subseteq X$, the intersection $V\cap U$ is affine. Restricting the given short exact sequence of sheaves to it and applying the affine module-sheaf equivalence gives an exact sequence of global sections:These are exactly the sections on $V$ of the three direct image sheaves. Affine opens form a basis, and every section of the last sheaf on such a basis open lifts to the middle sheaf. This proves surjectivity as a sheaf morphism; left exactness of direct image supplies the other positions. Hence direct image preserves this short exact sequence. The crucial ingredient is exactness of sections of quasi-coherent sheaves on an affine intersection; arbitrary open immersions need not have this property.

For the cohomology comparison, every nonempty finite intersectionis affine. This follows by mathematical induction, intersecting the affine intersection already obtained with the next affine open. The restriction of $\mathcal{F}$ to it is quasi-coherent, so vanishing of quasi-coherent cohomology on an affine scheme givesWe now prove why this local vanishing gives the acyclic cover theorem, rather than identifying the two sorts of cohomology without a comparison.

Take a flasque resolution $0\to \mathcal{F}\to {\mathcal{I}}^0\to {\mathcal{I}}^1\to \cdots$. Here a flabby sheaf has surjective restriction maps; its restrictions to open subsets are still flabby and have zero higher sheaf cohomology. Form the double complexThe horizontal differential is the alternating restriction map $d_{\mathrm{C}}$; the vertical one $d_{\mathrm{I}}$ is induced by the resolution. They commute, so the total differential in bidegree $(p,q)$ is $d_{\mathrm{C}}+(-1{)}^p{d}_{\mathrm{I}}$ and has square zero. The Čech resolution on a semi-separated scheme uses precisely these intersections.

A flabby sheaf has zero positive Čech cohomology for a finite open cover, and its degree-zero Čech cohomology is its global sections. One way to establish this auxiliary fact is to use the exact augmented two-open complexExactness at the first two terms is the sheaf gluing axiom; the last map is onto because a section on the intersection extends to $V$. For the induction step, write $V$ for the union of all but the last open and $W$ for the last open. Separate Čech cochains according to whether their index list contains the last index. The resulting two-block complex compares the smaller cover of $V$ with its restricted cover of $V\cap W$, together with $\Gamma (W,\mathcal{I})$ in degree zero. By induction those two smaller cover complexes have cohomology only in degree zero, where they give $\Gamma (V,\mathcal{I})$ and $\Gamma (V\cap W,\mathcal{I})$. The displayed two-open exact sequence then gives zero positive-degree cohomology for the full cover. This proves the auxiliary fact by induction on the number of opens. Thus horizontal cohomology of $C^{\bullet ,q}$ consists only of $\Gamma (X,{\mathcal{I}}^q)$ in degree zero. Computing the cohomology of the total complex first horizontally therefore gives $H^n(X,\mathcal{F})$, by the resolution principle for sheaf cohomology.

On the other hand, vertical cohomology issince the restricted flasque resolutions compute cohomology on each intersection. The already established affine vanishing makes all rows with $q>0$ zero. The surviving row $q=0$ is exactly the Čech cochain complex ${\check{C}}^{\bullet }(\mathcal{U},\mathcal{F})$. Computing total cohomology first vertically therefore gives ${\check{H}}^n(\mathcal{U},\mathcal{F})$. These two computations are justified by the two filtrations of the first-quadrant double complex: in every total degree only finitely many terms occur, and the cover also bounds the horizontal degree. Their edge maps give the natural identificationFor negative degrees both groups are zero by convention. In particular, degree zero is the usual identification by the sheaf gluing axiom, not merely a comparison of dimensions.

The resolution principle for sheaf cohomology states that an exact sequencewith $H^q(X,{\mathcal{A}}^j)=0$ for every $q>0$ computes $H^i(X,\mathcal{F})$ as the cohomology of $\Gamma (X,{\mathcal{A}}^{\bullet })$. In particular one may use a flasque resolution.

An affine morphism $\varphi :X\to Y$ is one for which the inverse image of every affine open subset of $Y$ is affine. We use vanishing of quasi-coherent cohomology on an affine scheme: a quasi-coherent sheaf has zero higher sheaf cohomology on an affine variety. Take a flasque resolution $\mathcal{F}\to {\mathcal{I}}^{\bullet }$. Each direct image sheaf ${\varphi }_{\ast }{\mathcal{I}}^j$ is flasque, because restriction on $V\subseteq U\subseteq Y$ is restriction on ${\varphi }^{-1}V\subseteq {\varphi }^{-1}U$. On an affine open $U\subseteq Y$, the augmented complex of sections isIts positive-degree cohomology vanishes by the affine theorem, and its degree-zero kernel is $\Gamma ({\varphi }^{-1}U,\mathcal{F})$. Checking exactness on this affine basis shows that ${\varphi }_{\ast }{\mathcal{I}}^{\bullet }$ is a flasque resolution of ${\varphi }_{\ast }\mathcal{F}$. The global-section complexes are identical, proving cohomology under an affine morphism:

For projective space, put $S=k[x_0,\dots ,x_n]$ with its usual grading and $U_i=\{x_i\ne 0\}$. Construct the twisting sheaf on projective space by setting its sections on $U_i$ to be the degree-$m$ part $(S_{x_i}{)}_m$, viewed as a module over $(S_{x_i}{)}_0$. It is free of rank one with generator $x_i^m$, even when $m$ is negative. On overlaps the generators differ by the unit $(x_i/x_j{)}^m$, so these modules glue to a line bundle $\mathcal{O}(m)$.

Assume first $n\ge 1$. These local modules all embed in the graded fraction field, and agreement on overlaps identifies global sections with ${\bigcap }_i(S_{x_i}{)}_m$. Since $S$ is a unique factorization domain and at least two distinct variables occur, a reduced fraction belonging to every $S_{x_i}$ has no nonconstant denominator. Thus the intersection is $S_m$. Counting monomials by stars and bars givesHere $h_n^i(m)={\dim }_k{H}^i({\mathbf{P}}^n,\mathcal{O}(m))$. The printed formula needs the convention that a counting binomial coefficient is zero when its upper integer is smaller than its nonnegative lower integer; the generalized polynomial convention for negative upper integers would give incorrect dimensions. For $n=0$, every twist on the single point ${\mathbf{P}}^0$ is trivial, so $h_0^0(m)=1$ for every $m$ and its higher cohomology is zero. This case supplies the base of dimension induction; the displayed top-cohomology formula below is for $n\ge 1$.

The standard $n+1$ affine opens have affine finite intersections. The acyclic cover theorem and affine vanishing identify sheaf cohomology with a Čech cochain complex ending in degree $n$. In particular $H^i({\mathbf{P}}^n,\mathcal{O}(m))=0$ for $i>n$.

Let $H=\{x_n=0\}\cong {\mathbf{P}}^{n-1}$, with inclusion $i$. Multiplication by $x_n$ gives the hyperplane exact sequence for twisting sheavesExactness is checked in the local trivializations, where a hyperplane equation is a non-zero-divisor and the quotient is its restriction to $H$. Since a closed immersion is an affine morphism, the first part identifies the cohomology of $i_{\ast }{\mathcal{O}}_H(m)$ with that on $H$.

For $n=1$, the long exact sequence in sheaf cohomology and $H\cong {\mathbf{P}}^0$ giveStarting from the given vanishing for sufficiently large $m$ and descending gives $h_1^1(m)=0$ for $m\ge -1$ and $h_1^1(m)=-m-1$ for $m\le -2$.

Now let $n\ge 2$, and assume the formulas in dimension $n-1$. Restrictionis surjective for every $m$: for $m\ge 0$ it is polynomial restriction, and for $m<0$ both groups are zero since $\dim H\ge 1$. The long exact sequence in sheaf cohomology therefore makes $H^1({\mathbf{P}}^n,\mathcal{O}(m-1))\to H^1({\mathbf{P}}^n,\mathcal{O}(m))$ injective. For $2\le j<n$, dimension induction gives $H^{j-1}(H,{\mathcal{O}}_H(m))=0$, so the same sequence makesinjective. Composing these injections up to a sufficiently large twist, where the target is zero by the given hypothesis, proves $H^j({\mathbf{P}}^n,\mathcal{O}(m))=0$ for every $m$ and $0<j<n$.

The remaining part of the long exact sequence in sheaf cohomology is consequentlywhere the last zero uses the affine-cover dimension bound on $H$. Hence $h_n^n(m-1)=h_n^n(m)+h_{n-1}^{n-1}(m)$. Using dimension induction and eventual vanishing, downward summation yieldsby telescoping Pascal's identity; for $m\ge -n$ it is zero. Thus, without invoking Serre duality in the induction,Finally, the canonical bundle of projective space is ${\omega }_{{\mathbf{P}}^n}\cong \mathcal{O}(-n-1)$, obtained by taking determinants in the dual Euler sequence. Serre duality therefore predictsIt pairs the two computed extreme-degree dimensions and pairs zero intermediate groups with zero intermediate groups, exactly as required.

Choose a flasque resolution of the sheaf of abelian groups $\mathcal{F}$,A flasque sheaf has surjective restriction maps; such resolutions exist for every sheaf of abelian groups. Apply the global section functor to obtain a cochain complex. The sheaf cohomology groups areFor $i=0$, the denominator is zero and $H^0(X,\mathcal{F})=\Gamma (X,\mathcal{F})$. Different resolutions give canonically isomorphic groups; the resolution principle for sheaf cohomology is what permits other acyclic resolutions to compute these same groups.