Top Qs
Timeline
Chat
Perspective

Direct image with compact support

From Wikipedia, the free encyclopedia

Remove ads

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

Remove ads

Definition

Summarize
Perspective

Let be a continuous mapping of locally compact Hausdorff topological spaces, and let denote the category of sheaves of abelian groups on a topological space. The direct image with compact (or proper) support is the functor

that sends a sheaf on to the sheaf given by the formula

for every open subset of . Here, the notion of a proper map of spaces is unambiguous since the spaces in question are locally compact Hausdorff.[1] This defines as a subsheaf of the direct image sheaf and the functoriality of this construction then follows from 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.[2]

Remove ads

Properties

  • If is proper, then equals .
  • If is an open embedding, then identifies with the extension by zero functor.[3]
Remove ads

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads