Direct image functor

In mathematics, the direct image functor describes how structured data assigned to one space can be systematically transferred to another space using a continuous map between them. More precisely, if we have a sheaf—an object that encodes data like functions or sections over open regions—defined on a space X, and a continuous map from X to another space Y, then the direct image functor produces a corresponding sheaf on Y. This construction is a central tool in sheaf theory and is widely used in topology and algebraic geometry to relate local data across spaces.

More formally, given a sheaf F defined on a topological space X and a continuous map f: 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 functor f_∗ 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.