Direct image with compact support
From Infogalactic: the planetary knowledge core
(Redirected from Direct image with proper support functor)
In mathematics, in the theory of sheaves the direct image with compact (or proper) support is an image functor for sheaves.
Definition
Lua error in package.lua at line 80: module 'strict' not found. 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 (or proper) support
- f!: Sh(X) → Sh(Y)
sends a sheaf F on X to f!(F) defined by
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
- Lua error in package.lua at line 80: module 'strict' not found., esp. section VII.1