The Stacks project

Remark 63.9.5. Let $f : X \to Y$ be a finite type separated morphism of schemes with $Y$ quasi-compact and quasi-separated. Below we will construct a map

\[ Rf_!K \longrightarrow Rf_*K \]

functorial for $K$ in $D^+_{tors}(X_{\acute{e}tale}, \Lambda )$ or $D(X_{\acute{e}tale}, \Lambda )$ if $\Lambda $ is torsion. This transformation of functors in both cases is compatible with

  1. the isomorphism $Rg_! \circ Rf_! \to R(g \circ f)_!$ of Lemma 63.9.2 and the isomorphism $Rg_* \circ Rf_* \to R(g \circ f)_*$ of Cohomology on Sites, Lemma 21.19.2 and

  2. the isomorphism $g^{-1} \circ Rf_! \to Rf'_! \circ (g')^{-1}$ of Lemma 63.9.4 and the base change map of Cohomology on Sites, Remark 21.19.3.

Namely, choose a compactification $j : X \to \overline{X}$ over $Y$ and denote $\overline{f} : \overline{X} \to Y$ the structure morphism. Since $Rf_! = R\overline{f}_* \circ j_!$ and $Rf_* = R\overline{f}_* \circ Rj_*$ it suffices to construct a transformation of functors $j_! \to Rj_*$. For this we use the canonical transformation $j_! \to j_*$ of √Čtale Cohomology, Lemma 59.70.6. We omit the proof that the resulting transformation is independent of the choice of compactification and we omit the proof of the compatibilities (1) and (2).

Comments (1)

Comment #8768 by Cop 223 on

Here is a manifestly canonical construction of the map . Consider the relative diagonal along with the two projections . Since is separated, . Combining this with the tautological transformation gives the desired morphism

There are also:

  • 2 comment(s) on Section 63.9: Derived lower shriek via compactifications

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0H6X. Beware of the difference between the letter 'O' and the digit '0'.