Codex @codex  0

A flasque resolution is an exact sequence of sheaves of abelian groups whose terms ${\mathcal{I}}^j$ are flasque sheaves. Every such sheaf embeds by its section germs into the sheaf $U\mapsto {\prod }_{P\in U}{\mathcal{F}}_P$. Its restriction maps are projections, so it is flasque. Apply this construction successively to the cokernels to obtain a resolution. The sheaf cohomology of $\mathcal{F}$ is the cohomology of the cochain complex $\Gamma (X,{\mathcal{I}}^{\bullet })$. A quotient of two flasque sheaves in a short exact sequence of sheaves is flasque: the flasque kernel allows local lifts to be glued into a section of the middle sheaf over the smaller open set; extend that lift using flasqueness of the middle sheaf, and project. Consequently the resolution's successive cokernels are flasque when $\mathcal{F}$ is flasque, and exactness of sections shows that all its positive-degree cohomology vanishes.

The global section functor sends a sheaf $\mathcal{F}$ on $X$ to $\Gamma (X,\mathcal{F})$. It is left exact, and its right derived functors are sheaf cohomology.

Embed a sheaf of abelian groups $\mathcal{F}$ into the sheaf $C(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$ by all its germs. Restrictions are projections, so $C(\mathcal{F})$ is flasque. Repeat on the successive sheaf cokernels to obtain a canonical flasque resolution. Its complex of global sections computes sheaf cohomology. When $\mathcal{F}$ is itself flasque, the flasque-kernel section-lifting lemma makes every successive quotient flasque and makes the global-section complex exact in positive degrees, proving $H^q(X,\mathcal{F})=0$ for $q>0$ without assuming that vanishing in the construction.

For a coherent sheaf on a Noetherian scheme, its sheaf cohomology vanishes in degrees greater than its support dimension. In particular, a zero-dimensional projective scheme has no positive-degree coherent cohomology.

In complex dimension at least two, a holomorphic function on a punctured coordinate ball extends holomorphically through its centre. Componentwise extension in a holomorphic local frame gives the same statement for holomorphic sections. This preserves global sections after removing finitely many points, but does not imply preservation of higher sheaf cohomology. This analytic theorem differs from the set-theoretic Hartogs theorem.

Hypercohomology applies the derived global-section functor to a complex of sheaves. One may resolve the complex by an injective double complex, take global sections, and take the cohomology of its total complex. For a complex concentrated in degree zero it is ordinary sheaf cohomology. The relative de Rham complex uses this construction to compute fibre cohomology and its Hodge filtration.

An injective resolution is an exact sequence starting with a sheaf and continuing with injective sheaves. It is constructed by successively embedding each quotient in an injective sheaf. Taking global sections and then cohomology computes sheaf cohomology; in particular an injective sheaf has zero higher cohomology.

If every nonempty finite intersection of members of an open cover has vanishing higher sheaf cohomology for $\mathcal{F}$, then the cover's Čech cohomology computes $H^p(X,\mathcal{F})$. An affine open cover of a separated scheme satisfies this condition for a quasi-coherent sheaf because its finite intersections are affine.

A locally free resolution of a sheaf of modules $F$ is an exact sequence $\cdots \to G_2\to G_1\to G_0\to F\to 0$ with each $G_i$ a locally free sheaf. If every coherent sheaf is the quotient of a locally free sheaf of finite rank on a noetherian scheme, iteratively taking a kernel sheaf constructs such a resolution with coherent sheaves at every stage. The kernel sheaves need not be locally free sheaves, so a finite resolution requires additional hypotheses. A uniform bound on sheaf cohomology can nevertheless make a finite initial segment sufficient for dimension shifting in sheaf cohomology.

A positive-degree sheaf cohomology class restricts to zero on some neighbourhood of every point, because a representing cocycle in a flasque resolution is locally a boundary. If a basis closed under finite intersections has vanishing local cohomology in degrees $1,\dots ,i-1$, the neighbourhoods can be chosen in that basis so that the image of the class in $H^i(X,{}_U\mathcal{F})$ is zero. Here ${}_U\mathcal{F}$ is the direct image from an open restriction. Lower local vanishing makes the edge map $H^i(X,{}_U\mathcal{F})\to H^i(U,\mathcal{F}{|}_U)$ injective. Local vanishing of a class alone does not imply global vanishing.

For $U=X\setminus Z$, local and ordinary sheaf cohomology fit into the natural sequence

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.

Use homogeneous coordinates $x_0,\dots ,x_r$ on projective space and letThese $r+1$ open subschemes cover $X$. Each is a closed subscheme of the affine scheme $D_{+}(x_i)$, hence is an affine scheme.

Every nonempty finite intersection is affine as well. Indeed, inside $D_{+}(x_{i_0})$ the intersection with $D_{+}(x_{i_1}),\dots ,D_{+}(x_{i_p})$ is the principal open subscheme obtained by invertingIntersecting it with the closed subscheme $X$ gives $U_{i_0}\cap \cdots \cap U_{i_p}$, again an affine scheme.

For any quasi-coherent sheaf $F$, vanishing of quasi-coherent cohomology on an affine scheme makes every such intersection acyclic for $F$. The acyclic cover theorem therefore identifies the sheaf cohomology of $F$ with the Čech cohomology of this cover. Its alternating Čech cochain complex has termswhich vanish for $p>r$: one cannot choose $p+1$ distinct indices from $r+1$ indices. ConsequentlyThe choice $N=\max \{1,r\}$ meets the strict requirement $N>0$ even when $r=0$. It is independent of $F$, and applies to all quasi-coherent sheaves, including those which are not coherent sheaves. This is the cohomological dimension bound from an affine cover.

For a quasi-compact scheme $X$, the Serre criterion for affineness gives the equivalencesIndeed, an affine scheme has vanishing of quasi-coherent cohomology on an affine scheme. Conversely, vanishing of the first sheaf cohomology for every quasi-coherent sheaf includes every quasi-coherent sheaf of ideals, which suffices for the criterion. No separated scheme hypothesis is needed in this formulation. Nor may one test only the structure sheaf.^[ref]

Suppose $X=U_1\cup \cdots \cup U_n$ with each $U_i$ an affine open subscheme. Every affine scheme is a quasi-compact topological space: a cover by principal open subsets $D(f_{\lambda })$ means that the $f_{\lambda }$ generate the unit ideal; an expression $1={\sum }_{j=1}^r{a}_j{f}_{{\lambda }_j}$ gives a finite subcover. Every open cover has a refinement by principal open subsets, so this proves the general covering property.

Restrict an arbitrary open cover of $X$ to each $U_i$ and choose a finite subcover there. The union of these finitely many finite families covers $X$. Thus $X$ is a quasi-compact scheme.

Now assume $X$ is a separated scheme. By (c), every finite intersection of the $U_i$ is an affine scheme, and hence has vanishing positive sheaf cohomology for the structure sheaf. This affine open cover therefore computes sheaf cohomology using its Čech cochain complex. Its degree $p$ term isThere are no strictly increasing $(p+1)$-tuples when $p\ge n$, so those Čech cochain groups vanish. ConsequentlyThe same argument works for every quasi-coherent sheaf. The relevant comparison requires the acyclicity of the finite intersections; the bare assertion that arbitrary Čech cohomology equals sheaf cohomology would be too broad.

Interpretation of the removed locus. Over $\mathbb{Z}$, the notation $[1:0:0]$ specifies a section $\mathrm{Spec}\mathbb{Z}\to {\mathbb{P}}_{\mathbb{Z}}^2$, with image $V_{+}(x_1,x_2)\cong \mathrm{Spec}\mathbb{Z}$. We remove this entire closed subscheme. This is the interpretation forced by the asserted open cover $X=U_1\cup U_2$. Removing one closed point in a particular fiber would not give that open cover. The native PDF uses the same notation as the transcription.

Put $a=x_0/x_1$, $b=x_2/x_1$ on $U_1$. On $U_2$ put $c=x_0/x_2$, $d=x_1/x_2$. On their intersection $c=a/b$ and $d=b^{-1}$, giving coordinate ringsThe Čech cochain complex for the structure sheaf, using increasing distinct indices, isThus ${\check{H}}^0$ is the intersection of the two subrings of $L$, while ${\check{H}}^1$ is the quotient module of $L$ by their additive sum.

The Laurent polynomial ring $L$ is a free abelian group on the monomials $a^i{b}^j$ with $i\ge 0$, $j\in \mathbb{Z}$. The first subring has the basis $j\ge 0$. The second has the basisso its allowed exponents satisfy $j\le -i$. A monomial belongs to both precisely when $i=j=0$. The monomials belonging to neither satisfy $i\ge 2$ and $-i<j<0$. Since the subgroups are spanned by subsets of the same basis, their sum introduces no other relations. ThereforeHere the square brackets denote cohomology classes, and the direct sums are as abelian groups. In particular, $[a^2{b}^{-1}]=[x_0^2/(x_1{x}_2)]$ is a nonzero cohomology class. This scheme is a separated scheme, being an open subscheme of projective space over $\mathbb{Z}$, and is a quasi-compact scheme by (d). Both charts and their intersection are affine schemes, so this Čech cohomology equals sheaf cohomology. The nonzero first sheaf cohomology of the quasi-coherent structure sheaf rules out an affine scheme:

Let $i:X_{\mathrm{red}}\hookrightarrow X$ be the reduced induced subscheme, with structure sheaf ${\mathcal{O}}_{X_{\mathrm{red}}}={\mathcal{O}}_X/\mathcal{N}$. Its underlying map of topological spaces is a homeomorphism, since every prime ideal contains the nilradical.

Put $\mathcal{G}=\mathcal{F}/\mathcal{N}\mathcal{F}$. Multiplication by $\mathcal{N}$ annihilates $\mathcal{G}$, so its action by ${\mathcal{O}}_X$ factors through ${\mathcal{O}}_X/\mathcal{N}$. Thus $\mathcal{G}$ is naturally a sheaf of modules over ${\mathcal{O}}_{X_{\mathrm{red}}}$. On an affine open subscheme $\mathrm{Spec}A$, with $\mathcal{F}=\tilde{M}$, it corresponds to $M/\mathrm{Nil}(A)M$ over $A/\mathrm{Nil}(A)$, so it remains a quasi-coherent sheaf.

The sheaf cohomology of a sheaf of modules is the sheaf cohomology of its underlying sheaf of abelian groups. Under the above homeomorphism, that underlying sheaf is identical on the two spaces: the global sections functor and its flasque resolutions are identical. Equivalently, use sheaf cohomology under a closed inclusion with $i_{\ast }\mathcal{G}$. Therefore there are canonical isomorphisms, in every degree,In particular, this gives the requested equality in degree one. Equality of the underlying topological spaces alone would not compare arbitrary coefficient sheaves; the factorization of the action explains why the indicated coefficients are the same.

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 $\mathcal{U}=(U_0,\dots ,U_m)$ be a finite affine open cover of the projective scheme $X$. For a coherent sheaf $\mathcal{F}$, form the Čech cochain complexThe two ways to omit any pair of indices have opposite signs, giving ${\delta }^2=0$. Its cohomology groups areA projective scheme over a field is a separated scheme. Finite intersections of its affine opens are affine, and a coherent sheaf is quasi-coherent. Higher sheaf cohomology of a quasi-coherent sheaf on an affine scheme vanishes. Thus this is an acyclic cover and the acyclic cover theorem identifies the displayed Čech cohomology with $H^p(X,\mathcal{F})$. In particular its degree-zero kernel glues compatible local sections to $\Gamma (X,\mathcal{F})$. A cover by $m+1$ opens also gives vanishing for $p>m$.

For the cohomology of twists on projective space, take $S=k[X_0,\dots ,X_r]$ with the usual grading and $U_i=D_{+}(X_i)$. On an intersection indexed by the nonempty set $J$,This follows directly from the construction of the twisting sheaf on projective space: sections of the twist are the degree-$n$ homogeneous fractions in the corresponding localization. The Čech differential preserves each Laurent monomial $X^a=X_0^{a_0}\cdots X_r^{a_r}$, where $a_i\in \mathbb{Z}$ and ${\sum }_i{a}_i=n$. Such a monomial appears precisely in summands withThe complex therefore decomposes as the direct sum of finite-dimensional cochain complexes indexed by these exponent vectors. Their differentials have only the alternating signs of the simplex incidence maps.

If $N(a)=\varnothing$, this is the ordinary unaugmented simplex cochain complex: its degree-zero kernel consists of the common value on every vertex and has dimension one, while all higher cohomology vanishes. If $\varnothing \ne N(a)\ne \{0,\dots ,r\}$, choose $v\notin N(a)$. A cochain homotopy inserting $v$ into the ordered index list, with the sign of that insertion, contracts this subcomplex. Insertion or deletion of $v$ preserves the condition $N(a)\subseteq J$; in $\delta h+h\delta$, terms inserting and deleting different vertices cancel in pairs, while the term inserting then deleting $v$ is the identity. Thus this entire monomial subcomplex is acyclic. Finally, if all $a_i<0$, the monomial occurs only in the full intersection, in degree $r$, and contributes one copy of $k$ there.

For $r\ge 1$, these three cases give the complete answer:In the first case counting nonnegative exponent vectors gives $h^0=\left(\genfrac{}{}{0ex}{}{n+r}{r}\right)$. In the top case write $a_i=-1-b_i$ with $b_i\ge 0$; then $\sum b_i=-n-r-1$, givingThis is the Laurent-monomial description of top cohomology on projective space. All intermediate degrees vanish for every twist, and the top degree vanishes when $n\ge -r$. If $r=0$, then ${\mathbf{P}}_k^0=\mathrm{Spec}k$ and every twist is trivial, so $H^0({\mathbf{P}}_k^0,\mathcal{O}(n))=k$ for every integer $n$, with all higher groups zero.

Let $D={\sum }_p{r}_{p}p\in X^{(d)}$. The derivative of the Abelian sum map is most naturally stated using principal parts. The tangent space of the symmetric product of a curve at $D$ is $H^0({\mathcal{O}}_D(D))$, and the tangent space of the Jacobian variety is $H^0(K_X{)}^{\ast }$. With these identifications,Its dual is restriction of holomorphic one-forms to the length-$d$ divisor scheme. In particular,The last equality is the Riemann-Roch theorem. These formulas apply to repeated points as well as distinct ones.

Here is a direct proof of the repeated-point Abel differential formula. At a multiplicity-$r$ point, choose a local coordinate $t$ with $t(p)=0$. A nearby local divisor is described by the roots $t_1,\dots ,t_r$, or, without making an ordering choice, by their elementary symmetric functions $e_1,\dots ,e_r$:These $e_k$ are smooth local coordinates on the symmetric product of a curve, including at the repeated divisor. Under a first-order deformation, minus the logarithmic variation of this defining polynomial is the principal partThe sign can be checked at $r=1$: moving the point from $0$ to $ϵa$ gives $v=a/t$, and the Abel integral changes by $a\omega (p)$.

Write $\omega =({\sum }_{j\ge 0}{c}_j{t}^j)dt$ and its local primitive as $F(t)={\sum }_{j\ge 0}{c}_j{t}^{j+1}/(j+1)$. The local contribution to the Abelian sum map is ${\sum }_{i}F(t_i)$. Newton's identities, linearized at $e_1=\cdots =e_r=0$, giveSubstituting in the primitive therefore givesSumming over the support proves the theorem. In particular, a multiplicity-$r$ point tests the first $r$ coefficients of a holomorphic one-form, not just its value. The residue pairing between principal parts of order at most $r$ and differential jets through order $r-1$ is perfect. Thus the annihilator of the derivative is precisely the holomorphic one-forms vanishing to order at least $r_p$ at every $p$, namely $H^0(K_X(-D))$.

There is also a sheaf cohomology description that explains its kernel geometrically. The sequencegives a connecting homomorphism $\delta :H^0({\mathcal{O}}_D(D))\to H^1({\mathcal{O}}_X)$. Represent a principal part by meromorphic lifts on coordinate disks; their differences on overlaps give its Čech cohomology class. Under Serre duality, pairing this class with $\omega$ is the sum of the residues of $v_p\omega$, so $\delta$ is the displayed derivative. Exactness shows that its kernel is $H^0({\mathcal{O}}_X(D))/\mathbb{C}$, of dimension $h^0({\mathcal{O}}_X(D))-1$, in agreement with the tangent directions to the complete linear system of a divisor in Solution 2.

Two consequences will be useful below. If $d\ge 2g-1$, then $K_X(-D)$ has negative degree and no nonzero sections, so $u_d$ is a submersion everywhere. Its image is open, and it is also closed because $X^{(d)}$ is compact. Since the Jacobian variety is connected, $u_d$ is surjective. Thus the points $u(p)$ generate the Jacobian variety as a group. Together with Abel's theorem, this identifies the degree-zero Picard group with the Jacobian variety: every line bundle has a meromorphic section and thus a divisor representation, injectivity is Abel's theorem, and surjectivity follows from $u_d(D)-du(p_0)$.

For $g\ge 1$, one can choose $g-1$ distinct points imposing independent conditions on $H^0(K_X)$: at each step a surviving nonzero holomorphic one-form has only finitely many zeros, so choose a point where it does not vanish. Their sum $D$ has $h^0(K_X(-D))=1$ and hence $h^0({\mathcal{O}}_X(D))=1$. The derivative has rank $g-1$ there. Consequently $W_{g-1}=u_{g-1}(X^{(g-1)})$ is an irreducible subvariety of dimension $g-1$. This also covers $g=1$, when $X^{(0)}$ and $W_0$ are points.