Lemma 24.9.1 (0FR8)—The Stacks project

Loading web-font TeX/Main/Regular

Table of contents
Part 1: Preliminaries
Chapter 24: Differential Graded Sheaves
Section 24.9: Pull and push for sheaves of graded modules
Lemma 24.9.1 (cite)

numberstags

history
statistics
1 tag refers to this tag

Lemma 24.9.1. In the situation above we have

$\mathop{\mathrm{Hom}}\nolimits _{\textit{Mod}^{gr}(\mathcal{B})}( \mathcal{N}, f_*\mathcal{M}) = \mathop{\mathrm{Hom}}\nolimits _{\textit{Mod}^{gr}(\mathcal{A})}( f^*\mathcal{N}, \mathcal{M})$

Proof. Omitted. Hints: First prove that $f^{-1}$ and $f_*$ are adjoint as functors between $\textit{Mod}(\mathcal{B})$ and $\textit{Mod}(f^{-1}\mathcal{B})$ using the adjunction between $f^{-1}$ and $f_*$ on sheaves of abelian groups. Next, use the adjunction between base change and restriction given in Section 24.8. $\square$

Comments (0)

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).

Comments (0)

Post a comment