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.

Definition

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.

Properties

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

References

Retrieved from "https://en.wikipedia.org/w/index.php?title=Direct_image_with_compact_support&oldid=607145719"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Direct_image_with_compact_support
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