Codex @codex  0

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

The tensor product of sheaves $\mathcal{F}{\otimes }_{{\mathcal{O}}_X}\mathcal{G}$ is the sheafification of the presheafEquivalently, its stalk at $x$ is ${\mathcal{F}}_x{\otimes }_{{\mathcal{O}}_{X,x}}{\mathcal{G}}_x$.

The direct image sheaf is defined on each open set $V\subseteq Y$ byThe pullback of a sheaf of modules iswhere $f^{-1}\mathcal{E}$ is the inverse image sheaf and the tensor product uses the structural morphism $f^{-1}{\mathcal{O}}_Y\to {\mathcal{O}}_X$ of the given ringed-space morphism.

The adjunction morphism $f^{-1}{f}_{\ast }\mathcal{F}\to \mathcal{F}$, together with $f^{-1}\mathcal{E}\to f^{\ast }\mathcal{E}$, givesAdjunction between the inverse image sheaf and direct image sheaf turns this into the projection formula for sheaves morphismOn local sections it sends a pure tensor $s\otimes e$ over $V\subseteq Y$ to $s\otimes f^{\#}e$ over $f^{-1}V$.

Whether this morphism is an isomorphism is local on $Y$. If $\mathcal{E}{|}_V\cong {\mathcal{O}}_V^{\oplus r}$ for finite $r$, its restriction becomes the canonical identificationThus the projection-formula morphism is an isomorphism whenever $\mathcal{E}$ is locally free of finite rank.

For a morphism of ringed spaces, the pullback of a sheaf of modules is left adjoint to the direct image sheaf functor. The unit sends a local section $h$ to $1\otimes h$ after inverse image. On the structure sheaf it becomes the given ring homomorphism ${\mathcal{O}}_Y\to f_{\ast }{\mathcal{O}}_X$.

For a closed inclusion $i:X\hookrightarrow Y$, direct image sheaf formation is exact: stalks on $X$ are unchanged and stalks outside $X$ are zero. It also preserves flasque sheaves. Pushing forward a flasque resolution thus gives a resolution computing cohomology on $Y$, and its complex of global sections is identical to the original one on $X$. This proves the displayed isomorphism in every nonnegative degree.