# On purity and applications to coderived and singularity categories

@article{ovek2014OnPA, title={On purity and applications to coderived and singularity categories}, author={Jan {\vS}ťov{\'i}{\vc}ek}, journal={arXiv: Category Theory}, year={2014} }

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of compact objects is none other than D^b(fp G). If G admits a generating set of finitely presentable objects of finite projective dimension, then also the derived category of G is compactly generated and Krause's recollement exists. Our main tools are (a) model…

## 41 Citations

### On locally coherent hearts

- Mathematics
- 2016

We show that, under particular conditions, if a t-structure in the unbounded derived category of a locally coherent Grothendieck category restricts to the bounded derived category of its category of…

### Models for homotopy categories of injectives and Gorenstein injectives

- Mathematics
- 2015

ABSTRACT A natural generalization of locally noetherian and locally coherent categories leads us to define locally type FP∞ categories. They include not just all categories of modules over a ring,…

### Derived, coderived, and contraderived categories of locally presentable abelian categories

- Mathematics
- 2021

### THE HOMOTOPY CATEGORIES OF N -COMPLEXES OF INJECTIVES AND PROJECTIVES

- Mathematics
- 2019

. We investigate the homotopy category K N (Inj A ) of N -comp-lexes of injectives in a Grothendieck abelian category A not necessarily locally noetherian, and prove that the inclusion K (Inj A ) → K…

### Auslander-Reiten duality for Grothendieck abelian categories

- MathematicsTransactions of the American Mathematical Society
- 2018

Auslander-Reiten duality for module categories is generalised to Grothendieck abelian categories that have a sufficient supply of finitely presented objects. It is shown that Auslander-Reiten duality…

### Singular equivalences to locally coherent hearts of commutative noetherian rings

- Mathematics
- 2021

We show that Krause’s recollement exists for any locally coherent Grothendieck category such that its derived category is compactly generated. As a source of such categories, we consider the hearts…

### T-structures on unbounded twisted complexes

- Mathematics
- 2022

A bstract . This paper is a sequel to T-structures and twisted complexes on derived injectives by the same author with W. Lowen and M. Van den Bergh. We deﬁne a dg-category of unbounded twisted…

### Gorenstein dimensions of unbounded complexes and change of base (with an appendix by Driss Bennis)

- Mathematics
- 2017

For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S ⊗RM is Gorenstein flat, and…

## References

SHOWING 1-10 OF 90 REFERENCES

### Acyclicity Versus Total Acyclicity for Complexes over Noetherian Rings

- Mathematics
- 2005

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective…

### Models for homotopy categories of injectives and Gorenstein injectives

- Mathematics
- 2015

ABSTRACT A natural generalization of locally noetherian and locally coherent categories leads us to define locally type FP∞ categories. They include not just all categories of modules over a ring,…

### The homotopy category of flat modules, and Grothendieck duality

- Mathematics
- 2008

Let R be a ring. We prove that the homotopy category K(R-Proj) is always $\aleph_1$-compactly generated, and, depending on the ring R, it may or may not be compactly generated. We use this to give a…

### Gorenstein categories and Tate cohomology on projective schemes

- Mathematics
- 2007

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov–Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate…

### the stable derived category of a noetherian scheme

- MathematicsCompositio Mathematica
- 2005

for a noetherian scheme, we introduce its unbounded stable derived category. this leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the…

### Deconstructibility and the Hill Lemma in Grothendieck categories

- Mathematics
- 2010

Abstract. A full subcategory of a Grothendieck category is called deconstructible if it consists of all transfinite extensions of some set of objects. This concept provides a handy framework for…

### Deriving DG categories

- Mathematics
- 1994

— We investigate the (unbounded) derived category of a differential Z-graded category (=DG category). As a first application, we deduce a "triangulated analogue" (4.3) of a theorem of Freyd's [5],…

### The mock homotopy category of projectives and Grothendieck duality

- Mathematics
- 2007

The coherent sheaves defined on a separated noetherian scheme X reflect the underlying geometry, and they play a central role in modern algebraic geometry. Recent results have indicated that there…

### The Ziegler Spectrum of a Locally Coherent Grothendieck Category

- Mathematics
- 1997

The general theory of locally coherent Grothendieck categories is presented. To each locally coherent Grothendieck category C a topological space, the Ziegler spectrum of C, is associated. It is…

### Cotorsion pairs, model category structures, and representation theory

- Mathematics
- 2002

Abstract. We make a general study of Quillen model structures on abelian categories. We show that they are closely related to cotorsion pairs, which were introduced by Salce [Sal79] and have been…