Vol. 8, No. 2, 2014

Download this article
Download this article For screen
For printing
Recent Issues

Volume 18
Issue 7, 1221–1401
Issue 6, 1039–1219
Issue 5, 847–1038
Issue 4, 631–846
Issue 3, 409–629
Issue 2, 209–408
Issue 1, 1–208

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Editors' interests
 
Subscriptions
 
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
 
Author index
To appear
 
Other MSP journals
The homotopy category of injectives

Amnon Neeman

Vol. 8 (2014), No. 2, 429–456
Abstract

Krause studied the homotopy category K(InjA) of complexes of injectives in a locally noetherian Grothendieck abelian category A. Because A is assumed locally noetherian, we know that arbitrary direct sums of injectives are injective, and hence, the category K(InjA) has coproducts. It turns out that K(InjA) is compactly generated, and Krause studies the relation between the compact objects in K(InjA), the derived category D(A), and the category Kac(InjA) of acyclic objects in K(InjA).

We wish to understand what happens in the nonnoetherian case, and this paper begins the study. We prove that, for an arbitrary Grothendieck abelian category A, the category K(InjA) has coproducts and is μ-compactly generated for some sufficiently large μ.

The existence of coproducts follows easily from a result of Krause: the point is that the natural inclusion of K(InjA) into K(A) has a left adjoint and the existence of coproducts is a formal corollary. But in order to prove anything about these coproducts, for example the μ-compact generation, we need to have a handle on this adjoint.

Also interesting is the counterexample at the end of the article: we produce a locally noetherian Grothendieck abelian category in which products of acyclic complexes need not be acyclic. It follows that D(A) is not compactly generated. I believe this is the first known example of such a thing.

Keywords
locally presentable categories, well generated categories, homotopy categories of injectives
Mathematical Subject Classification 2010
Primary: 13D09
Secondary: 08B30
Milestones
Received: 14 March 2013
Revised: 6 August 2013
Accepted: 9 September 2013
Published: 18 May 2014
Authors
Amnon Neeman
Centre for Mathematics and its Applications
Mathematical Sciences Institute
Australian National University
John Dedman Building 27
Canberra ACT 0200
Australia