Inventiones mathematicae

, Volume 148, Issue 2, pp 397–420 | Cite as

A counterexample to a 1961 “theorem” in homological algebra

  • Amnon Neeman


In 1961, Jan-Erik Roos published a “theorem”, which says that in an [AB4*] abelian category, lim1 vanishes on Mittag–Leffler sequences. See Propositions 1 and 5 in [4]. This is a “theorem” that many people since have known and used. In this article, we outline a counterexample. We construct some strange abelian categories, which are perhaps of some independent interest.¶These abelian categories come up naturally in the study of triangulated categories. A much fuller discussion may be found in [3]. Here we provide a brief, self contained, non–technical account. The idea is to make the counterexample easy to read for all the people who have used the result in their work.¶In the appendix, Deligne gives another way to look at the counterexample.


Independent Interest Full Discussion Abelian Category Homological Algebra Triangulate Category 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Amnon Neeman
    • 1
  1. 1.School of Mathematical Sciences, The Australian National University, Canberra, ACT 0200, Australia (e-mail:

Personalised recommendations