Direct image functor

Let f: X → Y be a continuous map of topological spaces, and let Sh(–) denote the category of sheaves of abelian groups on a topological space. The direct image functor

${\displaystyle f_{*}:\operatorname {Sh} (X)\to \operatorname {Sh} (Y)}$

sends a sheaf F on X to its direct image presheaf f_∗F on Y, defined on open subsets U of Y by

${\displaystyle f_{*}F(U):=F(f^{-1}(U)).}$

This turns out to be a sheaf on Y, and is called the direct image sheaf or pushforward sheaf of F along f.

Since a morphism of sheaves φ: F → G on X gives rise to a morphism of sheaves f_∗(φ): f_∗(F) → f_∗(G) on Y in an obvious way, we indeed have that f_∗ is a functor.

• Forming sheaf categories and direct image functors itself defines a functor from the category of topological spaces to the category of categories: given continuous maps f: X → Y and g: Y → Z, we have (gf)_∗=g_∗f_∗.
• The direct image functor is right adjoint to the inverse image functor, which means that for any continuous ${\displaystyle f:X\to Y}$ and sheaves ${\displaystyle {\mathcal {F}},{\mathcal {G}}}$ respectively on X, Y, there is a natural isomorphism:

${\displaystyle \mathrm {Hom} _{\mathbf {Sh} (X)}(f^{-1}{\mathcal {G}},{\mathcal {F}})=\mathrm {Hom} _{\mathbf {Sh} (Y)}({\mathcal {G}},f_{*}{\mathcal {F}})}$.

• If f is the inclusion of a closed subspace X ⊆ Y then f_∗ is exact. Actually, in this case f_∗ is an equivalence between the category of sheaves on X and the category of sheaves on Y supported on X. This follows from the fact that the stalk of ${\displaystyle (f_{*}{\mathcal {F}})_{y}}$ is ${\displaystyle {\mathcal {F}}_{y}}$ if ${\displaystyle y\in X}$ and zero otherwise (here the closedness of X in Y is used).
• If f is the morphism of affine schemes ${\displaystyle \mathrm {Spec} \,S\to \mathrm {Spec} \,R}$ determined by a ring homomorphism ${\displaystyle \phi :R\to S}$, then the direct image functor f_∗ on quasi-coherent sheaves identifies with the restriction of scalars functor along φ.

The direct image functor is left exact, but usually not right exact. Hence one can consider the right derived functors of the direct image. They are called higher direct images and denoted R^q f_∗.

One can show that there is a similar expression as above for higher direct images: for a sheaf F on X, the sheaf R^q f_∗(F) is the sheaf associated to the presheaf

${\displaystyle U\mapsto H^{q}(f^{-1}(U),F)}$,

where H^q denotes sheaf cohomology.

In the context of algebraic geometry and a morphism ${\displaystyle f:X\to Y}$ of quasi-compact and quasi-separated schemes, one likewise has the right derived functor

${\displaystyle Rf_{*}:D_{qcoh}(X)\to D_{qcoh}(Y)}$

as a functor between the (unbounded) derived categories of quasi-coherent sheaves. In this situation, ${\displaystyle Rf_{*}}$ always admits a right adjoint ${\displaystyle f^{\times }}$.[2] This is closely related, but not generally equivalent to, the exceptional inverse image functor ${\displaystyle f^{!}}$, unless ${\displaystyle f}$ is also proper.

• Proper base change theorem

• Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-3-540-16389-3, MR 0842190, esp. section II.4