We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic p has distributive lattice of thick subcategories: they are precisely the p-nilpotent groups. Along the way we give necessary and sufficient criteria for the bounded derived category and perfect complexes of a finite dimensional k-algebra to have distributive lattices of thick subcategories.
We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras, cluster varieties, cluster categories and surface models all have associated abstract cluster structures. For the first two classes, we also show that they can be constructed from abstract cluster structures. By defining a suitable notion of morphism of abstract cluster structures, we introduce a category of these and show that it has several desirable properties, such as initial and terminal objects and finite products and coproducts. We also prove that rooted cluster morphisms of cluster algebras give rise to morphisms of the associated abstract cluster structures, so that our framework includes a version of the extant category of cluster algebras. We can do more, however, because we can relate different types of representation of abstract cluster structures (cluster algebra, varieties, categories) directly via morphisms of their associated abstract cluster structures, even though no direct map from e.g. a cluster category to the associated cluster algebra is possible. In fact, we do much of the above in the setting of abstract quantum cluster structures, with some analysis of the difference between the category of these and that of the unquantized version. In order to show the relationship between abstract quantum cluster structures and quantum cluster algebras, we reformulate the usual construction of the latter in a way that is more amenable to our purposes and which we expect will be of independent interest and use.
A prototypical examples of a cluster algebra is the coordinate ring of a finite Grassmannian: using the Plücker embedding the cluster algebra structure allows one to move between `maximal sets' of algebraically independent Plücker coordinates via mutations. Fioresi and Hacon studied a specific colimit of the coordinate rings of finite Grassmannians and its link with the infinite Grassmannian introduced by Sato and independently by Segal and Wilson in connection with the Kadomtsev-Petiashvili (KP) hierarchy, an infinite set of nonlinear partial differential equations which possess soliton solutions. In this article we prove that this ring is a cluster algebra of infinite rank with the structure induced by the colimit construction. More generally, we prove that cluster algebras of infinite rank are precisely the ind-objects of a natural category of cluster algebras.
Neeman shows that the completion of a triangulated category with respect to a good metric yields a triangulated category. We compute completions of discrete cluster categories with respect to metrics induced by internal t-structures. In particular, for a coaisle metric this yields a new triangulated category which can be interpreted as a topological completion of the associated combinatorial model. Moreover, we show that the completion of any triangulated category with respect to an internal aisle metric is a thick subcategory of the triangulated category itself.
The main result of this paper is that there is sometimes a triangulated equivalence between D_Q( A ), the Q-shaped derived category of an algebra A, and D( B ), the classic derived category of a different algebra B. By construction, D_Q( A ) consists of Q-shaped diagrams of A-modules for a suitable small category Q. Our result concerns the case where Q consists of shifts of indecomposable projective modules over a self-injective ℤ-graded algebra Λ. A notable special case is the result by Iyama, Kato, and Miyachi that D_N( A ), the N-derived category of A, is triangulated equivalent to D( T_ N-1 A ), the classic derived category of T_ N-1 ( A ), which denotes upper diagonal ( N-1 ) × ( N-1 )-matrices over A. Several other special cases will also be discussed.
We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank 1 in a Grassmannian category of infinite rank are in bijection with the Plucker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. Moreover, this bijection is structure preserving, as it relates rigidity in the category to compatibility of Plucker coordinates. Along the way, we develop a combinatorial formula to compute the dimension of the Ext(1)-spaces between any two generically free modules of rank 1 in the Grassmannian category of infinite rank.
We show that for a gradable finite dimensional algebra the perfect complexes and bounded derived category cannot be distinguished by homotopy invariants.
subcategory We study a category C-2 of 7L-graded maximal Cohen Macaulay (MCM) modules over the A(infinity) curve singularity and demonstrate that it has infinite type A(8) cluster combinatorics. In particular, we show that this Frobenius category (or a suitable subcategory) is stably equivalent to the infinite type A(infinity) cluster categories of Holm-Jorgensen, Fisher and Paquette-Yildirim. As a consequence, C-2 has cluster tilting subcategories modelled by certain triangulations of the (completed) infinity-gon. We use the Frobenius structure to extend this further to consider maximal almost rigid subcategories, and show that these subcategories and their mutations exhibit the combinatorics of the completed infinity-gon.
We classify t-structures and thick subcategories in any discrete cluster category C ( Z ) $\mathcal {C}(\mathcal {Z})$ of Dynkin type A $A$ , and show that the set of all t-structures on C ( Z ) $\mathcal {C}(\mathcal {Z})$ is a lattice under inclusion of aisles, with meet given by their intersection. We show that both the lattice of t-structures on C ( Z ) $\mathcal {C}(\mathcal {Z})$ obtained in this way and the lattice of thick subcategories of C ( Z ) $\mathcal {C}(\mathcal {Z})$ are intimately related to the lattice of non-crossing partitions of type A $A$ . In particular, the lattice of equivalence classes of non-degenerate t-structures on such a category is isomorphic to the lattice of non-crossing partitions of a finite linearly ordered set.
We initiate a systematic study of lattices of thick subcategories for arbitrary essentially small triangulated categories. To this end we give several examples illustrating the various properties these lattices may, or may not, have and show that as soon as a lattice of thick subcategories is distributive it is automatically a spatial frame. We then construct two non-commutative spectra, one functorial and one with restricted functoriality, that give universal approximations of these lattices by spaces.
We study a category C2$\mathcal {C}_2$ of Z$\mathbb {Z}$ ‐graded maximal Cohen‐Macaulay (MCM) modules over the A∞$A_\infty$ curve singularity and demonstrate that it has infinite type A$A$ cluster combinatorics. In particular, we show that this Frobenius category (or a suitable subcategory) is stably equivalent to the infinite type A$A$ cluster categories of Holm–Jørgensen, Fisher and Paquette–Yıldırım. As a consequence, C2$\mathcal {C}_2$ has cluster tilting subcategories modelled by certain triangulations of the (completed) ∞$\infty$ ‐gon. We use the Frobenius structure to extend this further to consider maximal almost rigid subcategories, and show that these subcategories and their mutations exhibit the combinatorics of the completed ∞$\infty$ ‐gon.
In this article, we construct SL$_k$-friezes using Pl\"ucker coordinates, making use of the cluster structure on the homogeneous coordinate ring of the Grassmannian of $k$-spaces in $n$-space via the Pl\"ucker embedding. When this cluster algebra is of finite type, the SL$_k$-friezes are in bijection with the so-called mesh friezes of the corresponding Grassmannian cluster category. These are collections of positive integers on the AR-quiver of the category with relations inherited from the mesh relations on the category. In these finite type cases, many of the SL$_k$-friezes arise from specialising a cluster to 1. These are called unitary. We use Iyama-Yoshino reduction to analyse the non-unitary friezes. With this, we provide an explanation for all known friezes of this kind. An appendix by Cuntz and Plamondon proves that there are 868 friezes of type $E_6$.
Non-singular weighted surface algebras satisfy the necessary condition found in [6] for existence of cluster tilting modules. We show that any such algebra whose Gabriel quiver is bipartite, has a module satisfying the necessary ext vanishing condition. We show that it is 3-cluster tilting precisely for the non-singular triangular or spherical algebras but not for any other weighted surface algebra with bipartite Gabriel quiver.
We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank $1$ in a Grassmannian category of infinite rank are in bijection with the Plucker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. In particular, we show that this bijection is structure preserving, as it relates rigidity in the category to compatibility of Plucker coordinates. Along the way, we develop a combinatorial formula to compute the dimension of the $\mathrm{Ext}^1$-spaces between any two generically free modules of rank $1$ in the Grassmannian category of infinite rank.
We present a method for computing A1-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of self-injective algebras admitting a connected grading. A remark is also made concerning the vanishing of all such invariants for cluster categories of type A2n quivers.
We give a combinatorial classification of cluster tilting subcategories and torsion pairs in Igusa–Todorov cluster categories of Dynkin type A_∞ .
We give a combinatorial model for the bounded derived category of graded modules over the dual numbers in terms of arcs on the integer line with a point at infinity. Using this model we describe the lattice of thick subcategories of the bounded derived category, and of the perfect complexes, in terms of non-crossing partitions. We also make some comments on the symmetries of these lattices, exceptional collections, and the analogous problem for the unbounded derived category.
In this survey article we explain the intricate links between Conway-Coxeter friezes and cluster combinatorics. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to compute the frieze associated to a fixed cluster tilting object in a cluster category of Dynkin type $A$ in the sense of Caldero and Chapoton.
We study mutations of Conway-Coxeter friezes which are compatible with mutations of cluster-tilting objects in the associated cluster category of Dynkin type $A$. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. We observe how the frieze can be divided into four distinct regions, relative to the entry at which we want to mutate, where any two entries in the same region obey the same mutation rule. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to compute the frieze associated to a fixed cluster-tilting object in a cluster category of Dynkin type $A$ in the sense of Caldero and Chapoton.