A resolution theorem for extriangulated categories with applications to the index

Abstract

Quillen's Resolution Theorem in algebraic $K$-theory provides a powerful computational tool for calculating $K$-groups of exact categories. At the level of $K_0$, this result goes back to Grothendieck. In this article, we first establish an extriangulated version of Grothendieck's Resolution Theorem. Second, we use this Extriangulated Resolution Theorem to gain new insight into the index theory of triangulated categories. Indeed, we propose an index with respect to an extension-closed subcategory $\mathcal{N}$ of a triangulated category $\mathcal{C}$ and we prove an additivity formula with error term. Our index recovers the index with respect to a contravariantly finite, rigid subcategory $\mathcal{X}$ defined by Jørgensen and the second author, as well as an isomorphism between $K_0^{\mathsf{sp}}(\mathcal{X})$ and the Grothendieck group of a relative extriangulated structure ${\mathcal{C}}_R^{\mathcal{X}}$ on $\mathcal{C}$ when $\mathcal{X}$ is $n$-cluster tilting. In addition, we generalize and enhance some results of Fedele. Our perspective allows us to remove certain restrictions and simplify some arguments. Third, as another application of our Extriangulated Resolution Theorem, we show that if $\mathcal{X}$ is $n$-cluster tilting in an abelian category, then the index introduced by Reid gives an isomorphism $K_0({\mathcal{C}}_R^{\mathcal{X}})\cong K_0^{\mathsf{sp}}(\mathcal{X})$.

v4: 27 pages; added Lemma 3.7 and some discussion before it

References in corpus (14)

• Mutation in triangulated categories and rigid Cohen-Macaulay modules
• Silting mutation in triangulated categories
• $n$-angulated categories
• $n$-abelian and $n$-exact categories
• Transport of structure in higher homological algebra
• From triangulated categories to module categories via localisation II: Calculus of fractions
• From triangulated categories to module categories via localisation
• The category of extensions and a characterisation of $n$-exangulated functors
• Auslander's defects over extriangulated categories: an application for the General Heart Construction
• Integral and quasi-abelian hearts of twin cotorsion pairs on extriangulated categories
• The index with respect to a rigid subcategory of a triangulated category
• Abelian categories from triangulated categories via Nakaoka-Palu's localization
• Grothendieck groups of $d$-exangulated categories and a modified Caldero-Chapoton map
• Localization of triangulated categories with respect to extension-closed subcategories

Cited by in corpus (1)

• The index in $d$-exact categories