The Stacks project

24.18 Pull and push for sheaves of differential graded modules

Let $(f, f^\sharp ) : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ be a morphism of ringed topoi. Let $\mathcal{A}$ be a differential graded $\mathcal{O}_\mathcal {C}$-algebra. Let $\mathcal{B}$ be a differential graded $\mathcal{O}_\mathcal {D}$-algebra. Suppose we are given a map

\[ \varphi : f^{-1}\mathcal{B} \to \mathcal{A} \]

of differential graded $f^{-1}\mathcal{O}_\mathcal {D}$-algebras. By the adjunction of restriction and extension of scalars, this is the same thing as a map $\varphi : f^*\mathcal{B} \to \mathcal{A}$ of differential graded $\mathcal{O}_\mathcal {C}$-algebras or equivalently $\varphi $ can be viewed as a map

\[ \varphi : \mathcal{B} \to f_*\mathcal{A} \]

of differential graded $\mathcal{O}_\mathcal {D}$-algebras. See Remark 24.12.2.

Let us define a functor

\[ f_* : \textit{Mod}(\mathcal{A}, \text{d}) \longrightarrow \textit{Mod}(\mathcal{B}, \text{d}) \]

Given a differential graded $\mathcal{A}$-module $\mathcal{M}$ we define $f_*\mathcal{M}$ to be the graded $\mathcal{B}$-module constructed in Section 24.9 with differential given by the maps $f_*d : f_*\mathcal{M}^ n \to f_*\mathcal{M}^{n + 1}$. The construction is clearly functorial in $\mathcal{M}$ and we obtain our functor.

Let us define a functor

\[ f^* : \textit{Mod}(\mathcal{B}, \text{d}) \longrightarrow \textit{Mod}(\mathcal{A}, \text{d}) \]

Given a differential graded $\mathcal{B}$-module $\mathcal{N}$ we define $f^*\mathcal{N}$ to be the graded $\mathcal{A}$-module constructed in Section 24.9. Recall that

\[ f^*\mathcal{N} = f^{-1}\mathcal{N} \otimes _{f^{-1}\mathcal{B}} \mathcal{A} \]

Since $f^{-1}\mathcal{N}$ comes with the differentials $f^{-1}\text{d} : f^{-1}\mathcal{N}^ n \to f^{-1}\mathcal{N}^{n + 1}$ we can view this tensor product as an example of the tensor product discussed in Section 24.17 which provides us with a differential. The construction is clearly functorial in $\mathcal{N}$ and we obtain our functor $f^*$.

The functors $f_*$ and $f^*$ are readily enhanced to give functors of differential graded categories

\[ f_* : \textit{Mod}^{dg}(\mathcal{A}, \text{d}) \longrightarrow \textit{Mod}^{dg}(\mathcal{B}, \text{d}) \quad \text{and}\quad f^* : \textit{Mod}^{dg}(\mathcal{B}, \text{d}) \longrightarrow \textit{Mod}^{dg}(\mathcal{A}, \text{d}) \]

which do the same thing on underlying objects and are defined by functoriality of the constructions on homogeneous morphisms of degree $n$.

Lemma 24.18.1. In the situation above we have

\[ \mathop{\mathrm{Hom}}\nolimits _{\textit{Mod}^{dg}(\mathcal{B}, \text{d})}( \mathcal{N}, f_*\mathcal{M}) = \mathop{\mathrm{Hom}}\nolimits _{\textit{Mod}^{dg}(\mathcal{A}, \text{d})}( f^*\mathcal{N}, \mathcal{M}) \]

Proof. Omitted. Hints: This is true for the underlying graded categories by Lemma 24.9.1. A calculation shows that these isomorphisms are compatible with differentials. $\square$


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