Search arXivSearch

arXiv · 2106.02142

Grothendieck groups of $d$-exangulated categories and a modified Caldero-Chapoton map

Abstract

A strong connection between cluster algebras and representation theory was established by the cluster category. Cluster characters, like the original Caldero-Chapoton (CC) map, are maps from certain triangulated categories to cluster algebras and they have generated much interest. Holm and Jørgensen constructed a modified CC map from a sufficiently nice triangulated category to a commutative ring, which is a generalised frieze under some conditions. In their construction, a quotient $K_{0}^{sp}(\mathcal{T})/M$ of a Grothendieck group of a cluster tilting subcategory $\mathcal{T}$ is used. In this article, we show that this quotient is the Grothendieck group of a certain extriangulated category, thereby exposing the significance of it and the relevance of extriangulated structures. We use this to define another modified CC map that recovers the one of Holm--Jørgensen. We prove our results in a higher homological context. Suppose $\mathcal{S}$ is a $(d+2)$-angulated category with subcategories $\mathcal{X}\subseteq\mathcal{T}\subseteq\mathcal{S}$, where $\mathcal{X}$ is functorially finite and $\mathcal{T}$ is $2d$-cluster tilting, satisfying some mild conditions. We show there is an isomorphism between the Grothendieck group $K_{0}(\mathcal{S},\mathbb{E}_{\mathcal{X}},\mathfrak{s}_{\mathcal{X}})$ of the category $\mathcal{S}$, equipped with the $d$-exangulated structure induced by $\mathcal{X}$, and the quotient $K_{0}^{sp}(\mathcal{T})/N$, where $N$ is the higher analogue of $M$ above. When $\mathcal{X}=\mathcal{T}$ the isomorphism is induced by the higher index with respect to $\mathcal{T}$ introduced recently by Jørgensen. Thus, in the general case, we can understand the map taking an object in $\mathcal{S}$ to its $K_{0}$-class in $K_{0}(\mathcal{S},\mathbb{E}_{\mathcal{X}},\mathfrak{s}_{\mathcal{X}})$ as a higher index with respect to the rigid subcategory $\mathcal{X}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Peter Jørgensen, Amit Shah. 2023-10-16. Grothendieck groups of $d$-exangulated categories and a modified Caldero-Chapoton map. https://doi.org/10.1016/j.jpaa.2023.107587

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT