arXiv++ Combinatorics

Happel and Unger reconstructed hereditary algebras from their posets of tilting modules. Inspired by this result, we try removing the assumption to be hereditary. However, it would be unfortunately fail in general: e.g. every selfinjective algebra has the poset consisting of only one point. Therefore, we should consider a generalization of the Happel-Unger's result for posets of support $τ$-tilting modules, which contains those of tilting modules. In this paper, we spotlight finite dimensional algebras whose support $τ$-tilting posets coincide with those of tree quiver algebras and give a full characterization of such algebras.

We give a necessary and sufficient condition for that the support $τ$-tilting poset of a finite dimensional algebra is isomorphic to the poset of symmetric group with weak order. Moreover we show that there are infinitely many finite dimensional algebras whose support $τ$-tilting posets are isomorphic to the poset of symmetric group with weak order.

A maximal green sequence introduced by B. Keller is a certain sequence of quiver mutations at green vertices. T. Brüstle, G. Dupont and M. Pérotin showed that for an acyclic quiver, maximal green sequences are realized as maximal paths in the Hasse quiver of the poset of support tilting modules. They also considered possible lengths of maximal green sequences. In this paper, we calculate possible lengths of maximal green sequences for a quiver of type $A$ or of type $\tilde{A}_{n,1}$ by using theory of tilting mutation.

This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler. Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories. If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements. Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.

C. Ingalls and H. Thomas defined support tilting modules for path algebras. From tau-tilting theory introduced by T. Adachi, O. Iyama and I. Reiten, a partial order on the set of basic tilting modules defined by D. Happel and L. Unger is extended as a partial order on the set of support tilting modules. In this paper, we study a combinatorial relationship between the poset of basic tilting modules and basic support tilting modules. We will show that the subposet of tilting modules is uniquely determined by the poset structure of the set of support tilting modules.

Given a framed quiver, i.e. one with a frozen vertex associated to each mutable vertex, there is a concept of green mutation, as introduced by Keller. Maximal sequences of such mutations, known as maximal green sequences, are important in representation theory and physics as they have numerous applications, including the computations of spectrums of BPS states, Donaldson-Thomas invariants, tilting of hearts in the derived category, and quantum dilogarithm identities. In this paper, we study such sequences and construct a maximal green sequence for every quiver mutation-equivalent to an orientation of a type A Dynkin diagram.

From the viewpoint of mutation, we will give a brief survey of tilting theory and cluster-tilting theory together with a motivation from cluster algebras. Then we will give an introdution to τ-tilting theory which was recently developed in [AIR].

The (usual) Caldero-Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps "reachable" indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalises the idea that the cluster category is a "categorification" of the cluster algebra. The definition of the Caldero-Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster tilting object in the category. We study a modified version of the Caldero-Chapoton map which only requires the category to have a Serre functor, and only depends on a rigid object in the category. It is well-known that the usual Caldero-Chapoton map gives rise to so-called friezes, for instance Conway-Coxeter friezes. We show that the modified Caldero-Chapoton map gives rise to what we call generalised friezes, and that for cluster categories of Dynkin type A, it recovers the generalised friezes introduced by combinatorial means by Bessenrodt and us.

In this paper, we study tau-tilting modules over Nakayama algebras. We establish bijections between tau-tilting modules, triangulations of a polygon with a puncture and certain integer sequences. Moreover, we give an algorithm to construct the Hasse quiver of support tau-tilting modules by using Rejection Lemma of Drozd-Kirichenko.

We study support $τ$-tilting modules over preprojective algebras of Dynkin type. We classify basic support $τ$-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in bijection with the set of torsion classes, the set of torsion-free classes and other important objects in representation theory. We also study $g$-matrices of support $τ$-tilting modules, which show terms of minimal projective presentations of indecomposable direct summands. We give an explicit description of $g$-matrices and prove that cones given by $g$-matrices coincide with chambers of the associated root systems.

Let $Q$ be an acyclic quiver and $\mathbf{s}$ be a sequence with elements in the vertex set $Q_0$. We describe an induced sequence of simple (backward) tilting in the bounded derived category $\mathcal{D}(Q)$, starting from the standard heart $\mathcal{H}_Q=\operatorname{mod}\mathbf{k}Q$ and ending at another heart $\mathcal{H}_\mathbf{s}$ in $\mathcal{D}(Q)$. Then we show that $\mathbf{s}$ is a green mutation sequence if and only if every heart in this simple tilting sequence is greater than or equal to $\mathcal{H}_Q[-1]$; it is maximal if and only if $\mathcal{H}_\mathbf{s}=\mathcal{H}_Q[-1]$. This provides a categorical way to understand green mutations. Further, fix a Coxeter element $c$ in the Coxeter group $W_Q$ of $Q$, which is admissible with respect to the orientation of $Q$. We prove that the sequence $\widetilde{\mathbf{w}}$ induced by a $c$-sortable word $\mathbf{w}$ is a green mutation sequence. As a consequence, we obtain a bijection between $c$-sortable words and finite torsion classes in $\mathcal{H}_Q$. As byproducts, the interpretations of inversions, descents and cover reflections of a $c$-sortable word $\mathbf{w}$ are given in terms of the combinatorics of green mutations.

This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic highest weight sl_2-categorifications. For a basic highest weight categorification we determine minimal projective resolutions of standard objects. We use this, in particular, to examine the structure of tilting objects in basic categorifications and to show that the Ringel duality is given by the Rickard complex. We finish by discussing open problems.

We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(Γ_N A_n) of the Calabi-Yau-N Ginzburg algebra D(Γ_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).

We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric realization of mutation of torsion pairs in the cluster category of type $A_n$ or $A_{\infty}$ is given via rotation of Ptolemy diagrams.

Additive functions on translation quivers have played an important role in the representation theory of finite dimensional algebras, the most prominent ones are the hammock functions introduced by S. Brenner. When dealing with cluster categories (and cluster-tilted algebras), one should look at a corresponding class of functions defined on stable translation quivers, namely the cluster-additive ones. We conjecture that the cluster-additive functions on a stable translation quiver of Dynkin type A_n, D_n, E_6, E_7, E_8 are non-negative linear combinations of cluster-hammock functions (with index set a tilting set). The present paper provides a first study of cluster-additive functions and gives a proof of the conjecture in the case A_n.

We study the cluster algebras arising from cluster tubes with rank bigger than $1$. Cluster tubes are $2-$Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object $T$ in the cluster tube $\mathcal{C}_n$ of rank $n$. For any indecomposable rigid object $M$ in $\mathcal{C}_n$, we define an analogous $X_M$ of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of $M$. We show that $X_M, X_{M'}$ satisfy the mutation formula when $M,M'$ form an exchange pair, and that $X_{?}: M\mapsto X_M$ gives a bijection from the set of indecomposable rigid objects in $\mathcal{C}_n$ to the set of cluster variables of cluster algebra of type $C_{n-1}$, which induces a bijection between the set of basic maximal rigid objects in $\mathcal{C}_n$ and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube $\mathcal{C}_n$ encode the combinatorics of the cluster algebra of type $B_{n-1}$ since the combinatorics of cluster algebras of type $B_{n-1}$ or of type $C_{n-1}$ are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type $C$.

Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects. We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations. For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope. Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects.

This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. The category D behaves like a `cluster category of type A_{\infty}'.

We define mutation on coloured quivers associated to tilting objects in higher cluster categories. We show that this operation is compatible with the mutation operation on the tilting objects. This gives a combinatorial approach to tilting in higher cluster categories and especially an algorithm to determine the Gabriel quivers of tilting objects in such categories.

We study the cluster combinatorics of $d-$cluster tilting objects in $d-$cluster categories. By using mutations of maximal rigid objects in $d-$cluster categories which are defined similarly for $d-$cluster tilting objects, we prove the equivalences between $d-$cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of $d+1$ triangles of $d-$cluster tilting objects in [IY], we prove that any almost complete $d-$cluster tilting object has exactly $d+1$ complements, compute the extension groups between these complements, and study the middle terms of these $d+1$ triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established in [BMRRT] to $d-$cluster categories. They are applied to the Fomin-Reading's generalized cluster complexes of finite root systems defined and studied in [FR2] [Th] [BaM1-2], and to that of infinite root systems [Zh3].