The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

21.4 Derived functors

We briefly explain an approach to right derived functors using resolution functors. Namely, suppose that $(\mathcal{C}, \mathcal{O})$ is a ringed site. In this chapter we will write

\[ K(\mathcal{O}) = K(\textit{Mod}(\mathcal{O})) \quad \text{and} \quad D(\mathcal{O}) = D(\textit{Mod}(\mathcal{O})) \]

and similarly for the bounded versions for the triangulated categories introduced in Derived Categories, Definition 13.8.1 and Definition 13.11.3. By Derived Categories, Remark 13.24.3 there exists a resolution functor

\[ j = j_{(\mathcal{C}, \mathcal{O})} : K^{+}(\textit{Mod}(\mathcal{O})) \longrightarrow K^{+}(\mathcal{I}) \]

where $\mathcal{I}$ is the strictly full additive subcategory of $\textit{Mod}(\mathcal{O})$ which consists of injective $\mathcal{O}$-modules. For any left exact functor $F : \textit{Mod}(\mathcal{O}) \to \mathcal{B}$ into any abelian category $\mathcal{B}$ we will denote $RF$ the right derived functor of Derived Categories, Section 13.20 constructed using the resolution functor $j$ just described:

21.4.0.1
\begin{equation} \label{sites-cohomology-equation-RF} RF = F \circ j' : D^{+}(\mathcal{O}) \longrightarrow D^{+}(\mathcal{B}) \end{equation}

see Derived Categories, Lemma 13.25.1 for notation. Note that we may think of $RF$ as defined on $\textit{Mod}(\mathcal{O})$, $\text{Comp}^{+}(\textit{Mod}(\mathcal{O}))$, or $K^{+}(\mathcal{O})$ depending on the situation. According to Derived Categories, Definition 13.17.2 we obtain the $i$the right derived functor

21.4.0.2
\begin{equation} \label{sites-cohomology-equation-RFi} R^ iF = H^ i \circ RF : \textit{Mod}(\mathcal{O}) \longrightarrow \mathcal{B} \end{equation}

so that $R^0F = F$ and $\{ R^ iF, \delta \} _{i \geq 0}$ is universal $\delta $-functor, see Derived Categories, Lemma 13.20.4.

Here are two special cases of this construction. Given a ring $R$ we write $K(R) = K(\text{Mod}_ R)$ and $D(R) = D(\text{Mod}_ R)$ and similarly for the bounded versions. For any object $U$ of $\mathcal{C}$ have a left exact functor $ \Gamma (U, -) : \textit{Mod}(\mathcal{O}) \longrightarrow \text{Mod}_{\mathcal{O}(U)} $ which gives rise to

\[ R\Gamma (U, -) : D^{+}(\mathcal{O}) \longrightarrow D^{+}(\mathcal{O}(U)) \]

by the discussion above. Note that $H^ i(U, -) = R^ i\Gamma (U, -)$ is compatible with (21.3.0.5) above. We similarly have

\[ R\Gamma (\mathcal{C}, -) : D^{+}(\mathcal{O}) \longrightarrow D^{+}(\Gamma (\mathcal{C}, \mathcal{O})) \]

compatible with (21.3.0.6). If $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}')$ is a morphism of ringed topoi then we get a left exact functor $f_* : \textit{Mod}(\mathcal{O}) \to \textit{Mod}(\mathcal{O}')$ which gives rise to derived pushforward

\[ Rf_* : D^{+}(\mathcal{O}) \to D^+(\mathcal{O}') \]

The $i$th cohomology sheaf of $Rf_*\mathcal{F}^\bullet $ is denoted $R^ if_*\mathcal{F}^\bullet $ and called the $i$th higher direct image in accordance with (21.3.0.7). The displayed functors above are exact functor of derived categories.


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