Exceptional inverse image functor
In mathematics, more specifically sheaf theory, a branch of topology and algebraic geometry, the exceptional inverse image functor is the fourth and most sophisticated in a series of image functors for sheaves. It is needed to express Verdier duality in its most general form.
|Image functors for sheaves|
|direct image f∗|
|inverse image f∗|
|direct image with compact support f!|
|exceptional inverse image Rf!|
|Base change theorems|
- Rf!: D(Y) → D(X)
It is defined to be the right adjoint of the total derived functor Rf! of the direct image with compact support. Its existence follows from certain properties of Rf! and general theorems about existence of adjoint functors, as does the unicity.
The notation Rf! is an abuse of notation insofar as there is in general no functor f! whose derived functor would be Rf!.
Examples and properties
- f!(F) := f∗ G,
- where G is the subsheaf of F of which the sections on some open subset U of Y are the sections s ∈ F(U) whose support is contained in X. The functor f! is left exact, and the above Rf!, whose existence is guaranteed by general structural arguments, is indeed the derived functor of this f!. Moreover f! is right adjoint to f!, too.
- Slightly more generally, a similar statement holds for any quasi-finite morphism such as an étale morphism.
- If f is an open immersion, the exceptional inverse image equals the usual inverse image.
- Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-3-540-16389-3, MR 842190 treats the topological setting
- Artin, Michael (1972). Alexandre Grothendieck; Jean-Louis Verdier, eds. Séminaire de Géométrie Algébrique du Bois Marie - 1963-64 - Théorie des topos et cohomologie étale des schémas - (SGA 4) - vol. 3. Lecture notes in mathematics (in French). 305. Berlin; New York: Springer-Verlag. pp. vi+640. doi:10.1007/BFb0070714. ISBN 978-3-540-06118-2. treats the case of étale sheaves on schemes. See Exposé XVIII, section 3.