9
$\begingroup$

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and close matters (like spelling out the compact objects, or perhaps discussing pairing with derived category of $A^{op}$-modules into $Vect$, etc.)?

Thank you, Sasha

Improve this question
$\endgroup$
2
  • $\begingroup$ What's the connection between the title and the questions? $\endgroup$
    – Fernando Muro
    Commented Jan 11, 2016 at 17:33
  • 1
    $\begingroup$ @FernandoMuro: I edited the title; Is it better now? $\endgroup$
    – Sasha
    Commented Jan 11, 2016 at 17:42

1 Answer 1

Reset to default
6
$\begingroup$

The fact that $\mathbf{D}(A)$ is compactly generated follows from the fact that $A$ (and its suspensions) generate $\mathbf{D}(A)$ and that the smallest thick subcategory containing $A$ is $\mathrm{Perf}(A)$, in other words, compact objects are prefect complexes, i.e. bounded complex of projective $A$-modules. This goes back to Rickard and Thomason-Trobaugh.

The fact that $\mathbf{D}(A)$ is cocomplete follows from existence and exactness of coproducts in the category of $A$-modules.

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .