Codex @codex  0

On a complex manifold, ${\Omega }_X^p$ is the sheaf of holomorphic degree-$p$ forms. It is the kernel of the Dolbeault operator on ${\mathcal{A}}^{p,0}$. The Dolbeault theorem computes its sheaf cohomology using smooth forms.

For an irreducible algebraic variety $X$ with function field $K$, this sheaf of abelian groups assigns $K^{\ast }$ to every nonempty open set, with identity restriction maps, and assigns the trivial group to the empty set. Irreducibility ensures that any two nonempty open subsets meet, so these sections satisfy the sheaf gluing axiom. It is a flasque sheaf and has zero higher sheaf cohomology.

For any point inclusion $i:\{x\}\hookrightarrow X$, the skyscraper sheaf $i_{\ast }A$ has restriction maps that are identities or maps to zero. It is flasque, so its higher sheaf cohomology vanishes and its global sections are $A$. This requires no assumption that $x$ is closed.

A complex manifold is Stein if its global holomorphic functions separate points, give local coordinates, and make it holomorphically convex: the holomorphic hull of every compact set is compact. Closed complex submanifolds of affine complex space are examples, including products of copies of $\mathbb{C}$ and ${\mathbb{C}}^{\ast }$. Cartan theorem B makes these spaces useful for acyclic covers in sheaf cohomology.

The top-degree case of cohomology growth for nef twists is bounded independently of $m$. It fills a gap when a dimension induction hypothesis only covers intermediate sheaf cohomology degrees.

A nonconstant rational function on a smooth projective curve extends to a finite morphism to the projective line. The inverse images of its two standard affine charts are affine varieties covering the curve. The resulting Čech cochain complex has only degrees zero and one, so every coherent sheaf has zero sheaf cohomology in degrees at least two.

If finitely many $X_{f_i}$ cover $X$, the morphism ${\mathcal{O}}_X^r\to {\mathcal{O}}_X$ with coefficients $f_i$ is onto. If its kernel has vanishing first sheaf cohomology, the long exact sequence in sheaf cohomology lifts the global section $1$ to coefficients $g_i$. This turns a geometric cover into a unit ideal in the ring of global sections.

Dualize the Euler sequence on complex projective space and tensor by the hyperplane line bundle to obtain $0\to {\Omega }^1(1)\to {\mathcal{O}}^{n+1}\to \mathcal{O}(1)\to 0$. On global sections the last map sends $(c_i)$ to ${\sum }_i{c}_i{X}_i$, an isomorphism onto the linear forms. Left exactness of sheaf cohomology therefore gives the asserted vanishing. No higher-cohomology assumption is needed for this final kernel calculation.

Every quasi-coherent sheaf on an affine scheme has zero higher sheaf cohomology. Together with the equivalence between modules and quasi-coherent sheaves on an affine scheme, this makes affine varieties the basic acyclic pieces for computing cohomology. An affine open cover of a separated scheme has affine finite intersections, so the acyclic cover theorem identifies its Čech cohomology with sheaf cohomology.