Example 22.19.8 (Differential graded category of differential graded modules). Let $(A, \text{d})$ be a differential graded algebra over a ring $R$. We will construct a differential graded category $\text{Mod}^{dg}_{(A, \text{d})}$ over $R$ whose category of complexes is $\text{Mod}_{(A, \text{d})}$ and whose homotopy category is $K(\text{Mod}_{(A, \text{d})})$. As objects of $\text{Mod}^{dg}_{(A, \text{d})}$ we take the differential graded $A$-modules. Given differential graded $A$-modules $L$ and $M$ we set

as a graded $R$-module where the right hand side is defined as in Example 22.18.6. In other words, the $n$th graded piece $\mathop{\mathrm{Hom}}\nolimits ^ n(L, M)$ is the $R$-module of right $A$-module maps homogeneous of degree $n$. For an element $f \in \mathop{\mathrm{Hom}}\nolimits ^ n(L, M)$ we set

To make sense of this we think of $\text{d}_ M$ and $\text{d}_ L$ as graded $R$-module maps and we use composition of graded $R$-module maps. It is clear that $\text{d}(f)$ is homogeneous of degree $n + 1$ as a graded $R$-module map, and it is linear because

as desired (observe that this calculation would not work without the sign in the definition of our differential on $\mathop{\mathrm{Hom}}\nolimits $). Similar formulae to those of Example 22.19.6 hold for the differential of $f$ in terms of components. The reader checks (in the same way as in Example 22.19.6) that

$\text{d}$ has square zero,

an element $f$ in $\mathop{\mathrm{Hom}}\nolimits ^ n(L, M)$ has $\text{d}(f) = 0$ if and only if $f : L \to M[n]$ is a homomorphism of differential graded $A$-modules,

in particular, the category of complexes of $\text{Mod}^{dg}_{(A, \text{d})}$ is $\text{Mod}_{(A, \text{d})}$,

the homomorphism defined by $f$ as in (2) is homotopy equivalent to zero if and only if $f = \text{d}(g)$ for some $g \in \mathop{\mathrm{Hom}}\nolimits ^{n - 1}(L, M)$.

in particular, we obtain a canonical isomorphism

\[ \mathop{\mathrm{Hom}}\nolimits _{K(\text{Mod}_{(A, \text{d})})}(L, M) \longrightarrow H^0(\mathop{\mathrm{Hom}}\nolimits _{\text{Mod}^{dg}_{(A, \text{d})}}(L, M)) \]and the homotopy category of $\text{Mod}^{dg}_{(A, \text{d})}$ is $K(\text{Mod}_{(A, \text{d})})$.

Given differential graded $A$-modules $K$, $L$, $M$ we define composition

by composition of homogeneous right $A$-module maps $(g, f) \mapsto g \circ f$. This defines a map of differential graded modules as in Definition 22.19.1 because

as desired.

## Comments (1)

Comment #287 by arp on