pith. sign in

arxiv: 1412.1615 · v1 · pith:6L4DXF4Dnew · submitted 2014-12-04 · 🧮 math.CT · math.AG· math.RA· math.RT

On purity and applications to coderived and singularity categories

classification 🧮 math.CT math.AGmath.RAmath.RT
keywords categoryobjectscoderivedcompactlyderivedfinitelygeneratedaccessible
0
0 comments X
read the original abstract

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 theoretic techniques and (b) a systematic study of the pure derived category of an additive finitely accessible category.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Totally acyclic complexes and homological invariants over arbitrary rings

    math.RA 2025-06 unverdicted novelty 6.0

    Equivalent characterizations of totally acyclic complexes over general rings are established in relation to silp(R), spli(R), and sfli(R), with refinements to prior equality results and extensions of Iwanaga-Gorenstei...

  2. Quillen equivalence for chain homotopy categories induced by balanced pairs

    math.RT 2025-03 unverdicted novelty 5.0

    The authors give conditions ensuring Quillen equivalence between model categories whose homotopy categories are the chain homotopy categories of a balanced pair, with applications to cotorsion triples and Gorenstein p...