English

Grothendieck groups of triangulated categories via cluster tilting subcategories

Representation Theory 2020-05-07 v3

Abstract

Let kk be a field and C\mathcal{C} a kk-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of C\mathcal{C}, denoted K0(C)K_0(\mathcal{C}), can be expressed as a quotient of the split Grothendieck group of a higher-cluster tilting subcategory of C\mathcal{C}. Assume that n2n\geq 2 is an even integer, C\mathcal{C} is nn-Calabi Yau and has an nn-cluster tilting subcategory T\mathcal{T}. Then, for every indecomposable MM in T\mathcal{T}, there is an Auslander-Reiten (n+2)(n+2)-angle in T\mathcal{T} of the form MTn1T0MM\rightarrow T_{n-1}\rightarrow\dots\rightarrow T_0\rightarrow M and \begin{align*} K_0(\mathcal{C})\cong K_0^{sp}(\mathcal{T})\big/\big \langle \sum_{i=0}^{n-1}(-1)^i[T_i]\mid M\in\mathcal{T} \text{ indecomposable } \big\rangle. \end{align*} Assume now that dd is a positive integer and C\mathcal{C} has a dd-cluster tilting subcategory S\mathcal{S} closed under dd-suspension. Then S\mathcal{S} is a so called (d+2)(d+2)-angulated category whose Grothendieck group K0(S)K_0(\mathcal{S}) can be defined as a certain quotient of K0sp(S)K_0^{sp}(\mathcal{S}). We will show \begin{align*} K_0(\mathcal{C})\cong K_0(\mathcal{S}). \end{align*} Moreover, assume that n=2dn=2d, that all the above assumptions hold, and that TS\mathcal{T}\subseteq \mathcal{S}. Then our results can be combined to express K0(S)K_0(\mathcal{S}) as a quotient of K0sp(T)K_0^{sp}(\mathcal{T}).

Keywords

Cite

@article{arxiv.1812.08493,
  title  = {Grothendieck groups of triangulated categories via cluster tilting subcategories},
  author = {Francesca Fedele},
  journal= {arXiv preprint arXiv:1812.08493},
  year   = {2020}
}

Comments

27 pages. Final accepted version to appear in Nagoya Mathematical Journal