Direct image with compact support: Difference between revisions

Revision as of 14:02, 11 April 2011

Latest revision as of 19:17, 14 May 2025

(15 intermediate revisions by 13 users not shown)

Line 1:

{{Multiple issues|

In [[mathematics]], in the theory of [[sheaf (mathematics)|sheaves]] the '''direct image with compact support''' is an [[image (mathematics)|image]] [[functor]] for sheaves.

{{context|date=May 2025}}

{{technical|date=May 2025}}

}}

In [[mathematics]], the '''direct image with compact (or proper) support''' is an [[Image functors for sheaves|image functor]] for [[Sheaf (mathematics)|sheaves]] that extends the [[compactly supported]] [[global sections functor]] to the relative setting. It is one of [[Alexander Grothendieck |Grothendieck's]] [[six operations]].

==Definition==

{{Images of sheaves}}

Let ''<math>f'': ''X'' →\to ''Y''</math> be a [[continuous mapping]] of [[locally compact]] [[Hausdorff space|Hausdorff]] [[topological space]]s, and ''let <math>\mathrm{Sh''}(–-)</math> denote the [[category (mathematics)|category]] of sheaves of [[abelian group]]s on a topological space. The '''direct image with compact (or proper) [[support (mathematics)|support]]''' is the [[functor]]

:''f''<submath>f_{!</sub>}: ''\mathrm{Sh''}(''X'')\to &rarr; ''\mathrm{Sh''}(''Y'')</math>

that sends a sheaf ''<math>\mathcal{F''}</math> on ''<math>X''</math> to ''f''the sheaf <submath>f_{!</sub>}(''\mathcal{F''})</math> definedgiven by the formula

:''f''<submath>f_{!</sub>}(''\mathcal{F''})(''U'') := \{''s'' ∈ ''\in\mathcal{F''}(''f''^{&nbsp;&minus;^{-1}}(''U'')) :\mid {f_{|\vert}_{\operatorname{supp}(s)}}:[[support (mathematics)|\operatorname{supp]]}(''s'')→U\to U \text{ is [[proper map|proper]]},\}</math>

for every open subset <math>U</math> of <math>Y</math>. Here, the notion of a [[proper map]] of spaces is unambiguous since the spaces in question are locally compact Hausdorff.<ref>{{Cite web |title=Section 5.17 (005M): Characterizing proper maps—The Stacks project |url=https://stacks.math.columbia.edu/tag/005M |access-date=2022-09-25 |website=stacks.math.columbia.edu}}</ref> This defines <math>f_{!}(\mathcal{F})</math> as a subsheaf of the [[Direct image functor|direct image]] sheaf <math>f_*(\mathcal{F})</math> and the functoriality of this construction then follows from basic properties of the support and the definition of sheaves.

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.

The assumption that the spaces be locally compact Hausdorff is imposed in most sources (e.g., Iversen or Kashiwara–Schapira). In slightly greater generality, Olaf Schnürer and [[Wolfgang Soergel]] have introduced the notion of a "locally proper" map of spaces and shown that the functor of direct image with compact support remains well-behaved when defined for separated and locally proper continuous maps between arbitrary spaces.<ref>{{Cite journal |last=Schnürer |first=Olaf M. |last2=Soergel |first2=Wolfgang |date=2016-05-19 |title=Proper base change for separated locally proper maps |url=https://ems.press/journals/rsmup/articles/13889 |journal=Rendiconti del Seminario Matematico della Università di Padova |language=en |volume=135 |pages=223–250 |doi=10.4171/rsmup/135-13 |issn=0041-8994|arxiv=1404.7630 }}</ref>

==Properties==

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

* If <math>f</math> is proper, then <math>f_!</math> equals <math>f_*</math>.

* If <math>f</math> is an open [[embedding]], then <math>f_!</math> identifies with the extension by zero functor.<ref>{{Cite web |title=general topology - Proper direct image and extension by zero |url=https://math.stackexchange.com/q/2768645 |access-date=2022-09-25 |website=Mathematics Stack Exchange |language=en}}</ref>

==References==

{{reflist}}

* {{Citation | last1=Iversen | first1=Birger | title=Cohomology of sheaves | publisher=[[Springer-Verlag]] | ___location=Berlin, New York | series=Universitext | isbn=978-3-540-16389-3 | idmr={{MathSciNet | id = 842190}} | year=1986}}, esp. section VII.1

[[Category:Sheaf theory]]

[[Category:ContinuousTheory mappingsof continuous functions]]

[[Category:Functors]]