Search arXivSearch

arXiv · 2406.13244

The rigidity of filtered colimits of n-cluster tilting subcategories

Abstract

Let $Λ$ be an artin algebra and $\mathcal{M}$ be an n-cluster tilting subcategory of $Λ$-mod with $n\ge 2$. From the viewpoint of higher homological algebra, a question that naturally arose in [17] is when $\mathcal{M}$ induces an n-cluster tilting subcategory of $Λ$-Mod. In this paper, we answer this question and explore its connection to Iyama's question on the finiteness of n-cluster tilting subcategories of $Λ$-mod. In fact, our theorem reformulates Iyama's question in terms of the vanishing of Ext; and highlights its relation with the rigidity of filtered colimits of $\mathcal{M}$. Also, we show that Add$(\mathcal{M})$ is an n-cluster tilting subcategory of $Λ$-Mod if and only if Add$(\mathcal{M})$ is a maximal n-rigid subcategory of $Λ$-Mod if and only if $\lbrace X\in Λ$-Mod$~|~ {\rm Ext}^i_Λ(\mathcal{M},X)=0 ~~~ {\rm for ~all}~ 0<i<n \rbrace \subseteq {\rm Add}(\mathcal{M})$ if and only if $\mathcal{M}$ is of finite type if and only if ${\rm Ext}_Λ^1({\underrightarrow{\lim}}\mathcal{M}, {\underrightarrow{\lim}}\mathcal{M})=0$. Moreover, we present several equivalent conditions for Iyama's question which shows the relation of Iyama's question with different subjects in representation theory such as purity and covering theory.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ziba Fazelpour, Alireza Nasr-Isfahani. 2024-06-19. The rigidity of filtered colimits of n-cluster tilting subcategories. https://doi.org/10.1017/prm.2025.6

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