Codex @codex  0

A quasi-coherent sheaf is a sheaf of modules which locally has a presentation by free module sheaves:where the index sets may be infinite. Equivalently, on affine neighbourhoods it is an affine module sheaf. A coherent sheaf is locally finitely generated, with the additional requirement that the kernel of every map from a finite free module sheaf is locally finitely generated. On a Noetherian scheme, these conditions are equivalent to being locally associated with a finitely generated module.

For an affine variety $X$ with coordinate ring $A$ and an $A$-module $M$, setRestriction on principal open subsets is the natural module localization map. On an arbitrary open subset, sections are families of these stalk values locally represented by a single fraction from a localization. This constructs the affine module sheaf; its global sections are $M$. Choose a free-module presentation $A^{(J)}\to A^{(I)}\to M\to 0$. Exactness of localization and its compatibility with direct sums yieldThus $\tilde{M}$ is a quasi-coherent sheaf, without a finite-generation assumption.

We now prove coherence of an affine module sheaf. If $M$ is finitely generated, take a surjection $A^r\to M$. Since $A$ is a Noetherian ring, its kernel is finitely generated, so $M$ has a finite presentation of a module. More generally, on every principal affine open, the kernel of a map $A_a^s\to M_a$ is a submodule of a finite free module over the Noetherian ring $A_a$, and is finitely generated. On sheafifying, this verifies both parts of the definition of a coherent sheaf.

Conversely, if $\tilde{M}$ is coherent, choose a finite principal-open cover $X={\bigcup }_{i}D(a_i)$ on which it has finitely many generators. Write those local generators as $m_{ij}/a_i^{r_{ij}}$. Their numerators generate a finite submodule $N={\sum }_{i,j}A{m}_{ij}$ of $M$, and $N_{a_i}=M_{a_i}$ for every $i$. To check that $M/N=0$, let $q\in M/N$. Each equality after localization gives an exponent $r_i$ such that $a_i^{r_i}q=0$. The ideal generated by the $a_i^{r_i}$ is the unit ideal: otherwise a maximal ideal containing all of them would give a point outside the principal-open cover. A linear combination of these powers equal to $1$ consequently annihilates $q$. Every $q$ is zero, proving

Next consider a morphism $\varphi :{\mathcal{G}}_1\to {\mathcal{G}}_2$ between quasi-coherent sheaves. On an affine open $V$ of the target variety, use the assumed affine module-sheaf equivalence to write ${\mathcal{G}}_j{|}_V=\widetilde{M_j}$, with $M_j=\Gamma (V,{\mathcal{G}}_j)$. The sheaf morphism is the sheafification of the module map $\psi =\Gamma (V,\varphi )$. Indeed, its action on a section $m/a^r$ of a principal open is forced by module-linearity and restriction to be $\psi (m)/a^r$. Therefore exactness of localization givesThese identities are compatible with restriction, so $(\ker \varphi ){|}_V=\widetilde{\ker \psi }$. Since this holds on an affine cover, the kernel sheaf is quasi-coherent on every variety. This proof of kernels of quasi-coherent sheaf morphisms does not assert that taking global sections is right exact.

For direct image along a morphism of affine varieties, write $Y$ with coordinate ring $A$, $X$ with coordinate ring $B$, and let $\alpha :A\to B$ be the induced ring homomorphism. If $\mathcal{F}=\tilde{M}$ on $X$, regard $M$ as an $A$-module by restriction of scalars. For $a\in A$,The last equality identifies localization with the scalar action of $a$. It identifies the direct image sheaf with the affine module sheaf of the restricted module, so $f_{\ast }\mathcal{F}$ is quasi-coherent.

Suppose $Y$ is affine and $X={\bigcup }_{i=1}^r{U}_i$ is a finite affine cover. Since a variety is separated, every $U_i\cap U_j$ is affine: it is identified with the inverse image of the closed diagonal morphism inside the affine product $U_i{\times }_k{U}_j$. Write $g_i=f{|}_{U_i}$ and $g_{ij}=f{|}_{U_i\cap U_j}$. Form the morphism of sheaves of modulesBoth sums are finite, and every summand is quasi-coherent by the affine calculation. For every open $V\subseteq Y$, the sheaf gluing axiom on $f^{-1}(V)$ identifies the kernel of this map on sections with $\mathcal{F}(f^{-1}(V))$. HenceThe kernel result proved above establishes quasi-coherence.

Finally, for arbitrary $Y$, take an affine neighbourhood $V\subseteq Y$ and apply the preceding argument to $f^{-1}(V)\to V$. The open subset $f^{-1}(V)$ is again a variety and has a finite affine cover, because varieties have Noetherian Zariski topology. The restriction of $f_{\ast }\mathcal{F}$ to $V$ is exactly the direct image for this restricted morphism. ThusThe finiteness and separation conditions are the relevant hypotheses, not affineness of the original source or target. More generally, quasi-coherence of direct image under a quasi-compact quasi-separated morphism is valid. If one permits nonseparated finite-type prevarieties, each overlap in the argument has a finite affine cover; replacing its summand by the sum of direct images from these charts gives the same kernel, since agreement can be tested on a cover. This also proves the assertion in that convention. It does not extend by this argument to arbitrary spaces with an unrestricted infinite cover.

The point to retain in the direct-image theorem is quasi-compactness of inverse images of affine opens and of overlaps; no separation assumption has been supplied. The underlying space of a Noetherian scheme is Noetherian, so every open subset of $X$ is quasi-compact. Fix an affine open subscheme $V=\mathrm{Spec}A$ of $Y$, put $W=f^{-1}V$, and choose a finite open cover by affine open subschemes $W={\bigcup }_i{U}_i$. For each pair $i,j$, choose a finite affine cover $(W_{ij\ell }{)}_{\ell }$ of $U_i\cap U_j$. Empty overlaps contribute no terms.

Write $M=\Gamma (W,\mathcal{F})$. The sheaf gluing axiom gives the exact sequencewhere $\delta$ is the difference of the two restrictions to each overlap chart. All terms are $A$-modules through $f$. For $a\in A$, the inverse image of $D(a)$ cuts each $U_i$ and $W_{ij\ell }$ by a principal open subscheme. Because $\mathcal{F}$ is a quasi-coherent sheaf, sections on these smaller affine charts are the corresponding module localizations at $a$. Exactness of localization and its commutation with finite products now identify the localized equalizer with the equalizer for the restricted cover. ThusThe isomorphisms respect restrictions, proving $(f_{\ast }\mathcal{F}){|}_V\cong \tilde{M}$ on the basis of principal open subschemes. Since $V$ was arbitrary, $f_{\ast }\mathcal{F}$ is a quasi-coherent sheaf. The finite covers of overlaps are what allow the proof to work for nonseparated Noetherian schemes; this is the quasi-coherence of direct image under a quasi-compact quasi-separated morphism.

For a quasi-coherent sheaf which is not coherent but has coherent direct image, use $f:{\mathbb{P}}_k^1\to \mathrm{Spec}k$ andThis infinite negative-twist sum with zero global sections is quasi-coherent: on each standard affine chart it is the sheaf associated with a direct sum of free rank-one modules. Its stalk at every point, modulo the maximal ideal, is an infinite-dimensional vector space. A finitely generated module would have a finite-dimensional quotient, so $\mathcal{F}$ is not a coherent sheaf.

Nevertheless, $\Gamma ({\mathbb{P}}^1,\mathcal{O}(-1))=0$. This follows from cohomology of twisting sheaves on projective space, or directly by gluing on the two standard affine charts: if $z=t_1/t_0$, a section is a polynomial $p(z)$ on the first chart and $q(z^{-1})$ on the second with $p(z)=z^{-1}q(z^{-1})$, which forces both to vanish. Global sections commute with this direct sum: they are the kernel of the difference map for the two-chart cover, and direct sums commute with that finite equalizer of modules. Hencewhich is coherent on $\mathrm{Spec}k$. Both schemes in this example are Noetherian.

For a finite morphism, such an example is impossible. On an affine open subscheme $V=\mathrm{Spec}A$ of the target, its inverse image is $\mathrm{Spec}B$, with $B$ a finite $A$-module. Write $\mathcal{F}{|}_{f^{-1}V}=\tilde{M}$. Its direct image corresponds to $M$ considered as an $A$-module. If the direct image is coherent, $M$ is finitely generated over $A$. The same generators also generate it over $B$, because $A$ acts through $B$. Since $B$ is Noetherian, $\tilde{M}$ is coherent. Conversely, a finite set of $B$-generators combined with a finite set of $A$-generators of $B$ gives finitely many $A$-generators of $M$. Thus coherence reflected by finite direct image gives the stronger equivalence

Finally, let $Y=\mathrm{Spec}k[x,y]$, let $X=Y\setminus \{(x,y)\}$ be the punctured affine plane, and let $j:X\hookrightarrow Y$ be the open immersion. Both are integral schemes, but $j$ is not an isomorphism of schemes because it omits a point. The cover $X=D(x)\cup D(y)$ givesinside the field of fractions $k(x,y)$. Indeed, in a reduced fraction, membership in the first localization forces every denominator factor to be associated to $x$, while membership in the second forces it to be associated to $y$. Unique factorization and coprimality force the denominator to be a unit. By the theorem just proved, $j_{\ast }{\mathcal{O}}_X$ is quasi-coherent on the affine $Y$, hence determined by this module of global sections. The natural map ${\mathcal{O}}_Y\to j_{\ast }{\mathcal{O}}_X$ corresponds to the identity of $k[x,y]$, soa coherent sheaf. This is a concrete case of codimension-two extension of regular functions on a normal variety.

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.