Direct image with compact support

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

Definition

Let f: X → Y be a continuous mapping of topological spaces, and let Sh(–) denote 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) := {s ∈ F(f⁻¹(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)

gollark: Yes. You are subjectively objectively wrong.

gollark: Unrelatedly, PDF is an awful format for documents which aren't scanned.

gollark: That's very heavily compressed, too.

gollark: (Wikipedia's text content only (just current versions of main-content-thingy pages) is 15GB)

gollark: With an internet connection that fast, you could literally download Wikipedia (text only, no revisions/talk pages/images/whatever) in 0.6 seconds, and all of it in less than a minute probably, if they could serve it that fast.

References

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.