Inverse image functor

In mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map ${\displaystyle f:X\to Y}$, the inverse image functor is a functor from the category of sheaves on Y to the category of sheaves on X. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features.

Image functors for sheaves
direct image ${\displaystyle f_{*}}$
inverse image ${\displaystyle f^{*}}$
direct image with compact support ${\displaystyle f_{!}}$
exceptional inverse image ${\displaystyle Rf^{!}}$
${\displaystyle f^{*}\leftrightarrows f_{*}}$
${\displaystyle (R)f_{!}\leftrightarrows (R)f^{!}}$
Base change theorems
v t e