Lemma 78.12.4. Let B \to S as in Section 78.3. Consider a morphism f : (U, R, s, t, c) \to (U', R', s', t', c') of groupoids in algebraic spaces over B. Assume that
f : U \to U' is quasi-compact and quasi-separated,
the square
\xymatrix{ R \ar[d]_ t \ar[r]_ f & R' \ar[d]^{t'} \\ U \ar[r]^ f & U' }
is cartesian, and
s' and t' are flat.
Then pushforward f_* given by
(\mathcal{F}, \alpha ) \mapsto (f_*\mathcal{F}, f_*\alpha )
defines a functor from the category of quasi-coherent sheaves on (U, R, s, t, c) to the category of quasi-coherent sheaves on (U', R', s', t', c') which is right adjoint to pullback as defined in Lemma 78.12.3.
Proof.
Since U \to U' is quasi-compact and quasi-separated we see that f_* transforms quasi-coherent sheaves into quasi-coherent sheaves (Morphisms of Spaces, Lemma 67.11.2). Moreover, since the squares
\vcenter { \xymatrix{ R \ar[d]_ t \ar[r]_ f & R' \ar[d]^{t'} \\ U \ar[r]^ f & U' } } \quad \text{and}\quad \vcenter { \xymatrix{ R \ar[d]_ s \ar[r]_ f & R' \ar[d]^{s'} \\ U \ar[r]^ f & U' } }
are cartesian we find that (t')^*f_*\mathcal{F} = f_*t^*\mathcal{F} and (s')^*f_*\mathcal{F} = f_*s^*\mathcal{F} , see Cohomology of Spaces, Lemma 69.11.2. Thus it makes sense to think of f_*\alpha as a map (t')^*f_*\mathcal{F} \to (s')^*f_*\mathcal{F}. A similar argument shows that f_*\alpha satisfies the cocycle condition. The functor is adjoint to the pullback functor since pullback and pushforward on modules on ringed spaces are adjoint. Some details omitted.
\square
Comments (0)
There are also: