Direct image sheaf

More formally, given a sheaf F defined on a topological spaceX and a continuous mapf: X → Y, we can define a new sheaf f_∗F on Y, called the direct image sheaf or the pushforward sheaf of F along f, such that the global sections of f_∗F is given by the global sections of F. This assignment gives rise to a functorf_∗ from the category of sheaves on X to the category of sheaves on Y, which is known as the direct image functor. Similar constructions exist in many other algebraic and geometric contexts, including that of quasi-coherent sheaves and étale sheaves on a scheme.