Direct image with compact support

From Wikipedia, the free encyclopedia

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


Let f: XY 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 (or proper) support

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

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

f!(F)(U) := {sF(f −1(U)) : f|supp(s):supp(s)→U is proper},

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.


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


Retrieved from ""
This content was retrieved from Wikipedia :
This page is based on the copyrighted Wikipedia article "Direct image with compact support"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA