Codex @codex  0

For a Noetherian ring $A$, a finitely generated module $M$ has a finite presentation of a module, and kernels of maps from finite free modules to $M$ are finitely generated. Its affine module sheaf is therefore a coherent sheaf. Conversely, if $\tilde{M}$ is coherent, choose a finite principal open subset cover on which its section modules are finitely generated. Lift their finitely many generators to numerators in $M$. The submodule generated by these numerators becomes all of $M$ on every chart, and hence is all of $M$: its quotient has zero localization at every point. This proves finite generation without assuming that global sections preserve arbitrary sheaf surjections.

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 affine module sheaf construction makes the remaining statements explicit. For $A=k[V]$ and an $A$-module $M$, defineon the basis of principal open subsets. Restrictions are the natural localization maps. Equivalently, a section on an arbitrary open set is a family $s_P\in M_{{\mathfrak{m}}_P}$ which near each point is represented by a single fraction $m/f^r$, with $f$ nonvanishing throughout that neighbourhood. This locally representable family construction gives a sheaf; the usual localization gluing verifies its quasi-coherence. Its stalk is $M_{{\mathfrak{m}}_P}$ andThis last identification is precisely the standard module-localization gluing on the affine basis, not an assertion that arbitrary sheaves are determined by their global sections.

Now write $A=k[X]$, $B=k[Y]$ and $\alpha ={\varphi }^{\#}:A\to B$. Let $\mathcal{G}=\tilde{M}$, $\mathcal{H}=\tilde{N}$ for $A$-modules $M,N$, and let $\mathcal{F}=\tilde{L}$ for a $B$-module $L$. The affine versions of the three constructions areHere ${}_{A}L$ denotes restriction of scalars along $\alpha$, whereas the last associated sheaf lives on $Y$. To verify the tensor-product assertion, localize at every prime: both stalks are $M_{\mathfrak{m}}{\otimes }_{A_{\mathfrak{m}}}{N}_{\mathfrak{m}}$. For the direct image, ${\varphi }^{-1}D(a)=D(\alpha (a))$, andThese equalities identify the sheaves on a basis and respect restrictions. For the pullback of a sheaf of modules, its stalk at $Q$ is $B_{{\mathfrak{m}}_Q}{\otimes }_{A}N$, exactly the stalk of $\widetilde{B{\otimes }_{A}N}$. The local tensor maps are compatible, so these stalk identifications come from an actual sheaf isomorphism. Thus all three constructions are quasi-coherent in the stated affine setting.

Finally construct the natural projection formula for sheaves map by sending a local tensor $m\otimes b$ to $b(1\otimes m)$ in the pulled-back module, followed by direct image. In the affine description, the target ${\varphi }_{\ast }{\varphi }^{\ast }\tilde{M}$ is the sheaf associated with the $A$-module ${}_A(B{\otimes }_{A}M)$, while $\tilde{M}{\otimes }_{{\mathcal{O}}_X}{\varphi }_{\ast }{\mathcal{O}}_Y$ corresponds to $M{\otimes }_{A}B$. The mapsare inverse $A$-linear maps. Localizing them commutes with every restriction, provingNo flatness assumption on $A\to B$ or finiteness assumption on $M$ is needed.

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.