English

Locally finitely presented and coherent hearts

Category Theory 2022-07-29 v3 K-Theory and Homology Rings and Algebras Representation Theory

Abstract

Starting with a Grothendieck category G\mathcal{G} and a torsion pair t=(T,F)\mathbf{t}=(\mathcal{T},\mathcal{F}) in G\mathcal G, we study the local finite presentability and local coherence of the heart Ht\mathcal{H}_{\mathbf{t}} of the associated Happel-Reiten-Smal{\o} tt-structure in the derived category Der(G)\mathrm{Der} (\mathcal{G}). We start by showing that, in this general setting, the torsion pair t\mathbf t is of finite type, if and only if it is quasi-cotilting, if and only if it is cosilting. We then proceed to study those t\mathbf t for which Ht\mathcal{H}_{\mathbf{t}} is locally finitely presented, obtaining a complete answer under some additional assumptions on the ground category G\mathcal{G}, which are general enough to include all locally coherent categories, all categories of modules and several categories of quasi-coherent sheaves over schemes. The third problem that we tackle is that of local coherence. In this direction we characterize those torsion pairs t=(T,F)\mathbf t=(\mathcal T,\mathcal F) in a locally finitely presented G\mathcal G for which Ht\mathcal{H}_{\mathbf{t}} is locally coherent in two cases: when the tilted t-structure in Ht\mathcal{H}_{\mathbf{t}} is assumed to restrict to finitely presented objects, and when F\mathcal F is cogenerating. In the last part of the paper we concentrate on the case when G\mathcal G is a category of modules over a small preadditive category, giving several examples and obtaining very neat (new) characterizations even in this more classical setting, also underlying connections with the notion of an elementary cogenerator.

Keywords

Cite

@article{arxiv.1908.00649,
  title  = {Locally finitely presented and coherent hearts},
  author = {Carlos E. Parra and Manuel Saorín and Simone Virili},
  journal= {arXiv preprint arXiv:1908.00649},
  year   = {2022}
}

Comments

52 pages. In this version we have simplified several proofs and significantly improved the results in section 8

R2 v1 2026-06-23T10:37:48.905Z