2
$\begingroup$

Let $\otimes$ denotes the usual tensor products of complexes and symbols live in the category of chain complexes of $R$-modules. Let $X$ be a dg-flat complex (i.e. $X_n$ is flat for each n and $X\otimes E$ is exact for each exact complex E). We can define a new complex $X^+={\rm Hom}_Z(X, \mathbb{Q}/\mathbb{Z})$. Is it true to say that $X^+$ is a dg-injective chain complex?

$\endgroup$

1 Answer 1

3
$\begingroup$

I take 'dg-injective' as fibrant in the injective model structure on complexes of right dg-$R$-modules, whose weak equivalences are the quasi-isomorphisms and whose cofibrations are the levelwise injections ($X$ is therefore a complex of left $R$-modules). Then the answer is yes. I'll prove it satisfies the required lifting property. Consider a commutative square of complexes of right dg-$R$-modules $$\begin{array}{ccc} A&\rightarrow &\hom_{\mathbb Z}(X,\mathbb Q/\mathbb Z)\\ \downarrow&&\downarrow\\ B&\rightarrow&0 \end{array} $$ where $i\colon A\stackrel{\sim}\rightarrowtail B$ is a quasi-isomorphism which is also a levelwise inclusion. The adjoint of this diagram is a commutative square of complexes of abelian groups $$\begin{array}{ccc} A\otimes_R X&\rightarrow &\mathbb Q/\mathbb Z\\ \downarrow&&\downarrow\\ B\otimes_R X&\rightarrow&0 \end{array} $$ Here $i\otimes_R X\colon A\otimes_R X\rightarrow B\otimes_R X$ is levelwise injective since $X$ is levelwise flat and direct sums in the category of abelian groups are exact. Moreover, the cokernel of $i\otimes_RX$ is $(B/A)\otimes_R X$, which is exact since $B/A$ is exact (recall that $i$ is a an injective quasi-isomorphism). Therefore $i\otimes_RX$ is a cofibration in the injective model structure on chain complexes of abelian groups. Hence the latter square has a lifting $B\otimes_RX\rightarrow \mathbb Q/\mathbb Z$. The adjoint map $B\rightarrow \hom_{\mathbb Z}(X,\mathbb Q/\mathbb Z)$ is a lifting of the former. This concludes the argument.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.