arXiv++ Combinatorics

The Loewy length of the descent algebra of type D_{2m+1} is shown to be m+2, for m \geq 2, by providing an upper bound that agrees with the lower bound in \cite{BonnafePfeiffer2006}. The bound is obtained by showing that the length of the longest path in the quiver of the descent algebra of D_{2m+1} is at most m+1. To achieve this bound, the geometric approach to the descent algebra is used, in which the descent algebra of a finite Coxeter group is identified with an algebra associated to the reflection arrangement of the group.

For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in this poset. Our main result states that C(L,g) is a semidistributive lattice if L is semidistributive, and that C(L,g) is a bounded lattice if L is bounded. Let S_n be the permutohedron on n letters and T_n be the associahedron on n+1 letters. Explicit computations show that C(S_n,a) = S_{n-1} and C(T_n,a) = T_{n-1}, up to isomorphism, whenever a is an atom. These results are consequences of new characterizations of finite join semidistributive and finite lower bounded lattices: (i) a finite lattice is join semidistributive if and only if the projection sending g in C(L) to g_0 in L creates pullbacks, (ii) a finite join semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are generalization of the tools used by Barbut et al. to prove that lattices of Coxeter groups are bounded.

We construct a group K_n with properties similar to infinite Coxeter groups. In particular, it has a geometric representation featuring hyperplanes and simplicial chambers. The generators of K_n are given by 2-element subsets of {0, .., n}. We give some easy combinatorial results on the finite residues of K_n.

When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often be the automorphism group of a finite abstract regular polytope. In parts I and II we established the basics of this construction and enumerated the polytopes associated to groups of rank at most 4, as well as all groups of spherical or Euclidean type. Here we extend the range of our earlier criteria for the polytopality of G^p . Building on this we investigate the class of 3-infinity groups of general rank, and then complete a survey of those locally toroidal polytopes which can be described by our construction.

In 2002, Feigin and Veselov defined the space of m-quasiinvariants for any Coxeter group, building on earlier work of Chalykh and Veselov. While many properties of those spaces were proven from this definition, an explicit computation of a basis was only done in certain cases. In particular, Feigin and Veselov computed bases for the m-quasiinvariants of dihedral groups, including S_3, and Felder and Veselov computed the non-symmetric m-quasiinvariants of lowest degree for general S_n. In this paper, we provide a new characterization of the m-quasiinvariants of S_n, and use this to provide a basis for the isotypic component indexed by the partition [n-1,1]. This builds on a previous paper in which we computed a basis for S_3 via combinatorial methods.

We generalize some identities and q-identities previously known for the symmetric group to Coxeter groups of type B and D. The extended results include theorems of Foata and Schützenberger, Gessel, and Roselle on various distributions of inversion number, major index, and descent number. In order to show our results we provide caracterizations of the systems of minimal coset representatives of Coxeter groups of type B and D.

The concept of descent algebras over a field of characteristic zero is extended to define descent algebras over a field of prime characteristic. Some basic algebraic structure of the latter, including its radical and irreducible modules, is then determined. The decomposition matrix of the descent algebras of Coxeter group types $A$, $B$, and $D$ are calculated, and used to derive a description of the decomposition matrix of an arbitrary descent algebra. The Cartan matrix of a variety of descent algebras over a finite field is then obtained.

We establish simple combinatorial descriptions of the radical and irreducible representations specifically for the descent algebra of a Coxeter group of type $D$ over any field.

We establish recursions counting various classes of chains in the noncrossing partition lattice of a finite Coxeter group. The recursions specialize a general relation which is proven uniformly (i.e. without appealing to the classification of finite Coxeter groups) using basic facts about noncrossing partitions. We solve these recursions for each finite Coxeter group in the classification. Among other results, we obtain a simpler proof of a known uniform formula for the number of maximal chains of noncrossing partitions and a new uniform formula for the number of edges in the noncrossing partition lattice. All of our results extend to the m-divisible noncrossing partition lattice.

The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.

Given a finite irreducible Coxeter group $W$, a positive integer $d$, and types $T_1,T_2,...,T_d$ (in the sense of the classification of finite Coxeter groups), we compute the number of decompositions $c=\si_1\si_2 cdots\si_d$ of a Coxeter element $c$ of $W$, such that $\si_i$ is a Coxeter element in a subgroup of type $T_i$ in $W$, $i=1,2,...,d$, and such that the factorisation is "minimal" in the sense that the sum of the ranks of the $T_i$'s, $i=1,2,...,d$, equals the rank of $W$. For the exceptional types, these decomposition numbers have been computed by the first author. The type $A_n$ decomposition numbers have been computed by Goulden and Jackson, albeit using a somewhat different language. We explain how to extract the type $B_n$ decomposition numbers from results of Bóna, Bousquet, Labelle and Leroux on map enumeration. Our formula for the type $D_n$ decomposition numbers is new. These results are then used to determine, for a fixed positive integer $l$ and fixed integers $r_1\le r_2\le ...\le r_l$, the number of multi-chains $π_1\le π_2\le ...\le π_l$ in Armstrong's generalised non-crossing partitions poset, where the poset rank of $π_i$ equals $r_i$, and where the "block structure" of $π_1$ is prescribed. We demonstrate that this result implies all known enumerative results on ordinary and generalised non-crossing partitions via appropriate summations. Surprisingly, this result on multi-chain enumeration is new even for the original non-crossing partitions of Kreweras. Moreover, the result allows one to solve the problem of rank-selected chain enumeration in the type $D_n$ generalised non-crossing partitions poset, which, in turn, leads to a proof of Armstrong's $F=M$ Conjecture in type $D_n$.

A zircon is a poset in which every principal order ideal is finite and equipped with a so-called special matching. We prove that the subposet induced by the fixed points of any automorphism of a zircon is itself a zircon. This provides a natural context in which to view recent results on Bruhat orders on twisted involutions in Coxeter groups.

We continue the study of the maximally clustered elements for simply laced Coxeter groups which were recently introduced by Losonczy. Such elements include as a special case the freely braided elements of Losonczy and the author, which in turn constitute a superset of the $iji$-avoiding elements of Fan. Our main result is to classify the MC-finite Coxeter groups, namely those Coxeter groups having finitely many maximally clustered elements. Remarkably, any simply laced Coxeter group having finitely many $iji$-avoiding elements also turns out to be MC-finite.

We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.

Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Furthermore, we demonstrate that sometimes these posets are not graded. For the Poincaré series of i(T), i.e. its generating function with respect to r, a factorisation phenomenon is discussed.

We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice. We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.

The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which generally involves recursion. We define embedded factor pattern avoidance for general Coxeter groups and use it to characterize when Deodhar's algorithm yields a simple combinatorial formula for the Kazhdan-Lusztig polynomials of finite Weyl groups. Equivalently, if $(W, S)$ is a Coxeter system for a finite Weyl group, we classify the elements $w \in W$ for which the Kazhdan-Lusztig basis element $C'_w$ can be written as a monomial of $C'_s$ where $s \in S$. This work generalizes results of Billey-Warrington (2001) which identified the Deodhar elements in type $A$ as 321-hexagon-avoiding permutations, and Fan-Green (1997) which identified the fully-tight Coxeter groups.

We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers in the exceptional types, and give formulae for them in types B and D. We give a generating-function formula for the characters of the representations of a Coxeter group of type B on the rational cohomology groups of the corresponding real De Concini-Procesi model, and deduce the multiplicities of one-dimensional characters in the representations, and a formula for the Euler character. We also give a moduli space interpretation of this type-B variety, and hence show that the action of the Coxeter group extends to a slightly larger group.

This memoir constitutes the author's PhD thesis at Cornell University. It serves both as an expository work and as a description of new research. At the heart of the memoir, we introduce and study a poset $NC^{(k)}(W)$ for each finite Coxeter group $W$ and for each positive integer $k$. When $k=1$, our definition coincides with the generalized noncrossing partitions introduced by Brady-Watt and Bessis. When $W$ is the symmetric group, we obtain the poset of classical $k$-divisible noncrossing partitions, first studied by Edelman. Along the way, we include a comprehensive introduction to related background material. Before defining our generalization $NC^{(k)}(W)$, we develop from scratch the theory of algebraic noncrossing partitions $NC(W)$. This involves studying a finite Coxeter group $W$ with respect to its generating set $T$ of {\em all} reflections, instead of the usual Coxeter generating set $S$. This is the first time that this material has appeared in one place. Finally, it turns out that our poset $NC^{(k)}(W)$ shares many enumerative features in common with the ``generalized nonnesting partitions'' of Athanasiadis and the ``generalized cluster complexes'' of Fomin and Reading. In particular, there is a generalized ``Fuss-Catalan number'', with a nice closed formula in terms of the invariant degrees of $W$, that plays an important role in each case. We give a basic introduction to these topics, and we describe several conjectures relating these three families of ``Fuss-Catalan objects''.

The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game has been studied previously by Proctor, Mozes, Bjorner, Eriksson, and Wildberger. We show that those connected such graphs for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. As a consequence of our proof we obtain the classifications of the finite-dimensional Kac-Moody algebras and of the finite Weyl groups. We use Coxeter group theory to establish a more general result that applies to Eriksson's E-games: an E-game meets the finiteness requirement if and only if a naturally associated Coxeter group is finite. To prove this and some other finiteness results we further develop Eriksson's theory of a geometric representation of Coxeter groups and observe some curious differences of this representation from the standard geometric representation.