Deriving Auslander's formula

By Henning Krause. Documenta Mathematica, 2014

54 citations recorded by the source corpus.

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to showing that the homo- topy category of injective objects of some appropriate Grothendieck abelian category (the category of ind-objects of C) is compactly gener- ated and that the full subcategory of compact objects is equivalent to the bounded derived category of C. The same approach shows for an arbitrary Grothendieck abelian category that its derived category and the homotopy category of injective objects are well-generated trian- gulated categories. For sufficiently large cardinalswe identify their �-compact objects and compare them.

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/e55d61d889937d5631d7253fd4ab40ccf57e904e

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

1. Drew Heard
2. Gabriel Valenzuela
3. T. Barthel

In Geometry and Topology

1. Drew Heard
2. Gabriel Valenzuela
3. T. Barthel

In Mathematical Physics

1. Drew Heard
2. Gabriel Valenzuela
3. T. Barthel

Citations in the corpus

• Local duality in algebra and topology (2015, background): “Recent work of Krause’s [Kra15] suggests that the Noetherianness assumption in Proposition 4.”