73d1dc638be2f33c.tex
1: \begin{abstract}
2: 
3: Palu defined the index with respect to a cluster tilting object in a suitable triangulated category, in order to better understand the Caldero-Chapoton map that exhibits the connection between cluster algebras and representation theory. We push this further by proposing an index with respect to a contravariantly finite, rigid subcategory, and we show this index behaves similarly to the classical index. 
4: 
5: Let \(\CC\) be a skeletally small triangulated category with split idempotents, which is thus an extriangulated category \((\CC,\BE,\fs)\). 
6: Suppose \(\CX\) is a contravariantly finite, rigid subcategory in \(\CC\). 
7: We define the index \(\newindx{\CX}(C)\) of an object \(C\in\CC\) with respect to \(\CX\) as the \(\tensor[]{K}{_{0}}\)-class \([C\tensor[]{]}{_{\CX}}\) in Grothendieck group \(\tensor[]{K}{_{0}}(\CC,\tensor[]{\BE}{_{\CX}},\tensor[]{\fs}{_{\CX}})\) of the relative extriangulated category \((\CC,\tensor[]{\BE}{_{\CX}},\tensor[]{\fs}{_{\CX}})\). 
8: By analogy to the classical case, we give an additivity formula with error term for \(\newindx{\CX}\) on triangles in \(\CC\). 
9: 
10: 
11: In case \(\CX\) is contained in another suitable subcategory \(\CT\) of \(\CC\), there is a surjection 
12: \(Q\colon \tensor[]{K}{_{0}}(\CC,\tensor[]{\BE}{_{\CT}},\tensor[]{\fs}{_{\CT}}) \onto \tensor[]{K}{_{0}}(\CC,\tensor[]{\BE}{_{\CX}},\tensor[]{\fs}{_{\CX}})\). Thus, in order to describe \(\tensor[]{K}{_{0}}(\CC,\tensor[]{\BE}{_{\CX}},\tensor[]{\fs}{_{\CX}})\), it suffices to determine \(\tensor[]{K}{_{0}}(\CC,\tensor[]{\BE}{_{\CT}},\tensor[]{\fs}{_{\CT}})\) and \(\Ker Q\). We do this under certain assumptions. 
13: \end{abstract}}