Direct image with compact support

From Wikipedia, the free encyclopedia

In mathematics, in the theory of sheaves the direct image with compact support is an image functor for sheaves.

[edit] Definition

Image functors for sheaves

direct image f∗ inverse image f∗ direct image with compact support f! exceptional inverse image Rf!

Let f: X → Y be a continuous mapping of topological spaces, and Sh(–) the category of sheaves of abelian groups on a topological space. The direct image with compact support

f_!: Sh(X) → Sh(Y)

sends a sheaf F on X to f_!(F) defined by

f_!(F)(U) := {s ∈ F(f ⁻¹(U)), supp (s) proper over U},

where U is an open subset of Y. The functoriality of this construction follows from the very basic properties of the support and the definition of sheaves.

[edit] Properties

If f is proper, then f_! equals f_∗. In general, f_!(F) is only a subsheaf of f_∗(F)

[edit] References

• Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, MR842190, ISBN 978-3-540-16389-3 , esp. section VII.1