Codex @codex  0

Order the index set of the open cover $\mathcal{U}=(U_a)$. The Čech cochain groups areand their differential is the alternating sum of restrictions:Terms obtained by deleting two indices cancel in pairs, so ${\delta }^2=0$. The Čech cohomology is ${\check{H}}^p=\ker \delta /\mathrm{im}\delta$, with zero incoming differential in degree zero. Its zeroth group is the group of global sections by sheaf gluing.

The acyclic cover theorem applies if every nonempty finite intersection is acyclic for $\mathcal{F}$. For a quasi-coherent sheaf on a variety it is sufficient that every such intersection is affine; on a separated variety, any affine open cover has this property. On ${\mathbb{P}}^n$, take the $n+1$ standard charts $U_i=D_{+}(X_i)$. Every intersection is a principal open in an affine chart, hence affine. The Čech complex has no terms above degree $n$, provingThis is the cohomological dimension bound from an affine cover and requires only quasi-coherence, not finite generation.

For the remaining projective calculations assume $n\ge 1$. There is a necessary zero-dimensional exception to the negative-twist assertion: ${\mathbb{P}}^0$ is a point, every twist is trivial there, and $H^0({\mathbb{P}}^0,\mathcal{O}(m))\cong k$ even for $m<0$.

Put $S=k[X_0,\dots ,X_n]$ with its usual grading. The twisting sheaf on projective space is the sheaf associated with the shifted graded module $S(m)$; on an intersection $U_I={\bigcap }_{i\in I}{U}_i$ its sections areOn $U_i$ a generator is $e_i=X_i^m$, with transition $e_j=(X_j/X_i{)}^m{e}_i$. These are regular units on overlaps and satisfy the cocycle relation, so they glue an invertible sheaf for every integer $m$, including negative $m$.

A global section is a compatible family of these homogeneous fractions, hence a single element of degree $m$ in ${\bigcap }_i{S}_{X_i}\subseteq \mathrm{Frac}S$. For $n\ge 1$, $X_0$ and $X_1$ are relatively prime in the unique factorization domain $S$, so $S_{X_0}\cap S_{X_1}=S$; therefore the full intersection is $S$. It follows thatFor $m\ge 0$ its dimension is $\left(\genfrac{}{}{0ex}{}{n+m}{n}\right)$. The proof uses all-chart compatibility; regularity on one chart alone would permit poles on its complement.

If some $d_i=0$, the ideal $(X_i^{d_i})$ contains $1$, so the requested containment is immediate. Otherwise every $d_i\ge 1$. A monomial $X_0^{a_0}\cdots X_n^{a_n}$ of degree ${\sum }_i{d}_i$ must have $a_i\ge d_i$ for some $i$: if not, its total degree would be at most ${\sum }_i(d_i-1)<{\sum }_i{d}_i$. Thus every degree-${\sum }_i{d}_i$ monomial, and hence every homogeneous polynomial of that degree, belongs to $(X_0^{d_0},\dots ,X_n^{d_n})$. This is monomial containment in an ideal of coordinate powers.

For $n>0$, a top-degree Čech cochain for $\mathcal{O}$ is a degree-zero Laurent polynomial on the full intersection. Write it with a common denominator asThe containment just proved gives $P={\sum }_i{Q}_i{X}_i^{d_i}$, with homogeneous $Q_i$ of degree ${\sum }_j{d}_j-d_i$. ConsequentlyThe $i$th term is regular on the intersection omitting $U_i$, and has degree zero. Give it the sign $(-1{)}^i$ in that component of the preceding Čech cochain. Its coboundary is the original fraction. Every top cochain is thus a coboundary, andThis is top Čech cohomology from missing-denominator monomials.

To obtain the negative-twist bound by induction on dimension, let $H\cong {\mathbb{P}}^{n-1}$ be a hyperplane, with inclusion $j$. Its equation gives the hyperplane exact sequence for twisting sheavesThe associated long exact sequence in sheaf cohomology and sheaf cohomology under a closed inclusion giveFor $n=1$, restriction $H^0({\mathbb{P}}^1,\mathcal{O})\to H^0(H,{\mathcal{O}}_H)$ is the surjection $k\to k$. Exactness and the already proved $H^1({\mathbb{P}}^1,\mathcal{O})=0$ give $H^1({\mathbb{P}}^1,\mathcal{O}(-1))=0$. The displayed surjections then give the same vanishing for every $m\ge 0$. This handles the point hyperplane without making a false negative-twist claim on ${\mathbb{P}}^0$.

For $n\ge 2$, the induction hypothesis in dimension $n-1$ gives $H^{n-1}(H,{\mathcal{O}}_H(m))=0$ whenever $m\ge -(n-1)$. Therefore consecutive top-degree groups are isomorphic for $m\ge 1-n$. Starting with $H^n({\mathbb{P}}^n,\mathcal{O})=0$ and stepping down through $m=0,-1,\dots ,1-n$ reaches $H^n({\mathbb{P}}^n,\mathcal{O}(-n))=0$. Stepping upward proves all positive twists too. We concludeThis is top-twist vanishing by hyperplane induction.

Finally, on $U_0$ write $x_a=X_a/X_0$ and ${\omega }_0=d{x}_1\wedge \cdots \wedge d{x}_n$. On $U_i$, let ${\omega }_i$ be the wedge of $d(X_a/X_i)$ for $a\ne i$, taken in increasing index order. For $i>0$, differentiating $X_0/X_i=x_i^{-1}$ and $X_a/X_i=x_a/x_i$ givesIn the wedge, all terms involving a second copy of $d{x}_i$ disappear; the surviving powers are $x_i^{-2}$ from $d(x_i^{-1})$ and $x_i^{-1}$ from the other $n-1$ differentials. Moving $d{x}_i$ into its original position produces the stated sign. Rescale each local generator by ${\eta }_i=(-1{)}^i{\omega }_i$. Then ${\eta }_j=(X_j/X_i{)}^{-n-1}{\eta }_i$ on every overlap, exactly the transition of the twist with $m=-n-1$. This canonical-form transition on projective space proves the canonical bundle of projective space:For line bundles the Serre duality pairing becomesIn particular $H^n(\mathcal{O}(-r))$ is dual to $H^0(\mathcal{O}(r-n-1))$, which is zero for $r\le n$, precisely the independently obtained bound. The case $r=0$ recovers $H^n(\mathcal{O})=0$, and $H^n(\mathcal{O}(-n-1))\cong k$ matches $H^0(\mathcal{O})\cong k$. Thus the calculated transition functions, global sections and top-degree vanishing agree with Serre duality.

For $U_{i_0\dots i_q}=U_{i_0}\cap \cdots \cap U_{i_q}$, the Čech cochain complex has groupsTerms in ${\delta }^2$ cancel in pairs, and Čech cohomology is $\ker \delta /\mathrm{im}\delta$. A degree-zero cocycle is exactly a family of compatible local sections. The sheaf gluing axiom gives their unique global section, proving ${\check{H}}^0(\mathcal{U},\mathcal{F})\cong \mathcal{F}(X)$. If the cover has affine finite intersections, a quasi-coherent sheaf has no higher cohomology on those intersections by vanishing of quasi-coherent cohomology on an affine scheme. The acyclic cover theorem then identifies all Čech groups with sheaf cohomology. In particular, a finite affine open cover of a separated variety has this property.

For the sheaf of units of the structure sheaf, a multiplicative degree-one cocycle is a family $g_{ij}\in {\mathcal{O}}_X^{\ast }(U_i\cap U_j)$ satisfying $g_{ij}{g}_{jk}=g_{ik}$, with $g_{ji}=g_{ij}^{-1}$. It glues trivial rank-one free modules into an invertible sheaf. Changing the local frames multiplies $g_{ij}$ by a coboundary, and two sets of transition data give isomorphic line bundles precisely when their cocycles differ this way. Tensoring line bundles multiplies their cocycles. Thus line bundles trivialized by an open cover give the group isomorphismFor the remaining arguments, work over the algebraically closed ground field. On the irreducible variety $V$, put $\mathcal{Q}={\mathcal{K}}^{\ast }/{\mathcal{O}}_V^{\ast }$, a quotient of sheaves of abelian groups. A global section of $\mathcal{Q}$ is locally represented by rational functions $f_i$ whose ratios are regular units. The corresponding unit cocycle $f_j/f_i$ defines an invertible sheaf. A single global rational function has trivial cocycle. Conversely, every line bundle has a nonzero rational section: choose a nonzero vector in its one-dimensional fibre at the generic point and express it in local frames. This supplies such local $f_i$. If the associated line bundle is trivial, changing frames makes all $f_i$ restrictions of one rational function. Thereforeis exact. This is the Cartier-divisor description of the Picard group. The sheaf of nonzero rational functions on an irreducible variety is flasque, since all restrictions between nonempty open sets are the identity on $k(V{)}^{\ast }$. Apply the long exact sequence in sheaf cohomology to $1\to {\mathcal{O}}_V^{\ast }\to {\mathcal{K}}^{\ast }\to \mathcal{Q}\to 1$. Since $H^1(V,{\mathcal{K}}^{\ast })=0$, its connecting map has exactly the cokernel just computed, provingFinally the Segre description of a smooth quadric surface identifies $V$ with ${\mathbb{P}}^1\times {\mathbb{P}}^1$. The two rulings of a smooth quadric surface have classes $F_1,F_2$ generating $\mathrm{Pic}(V)\cong {\mathbb{Z}}^2$. For completeness, remove one line in each ruling: the remaining chart is the affine plane, with factorial coordinate ring $k[s,t]$ and trivial divisor class group. The localization sequence for the divisor class group makes $F_1,F_2$ generators, and their degrees on the two ruling lines prove independence. The hyperplane class, and hence the conic $C$, has bidegree $(1,1)$. By Picard-group localization on a smooth variety, the Picard group of a smooth affine quadric surface isExplicitly, the restriction of ${\mathcal{O}}_V(1,0)$ is nontrivial: if it were trivial on $U$, its rational trivialization would have divisor supported on $C$, forcing $(1,0)$ to be an integer multiple of $(1,1)$, which is impossible.

On an affine chart $\mathrm{Spec}A\subseteq V$, the module of Kähler differentials ${\Omega }_{A/k}$ is generated by symbols $da$ subject to $k$-linearity and $d(ab)=adb+bda$. It represents $k$-derivations. These modules commute with localization, so their associated quasi-coherent sheaves glue to the Kähler differential sheaf ${\Omega }_{V/k}^1$. It is coherent: if $A=k[x_1,\dots ,x_N]/I$ and $I=(f_1,\dots ,f_s)$, then it has the finite presentation of a moduleFor a closed point $P$, put $R={\mathcal{O}}_{V,P}$ with maximal ideal $\mathfrak{m}$ and residue field $k$. The Zariski tangent space is ${\mathrm{Hom}}_k(\mathfrak{m}/{\mathfrak{m}}^2,k)$, equivalently ${\mathrm{Der}}_k(R,k)$. A derivation kills constants and ${\mathfrak{m}}^2$, so it factors through $a\mapsto a-a(P)$; conversely every linear functional on $\mathfrak{m}/{\mathfrak{m}}^2$ defines such a derivation by the product rule. The universal property of Kähler differentials therefore identifies this space withIn particular, ${\Omega }_{V,P}^1/{\mathfrak{m}}_P{\Omega }_{V,P}^1\cong {\mathfrak{m}}_P/{\mathfrak{m}}_P^2$, the algebraic cotangent space.

A point is a smooth point of a variety when its local ring is a regular local ring; over this algebraically closed field this says ${\dim }_k{T}_{V,P}=n=\dim V$. Tensor the finite presentation of a module above with $k(P)$. The tangent space is the kernel of the Jacobian matrix $J(P)$, hence has dimension $N-\mathrm{rank}J(P)$. This proves the Jacobian criterionFor a smooth irreducible variety $V$, choose at each point an invertible $(N-n)$-minor and shrink the affine chart so that it remains invertible. Its relations eliminate $N-n$ of the generators of ${\Omega }_{A/k}$, yielding a surjection $A^n\to {\Omega }_{A/k}$. At the generic point, its target has dimension $n$: over a perfect ground field, a separating transcendence basis of the function field has differentials forming a basis. Equivalently this follows from the assumed density of the smooth locus. The kernel therefore becomes zero over the fraction field of the integral domain $A$. As a submodule of $A^n$, it is a torsion-free module, so it is already zero. Thus these maps give local isomorphisms with ${\mathcal{O}}_V^n$, proving local freeness of differentials on a smooth variety with rank $n$.

For an affine chart $\mathrm{Spec}A\subseteq V$, write $W\cap \mathrm{Spec}A=\mathrm{Spec}(A/I)$ and $\mathcal{M}=\tilde{M}$. The restriction of a module sheaf to a closed subvariety is $\widetilde{M{\otimes }_{A}A/I}=\widetilde{M/IM}$. The Conormal exact sequence for Kähler differentials isIt follows from the generators and relations: passing to $A/I$ imposes precisely the additional relations $df=0$ for $f\in I$. The first map is well defined because $d(I^2)$ lies in $I{\Omega }_{A/k}$. Glue these exact module sequences, using exactness of localization, to obtainIn the final assertion, interpret locally principal subvariety as a proper local hypersurface. Its ideal on each chart is $(f)$ with $f\ne 0$. Since $V$ is an irreducible variety and reduced, $f$ is a non-zero-divisor, and $A/(f)\to (f)/(f^2)$, $\bar{a}\mapsto af$, is an isomorphism. These local rank-one descriptions make the conormal sheaf ${\mathcal{I}}_W/{\mathcal{I}}_W^2$ invertible.

Because $W$ is not contained in the singular locus of $V$, there is a dense open subset of $W$ where both $V$ and $W$ are smooth varieties. At a closed point there, $\dim W=\dim V-1$ by the Krull principal ideal theorem. The tangent description $T_{W,P}=\ker (df:T_{V,P}\to k)$ then forces $df\ne 0$. Hence the conormal map is injective at the generic point of $W$. Its kernel is a subsheaf of a line bundle on the integral variety $W$, so it is a torsion-free sheaf; a torsion-free sheaf with zero generic fibre is zero. This proves conormal injectivity for a generically smooth Cartier divisor. If zero equations were allowed in the phrase locally principal, $W=V$ would be a counterexample to invertibility; the proper-hypersurface convention is essential.

Write $U_0=D_{+}(t_0)=\mathrm{Spec}\mathbb{C}[x]$, where $x=t_1/t_0$, and $U_1=D_{+}(t_1)=\mathrm{Spec}\mathbb{C}[y]$, with $y=1/x$ on the overlap. Since $\mathcal{G}$ is a quasi-coherent sheaf, it is associated to a $\mathbb{C}[x]$-module $M$ on $U_0$. The preimages under the open inclusion $f$ of $U_0,U_1,U_0\cap U_1$ are $U_0,D(x),D(x)$, all affine schemes. Thus $f$ is an affine morphism and its direct image sheaf $f_{\ast }\mathcal{G}$ is quasi-coherent by direct image of a quasi-coherent sheaf under an affine morphism.

The two-chart cover is an acyclic cover by vanishing of quasi-coherent cohomology on an affine scheme, so the acyclic cover theorem identifies its Čech cohomology with sheaf cohomology. Its only potentially nontrivial positive-degree differential isThis is surjective because of the second summand. There are no normalized Čech terms in degree two or higher for a two-open cover, soThis is the acyclic direct image from an affine chart of the projective line. The pushforward need not itself be a flasque sheaf; the acyclic affine cover is what justifies this computation.

The tensor product of sheaves is the sheafification of the presheafwith restriction maps induced by those of $\mathcal{F}$, $\mathcal{G}$, and the structure sheaf of a scheme. Sending the germ of $f\otimes g$ to $f_P\otimes g_P$ gives a canonical mapIt is surjective because a finite sum of tensors of germs has representatives on one common neighborhood. It is injective because an equality in a tensor product of modules is witnessed by finitely many additive and balancing relations; all their germs, including the scalars in ${\mathcal{O}}_{X,P}$, can be represented and their equalities made valid on a common smaller neighborhood. Equivalently, a filtered colimit of modules commutes with these tensor products. Since sheafification preserves the stalk of a sheaf, this proves the asserted isomorphism.

For the pullback of a sheaf of modules, first form the inverse image sheaf ${\varphi }^{-1}\mathcal{F}$: sheafify $U\mapsto {\mathrm{colim}}_{V\supseteq \varphi (U)}\mathcal{F}(V)$. The morphism of sheaves of rings ${\varphi }^{-1}{\mathcal{O}}_Y\to {\mathcal{O}}_X$ then definesExactness of a sequence of sheaf of modules morphisms is checked on every stalk of a sheaf. Applying the right exactness of the tensor product of modules to the stalk sequence over ${\mathcal{O}}_{Y,\varphi (P)}$ gives the exact stalk sequence of the pullbacks. Thus ${\varphi }^{\ast }$ preserves sequences ending in zero, as required.

A quasi-coherent sheaf is a sheaf of modules locally of the form $\tilde{N}$ for a module $N$ over the coordinate ring of an affine neighborhood. On an affine variety $V$ with ring $B$, this associated sheaf is characterized on principal opens by $\tilde{N}(D(b))=N_b$, using localization of a module. Suppose $\mathcal{F}{|}_V\cong \tilde{N}$ and $U\subseteq {\varphi }^{-1}V$ is affine, with ring $C$. The induced algebra map $B\to C$ gives a canonical mapAt a point $P\in U$, both sides identify with ${\mathcal{O}}_{X,P}{\otimes }_{B}N$: on the right use ${\mathcal{F}}_{\varphi (P)}\cong {\mathcal{O}}_{Y,\varphi (P)}{\otimes }_{B}N$ and associativity of the tensor product of modules. The map is therefore an isomorphism on every stalk of a sheaf, hence an isomorphism of sheaves. Such $U$ cover $X$, proving that the pullback is a quasi-coherent sheaf.

Finally, on an affine open $V\subseteq Y$ with ring $B$, the presheaf defining $M_Y$ has, on $D(b)\subseteq V$, the valueConsequently $M_Y{|}_V\cong \widetilde{M{\otimes }_{R}B}$, so $M_Y$ is a quasi-coherent sheaf. The algebra map for $M_X$ is the composite $R\to \Gamma (Y,{\mathcal{O}}_Y)\to \Gamma (X,{\mathcal{O}}_X)$. Restriction of functions and the tensor-product construction give a canonical sheaf morphism ${\varphi }^{\ast }{M}_Y\to M_X$. At $P$, it is the associativity isomorphismIt is therefore a sheaf of modules isomorphism. In particular,

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.

The direct image sheaf is determined on the basis consisting of principal open subschemes $D(b)\subseteq \mathrm{Spec}B$. Their inverse images areand henceOn the other hand, localization of the restricted-scalar $B$-module givesThese isomorphisms commute with restriction to smaller principal opens, so they define the equality of quasi-coherent sheaves

Because $X$ is a Noetherian scheme, choose a finite affine cover $X={\bigcup }_i{U}_i$. Every intersection $U_i\cap U_j$ is quasi-compact, so choose a finite affine cover $U_i\cap U_j={\bigcup }_k{U}_{ijk}$. If $j_i:U_i\hookrightarrow X$ and $j_{ijk}:U_{ijk}\hookrightarrow X$ are the inclusions, the sheaf axiom gives an exact sequencewhere the last arrow is the difference of the two restrictions to each overlap chart.

Applying the left-exact direct image sheaf functor identifies $f_{\ast }\mathcal{F}$ with the kernel ofEvery map $U_i\to Y$ and $U_{ijk}\to Y$ is a morphism between affine schemes. Part (a) shows that all sheaves in the two finite sums are quasi-coherent sheaves. Kernels of morphisms of quasi-coherent sheaves on the affine scheme $Y$ are quasi-coherent, because they correspond to kernels of module homomorphisms. Therefore $f_{\ast }\mathcal{F}$ is quasi-coherent. This is the quasi-coherence of direct image under a quasi-compact quasi-separated morphism in the present Noetherian case.

An ${\mathcal{O}}_X$-module $\mathcal{F}$ is a quasi-coherent sheaf when every affine open $V=\mathrm{Spec}A\subseteq X$ has $\mathcal{F}{|}_V\cong \tilde{M}$ for some $A$-module $M$. For a morphism $f:X\to Y$, its direct image sheaf iswhile the pullback of a sheaf of modules is

If $i:Z\hookrightarrow X$ is a closed immersion of Noetherian schemes, then on an affine open $V=\mathrm{Spec}A\subseteq X$ one has $Z\cap V=\mathrm{Spec}(A/I)$. The restriction of $i_{\ast }{\mathcal{O}}_Z$ corresponds to the cyclic $A$-module $A/I$, so it is finitely generated. Hence $i_{\ast }{\mathcal{O}}_Z$ is a coherent sheaf; more generally this is the direct image of a coherent sheaf under a closed immersion.

Coherence need not survive an arbitrary pushforward. Letbe the open immersion. The sheaf ${\mathcal{O}}_{D(x)}$ is coherent, butis not a finitely generated $k[x]$-module. Therefore $j_{\ast }{\mathcal{O}}_{D(x)}$ is not coherent.

Choose a finite affine cover $\mathcal{U}=(U_j)$ of the Noetherian scheme $X$. Because $X$ is separated, every finite intersection $U_J$ is affine. Its inverse image $V_J=Z\cap U_J$ under the closed immersion is also affine. By the definition of the direct image sheaf,The Čech complexes for $i_{\ast }\mathcal{F}$ on $\mathcal{U}$ and for $\mathcal{F}$ on the induced cover $(Z\cap U_j)$ are therefore identical, including their restriction maps. Both affine covers are acyclic for the relevant quasi-coherent sheaves, so the acyclic cover theorem givesfor every $q$. This is cohomology under a closed immersion.

For $X={\mathbb{P}}_k^n$, use its $n+1$ standard affine opens. The induced cover of $Z$ is still acyclic, and its Čech complex has no cochains in degrees greater than $n$. The cohomological dimension bound from an affine cover therefore yields

A sheaf $\mathcal{F}$ of ${\mathcal{O}}_X$-modules is quasi-coherent when every affine open $U=\mathrm{Spec}A$ has $\mathcal{F}{|}_U\cong \tilde{M}$ for some $A$-module $M$.

Cover the target ${\mathbb{P}}_k^1$ by $D_{+}(y_0)$ and $D_{+}(y_1)$. On the first chart put $s=y_1/y_0$; its inverse image is $D_{+}(x_0)$ with coordinate $t=x_1/x_0$, and the morphism on rings isAs a $k[s]$-module,is free of rank two. The same calculation on the other standard chart uses $s^{-1}\mapsto t^{-2}$. Hence $f_{\ast }{\mathcal{O}}_X$ is locally free of rank two on the target.

For an affine morphism $f:X\to Y$ and a quasi-coherent sheaf $\mathcal{F}$, every inverse image of an affine open $V\subseteq Y$ is affine. Higher cohomology of a quasi-coherent sheaf on an affine scheme vanishes, soThe Leray spectral sequence therefore has only its zeroth row, and its edge maps give

Let $X=\mathrm{Spec}k[x]$ and $U=D(x)$. A global section of $j_{!}{\mathcal{O}}_U$ is a regular function on the integral scheme $U$ whose support is closed in $X$ and contained in $U$. Every nonzero regular function on $U$ has support dense in $X$, soIf this sheaf were quasi-coherent, then on the affine scheme $X$ it would be the sheaf associated with this zero module and hence would vanish. Its stalks at points of $U$ are instead ${\mathcal{O}}_{U,P}\ne 0$ by part a. This contradiction proves that extension by zero need not preserve quasi-coherence.

If $f:X\to Y$ is quasi-compact and quasi-separated, then the direct image of every quasi-coherent sheaf on $X$ is again a quasi-coherent sheaf. A finite affine cover of each inverse image of an affine target chart expresses the direct image as the kernel of a morphism between finite sums of quasi-coherent direct images from affine charts.

An algebraic variety that is separated over its ground field. Two affine open charts have an affine intersection: their intersection is the inverse image of the closed diagonal inside the product of the two affine charts. This ensures a finite affine cover is acyclic for quasi-coherent sheaves.

A graded module $M$ over a graded ring $S$ determines a quasi-coherent sheaf on the Proj construction $\mathrm{Proj}S$ by taking the degree-zero part of its localization on each standard affine open of Proj. Localization identifies these module sheaves on overlaps. The construction is exact, by exactness of localization and exactness of taking a fixed graded component.

For a variety over $k$, the module of Kähler differentials ${\Omega }_{A/k}$ on each affine chart gives a quasi-coherent sheaf. Compatibility with localization glues these into ${\Omega }_{X/k}^1$. A finite presentation of an algebra gives a finite presentation of a module for its differentials, so this is a coherent sheaf on a variety.

On an integral scheme, a quasi-coherent sheaf is torsion-free when its module on every affine chart is a torsion-free module over that chart's integral domain. It embeds into its generic fibre. Therefore a torsion-free sheaf with zero generic fibre is zero; locally free sheaves and their subsheaves are torsion-free.