arXiv++ Combinatorics

We consider the category $\mathcal S(n)$ of all pairs $X = (U,V)$, where $V$ is a finite-dimensional vector space with a nilpotent operator $T$ with $T^n = 0$, and $U$ is a subspace of $V$ such that $T(U) \subseteq U$. Our main interest in an object $X=(U,V)$ are the three numbers $uX=\dim U$ (for the subspace), $wX=\dim V/U$ (for the factor) and $bX=\dim {\rm Ker} T$ (for the operator). Actually, instead of looking at the reference space $\Bbb R^3$ with the triples $(uX,wX,bX)$, we will focus the attention to the corresponding projective space $\Bbb T(n)$ which contains for a non-zero object $X$ the level-colevel pair {\bf pr}$X = (uX/bX,wX/bX)$ supporting the object $X$. We use $\Bbb T(n)$ to visualize part of the categorical structure of $\mathcal S(n)$: The action of the duality $D$ and the square $τ_n^2$ of the Auslander-Reiten translation are represented on $\Bbb T(n)$ by a reflection and a rotation by $120^\circ$ degrees, respectively. Moreover for $n\geq 6$, each component of the Auslander-Reiten quiver of $\mathcal S(n)$ has support either contained in the center of $\Bbb T(n)$ or with the center as its only accumulation point. We show that the only indecomposable objects $X$ in $\mathcal S(n)$ with support having boundary distance smaller than 1 are objects with $bX=1$ which lie on the boundary, whereas any rational vector in $\Bbb T(n)$ with boundary distance at least 2 supports infinitely many indecomposable objects. At present, it is not clear at all what happens for vectors with boundary distance between 1 and 2. The use of $\Bbb T(n)$ provides even in the (quite well-understood) case $n = 6$ some surprises: In particular, we will show that any indecomposable object in $\mathcal S(6)$ lies on one of 12 central lines in $\Bbb T(6)$. The paper is essentially self-contained, all prerequisites which are needed are outlined in detail.

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.

The Dynkin algebras are the hereditary artin algebras of finite representation type. The paper exhibits the number of support-tilting modules for any Dynkin algebra. Since the support-tilting modules for a Dynkin algebra correspond bijectively to the non-crossing partitions of the same type, the calculations presented here may also be considered as a categorification of results concerning non-crossing partitions.

We consider Dynkin algebras, these are the hereditary artin algebras of finite representation type. The indecomposable modules for a Dynkin algebra correspond bijectively to the positive roots of a Dynkin diagram. Given a Dynkin algebra with n simple modules, a complete exceptional sequence is a sequence M_1,..., M_n of indecomposable modules such that Hom(M_i,M_j) = 0 = Ext(M_i,M_j) for i > j. The aim of this paper is to determine the number of complete exceptional sequences for any Dynkin algebra. There are direct connections between the representation theory of a Dynkin algebra A and the lattice L of non-crossing partitions of the same Dynkin type: As Ingalls and Thomas have shown, the lattice of the thick subcategories of mod A can be identified with L. Hubery and Krause have pointed out that this identification provides a bijection between the complete exceptional sequences for A and the maximal chains in L. Thus, our calculations may also be considered as a categorification of results concerning non-crossing partitions.

Let $Δ$ be a (connected) Dynkin diagram of rank $n\ge 2$ and $Φ_+ = Φ_+(Δ)$ the corresponding root poset (it consists of all positive roots with respect to a fixed root basis). The width of $Φ_+$ is $n$. We will show that $Φ_+$ is "conical": it is the disjoint union of $n$ solid chains. The rich antichains in $Φ_+$ are the antichains of cardinality $n-1$. It is well known that the number of rich antichains is equal to the cardinality of $Φ_+$. The set $\mathcal R(Δ)$ of rich antichains in $Φ_+$ can itself be considered as a poset which is quite similar, but not always isomorphic, to $Φ_+$. We will show that there always exists a unique rich antichain $A$ such that any rich antichain is contained in the ideal generated by $A$. For $Δ\neq \Bbb E_6$ all roots in $A$ have the same length, namely $e_2$, where $e_1 \le e_2 \le \dots \le e_n$ are the exponents of $Δ.$ For $Δ= \Bbb E_6$, the antichain $A$ consists of four roots of length $e_2 = 4$ and one root of length $5$.

In two previous papers we have presented partition formulae for the Fibonacci numbers motivated by the appearance of the Fibonacci numbers in the representation theory of the 3-Kronecker quiver and its universal cover, the 3-regular tree. Here we show that the basic information can be rearranged in two triangles. They are quite similar to the Pascal triangle of the binomial coefficients, but in contrast to the additivity rule for the Pascal triangle, we now deal with additivity along hooks, or, equivalently, with additive functions for valued translation quivers. As for the Pascal triangle, we see that the numbers in these Fibonacci partition triangles are given by evaluating polynomials. We show that the two triangles can be obtained from each other by looking at differences of numbers, it is sufficient to take differences along arrows and knight's moves.

In a previous paper we have presented a partition formula for the even-index Fibonacci numbers using the preprojective representations of the 3-Kronecker quiver and its universal cover, the 3-regular star. Now we deal in a similar way with the odd-index Fibonacci numbers. The Fibonacci modules introduced here provide a convenient categorification of the Fibonacci numbers.

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 are going to determine all the self-injective cluster tilted algebras. All are of finite representation type and special biserial.