The Stacks project

Remark 48.32.9. In Remarks 48.32.7 and 48.32.8 we have seen that the construction of compactly supported cohomology is covariant with respect to open immersions and ├ętale morphisms. In fact, the correct generality is that given a commutative diagram

\[ \xymatrix{ U \ar[rr]_ h \ar[rd]_ g & & X \ar[ld]^ f \\ & Y } \]

of $\textit{FTS}_ S$ with $h$ flat and quasi-finite there exists a canonical transformation

\[ Rg_! \circ h^* \longrightarrow Rf_! \]

As in Remark 48.32.8 this map can be constructed using a transformation of functors $h^* \to h^!$ on $D^+_{\textit{Coh}}(\mathcal{O}_ X)$. Recall that $h^!K = h^*K \otimes \omega _{U/X}$ where $\omega _{U/X} = h^!\mathcal{O}_ X$ is the relative dualizing sheaf of the flat quasi-finite morphism $h$ (see Lemmas 48.17.9 and 48.21.6). Recall that $\omega _{U/X}$ is the same as the relative dualizing module which will be constructed in Discriminants, Remark 49.2.11 by Discriminants, Lemma 49.15.1. Thus we can use the trace element $\tau _{U/X} : \mathcal{O}_ U \to \omega _{U/X}$ which will be constructed in Discriminants, Remark 49.4.7 to define our transformation. If we ever need this, we will precisely formulate and prove the result here.

Comments (0)

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 0G58. Beware of the difference between the letter 'O' and the digit '0'.