Higher-dimensional Auslander–Reiten theory on (d+2)-angulated categories

Let $\mathscr{C}$ be a $(d+2)$ -angulated category with d-suspension functor $\Sigma^d$ . Our main results show that every Serre functor on $\mathscr{C}$ is a $(d+2)$ -angulated functor. We also show that $\mathscr{C}$ has a Serre functor $\mathbb{S}$ if and only if $\mathscr{C}$ has Auslander–Reiten $(d+2)$ -angles. Moreover, $\tau_d=\mathbb{S}\Sigma^{-d}$ where $\tau_d$ is d-Auslander–Reiten translation. These results generalize work by Bondal–Kapranov and Reiten–Van den Bergh. As an application, we prove that for a strongly functorially finite subcategory $\mathscr{X}$ of $\mathscr{C}$ , the quotient category $\mathscr{C}/\mathscr{X}$ is a $(d+2)$ -angulated category if and only if $(\mathscr{C},\mathscr{C})$ is an $\mathscr{X}$ -mutation pair, and if and only if $\tau_d\mathscr{X} =\mathscr{X}$ .

(n + 2)-Angulated Quotient Categories

The notion of [Formula: see text]-mutation pairs of subcategories in an n-exangulated category is defined in this article. When (Ƶ, Ƶ) is a [Formula: see text]-mutation pair in an n-exangulated category (C, [Formula: see text]), the quotient category Ƶ/[Formula: see text] carries naturally an (n+2)-angulated structure. This result generalizes a theorem of Zhou and Zhu for extriangulated categories.

QUOTIENT CATEGORIES OF n-ABELIAN CATEGORIES

The notion of mutation pairs of subcategories in an n-abelian category is defined in this paper. Let ${\cal D} \subseteq {\cal Z}$ be subcategories of an n-abelian category ${\cal A}$. Then the quotient category ${\cal Z}/{\cal D}$ carries naturally an (n + 2) -angulated structure whenever $ ({\cal Z},{\cal Z}) $ forms a ${\cal D} \subseteq {\cal Z}$-mutation pair and ${\cal Z}$ is extension-closed. Moreover, we introduce strongly functorially finite subcategories of n-abelian categories and show that the corresponding quotient categories are one-sided (n + 2)-angulated categories. Finally, we study homological finiteness of subcategories in a mutation pair.

Recollement of homotopy categories and Cohen-Macaulay modules

We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. In the case of the homotopy category of finitely generated projective modules over an Iwanaga-Gorenstein ring, we show the existence of a new structure in the above quotient category, which we call a triangle of recollements. Moreover, we show that this quotient category is triangle equivalent to the stable module category of Cohen-Macaulay T2(R)-modules.

A Diagrammatic Temperley-Lieb Categorification

The monoidal category of Soergel bimodules categorifies the Hecke algebra of a finite Weyl group. In the case of the symmetric group, morphisms in this category can be drawn as graphs in the plane. We define a quotient category, also given in terms of planar graphs, which categorifies the Temperley-Lieb algebra. Certain ideals appearing in this quotient are related both to the 1-skeleton of the Coxeter complex and to the topology of 2D cobordisms. We demonstrate how further subquotients of this category will categorify the irreducible modules of the Temperley-Lieb algebra.

Decomposing the complexity quotient category

In the modular representation theory of finite groups, much recent effort has gone into describing cohomological properties of the category of finitely generated modules. In recent joint work of the author with Jon Carlson and Jeremy Rickard[3], it has become clear that for some purposes the finiteness restriction is undesirable. In particular, in the quotient category of kG-modules by the subcategory of modules of less than maximal complexity, it turns out that finitely generated modules can have infinitely generated summands, and that including these summands in the category repairs the lack of Krull–Schmidt property.