# nLab direct image

topos theory

## Theorems

This page is about direct images of sheaves and related subjects. For the set-theoretic operation, see image.

# Contents

## Idea

The right adjoint part ${f}_{*}$ of any geometric morphism

$\left({f}^{*}⊣{f}_{*}\right)\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}:{E}_{1}⇆{E}_{2}$(f^* \dashv f_*) \;\; : E_1 \leftrightarrows E_2

of toposes is called a direct image.

Moe generally, pairs of adjoint functors between the categories of sheaves appear in various other setups apart from geometric morphisms of topoi, for instance on abelian categories of quasicoherent sheaves, bounded derived categories of coherent sheaves and the term direct image is used for the right adjoint part of these, too.

Specifically for Grothendieck toposes: a morphism of sites $f:X\to Y$ induces a geometric morphism of Grothendieck toposes

$\left({p}^{*}⊣{p}_{*}\right)\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}:\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\mathrm{Sh}\left(X\right)\stackrel{}{\stackrel{\stackrel{{p}_{*}}{\to }}{\stackrel{{p}^{*}}{←}}}\mathrm{Sh}\left(Y\right)$(p^* \dashv p_*) \;\;\; : \;\;\; Sh(X) \stackrel{}{\stackrel{\overset{p_*}{\to}}{\overset{p^*}{\leftarrow}}} Sh(Y)

between the categories of sheaves on the sites, with

• ${p}_{*}$ the direct image

• and ${p}^{*}$ its left adjoint: the inverse image.

## Definition

Given a morphism of sites $f:X\to Y$ coming from a functor ${f}^{t}:{S}_{Y}\to {S}_{X}$, the direct image operation on presheaves is the functor

${f}_{*}:\mathrm{PSh}\left(X\right)\to \mathrm{PSh}\left(Y\right)$f_* : PSh(X) \to PSh(Y)
${f}_{*}F:{S}_{Y}^{\mathrm{op}}\stackrel{{f}^{t}}{\to }{S}_{X}^{\mathrm{op}}\stackrel{F}{\to }\mathrm{Set}\phantom{\rule{thinmathspace}{0ex}}.$f_* F : S_Y^{op} \stackrel{f^t}{\to} S_X^{op} \stackrel{F}{\to} Set \,.

The restriction of this operation to sheaves, which respects sheaves, is the direct image of sheaves

${f}_{*}:\mathrm{Sh}\left(X\right)\to \mathrm{Sh}\left(Y\right)\phantom{\rule{thinmathspace}{0ex}}.$f_* : Sh(X) \to Sh(Y) \,.

## Examples

### Global sections

For $X$ a site with a terminal object, let the morphism of sites be the canonical morphism $p:X\to *$.

• The direct image ${p}_{*}$ is the global sections functor;

• the inverse image ${p}^{*}$ is the constant sheaf functor;

• the left adjoint to ${p}^{*}$ is ${\Pi }_{0}$, the functor of geometric connected components (see homotopy group of an ∞-stack).

See

for the moment.

### Direct image with compact supports

Let $f:X\to Y$ be a morphism of locally compact topological spaces. Then there exist a unique subfunctor ${f}_{!}:\mathrm{Sh}\left(X\right)\to \mathrm{Sh}\left(Y\right)$ of the direct image functor ${f}_{*}$ such that for any sheaf $F$ over $X$ the sections of ${f}_{!}\left(F\right)$ over ${U}^{\mathrm{open}}\subset X$ are those sections $s\in {f}_{*}\left(U\right)=\Gamma \left({f}^{-1}\left(U\right),F\right)$ for which the restriction $\mathrm{supp}\left(s\right)\mid f:\mathrm{supp}\left(s\right)↪U$ is proper.

It follows that ${f}_{!}$ is left exact.

Let $p:X\to *$ be the map into the one point space. Then for any $F\in \mathrm{Sh}\left(X\right)$ the sheaf ${p}_{!}F$ is the abelian group consisting of sections $s\in \Gamma \left(X,F\right)$ such that $\mathrm{supp}\left(s\right)$ is compact. One writes ${\Gamma }_{c}\left(X,F\right):={p}_{!}F$ and calls this group a group of sections of $F$ with compact support. If $y\in Y$, then the fiber $\left({f}_{!}F{\right)}_{y}$ is isomorphic to ${\Gamma }_{c}\left({f}^{-1}y,F{\mid }_{{f}^{-1}\left(y\right)}\right)$.

Revised on December 3, 2010 18:36:42 by Zoran Škoda (161.53.130.104)