Hugh Thomas

In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we use Panyushev’s map, together with the well-known Kreweras complement, to construct a bijection between nonnesting and noncrossing partitions. Our map is defined uniformly for all root systems, using a recursion in which the map is assumed to be defined already for all parabolic subsystems. Unfortunately, the proof that our map is well defined, and is a bijection, is case-by-case, using a computer in the exceptional types. Fortunately, the proof involves new and interesting combinatorics in the classical types. As consequences, we prove several conjectural properties of the Panyushev map, and we prove two cyclic sieving phenomena conjectured by D. Bessis and V. Reiner.

Let Z_m^k consist of the m^k alcoves contained in the m-fold dilation of the fundamental alcove of the type A_k affine hyperplane arrangement. As the fundamental alcove has a cyclic symmetry of order (k+1), so does Z_m^k. By bijectively exchanging the natural poset structure of Z_m^k for a natural cyclic action on a set of words, we prove an instance of the cyclic sieving phenomenon.

We describe a new way to relate an acyclic, skew-symmetrizable cluster algebra to the representation theory of a finite dimensional hereditary algebra. This approach is designed to explain the c-vectors of the cluster algebra. We obtain a necessary and sufficient combinatorial criterion for a collection of vectors to be the c-vectors of some cluster in the cluster algebra associated to a given skew-symmetrizable matrix. Our approach also yields a simple proof of the known result that the c-vectors of an acyclic cluster algebra are sign-coherent, from which Nakanishi and Zelevinsky have showed that it is possible to deduce in an elementary way several important facts about cluster algebras (specifically: Conjectures 1.1-1.4 of [Derksen-Weyman-Zelevinsky]).

In this paper, we explain how the Tamari lattice arises in the context of the representation theory of quivers, as the poset whose elements are the torsion classes of a directed path quiver, with the order relation given by inclusion.