On the homotopy category of AC-injective complexes

Let R be any ring. We motivate the study of a class of chain complexes of injective R-modules that we call AC-injective complexes, showing that K(AC-Inj), the chain homotopy category of all AC-injective complexes, is always a compactly generated triangulated category. In general, all DGinjective complexes are AC-injective and in fact there is a recollement linking K(AC-Inj) to the usual derived category D(R). This is based on the author’s recent work inspired by work of Krause and Stovicek. Our focus here is on giving straightforward proofs that our categories are compactly generated.