In mathematics, the inverse image functor is a covariant construction of sheaves. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features.
Suppose we are given a sheaf G on Y and that we want to transport G to X using a continuous map f : X → Y .
We will call the result the inverse image or pullback sheaf f − 1 G . If we try to imitate the direct image by setting
f − 1 G ( U ) = G ( f ( U ) ) for each open set U of X , we immediately run into a problem: f ( U ) is not necessarily open. The best we could do is to approximate it by open sets, and even then we will get a presheaf and not a sheaf. Consequently, we define f − 1 G to be the sheaf associated to the presheaf:
U ↦ lim → V ⊇ f ( U ) G ( V ) . (Here U is an open subset of X and the colimit runs over all open subsets V of Y containing f ( U ) .)
For example, if f is just the inclusion of a point y of Y , then f − 1 ( F ) is just the stalk of F at this point.
The restriction maps, as well as the functoriality of the inverse image follows from the universal property of direct limits.
When dealing with morphisms f : X → Y of locally ringed spaces, for example schemes in algebraic geometry, one often works with sheaves of O Y -modules, where O Y is the structure sheaf of Y . Then the functor f − 1 is inappropriate, because in general it does not even give sheaves of O X -modules. In order to remedy this, one defines in this situation for a sheaf of O Y -modules G its inverse image by
f ∗ G := f − 1 G ⊗ f − 1 O Y O X .
While f − 1 is more complicated to define than f ∗ , the stalks are easier to compute: given a point x ∈ X , one has ( f − 1 G ) x ≅ G f ( x ) . f − 1 is an exact functor, as can be seen by the above calculation of the stalks. f ∗ is (in general) only right exact. If f ∗ is exact, f is called flat. f − 1 is the left adjoint of the direct image functor f ∗ . This implies that there are natural unit and counit morphisms G → f ∗ f − 1 G and f − 1 f ∗ F → F . These morphisms yield a natural adjunction correspondence: H o m S h ( X ) ( f − 1 G , F ) = H o m S h ( Y ) ( G , f ∗ F ) .
However, these morphisms are almost never isomorphisms. For example, if i : Z → Y denotes the inclusion of a closed subset, the stalk of i ∗ i − 1 G at a point y ∈ Y is canonically isomorphic to G y if y is in Z and 0 otherwise. A similar adjunction holds for the case of sheaves of modules, replacing i − 1 by i ∗ .