arXiv++ Combinatorics

We determine the Waring rank of the fundamental skew invariant of any complex reflection group whose highest degree is a regular number. This includes all irreducible real reflection groups.

Generalizing a result of Conway, Sloane, and Wilkes for real reflection groups, we show the Cayley graph of an imprimitive complex reflection group with respect to standard generating reflections has a Hamiltonian cycle. This is consistent with the long-standing conjecture that for every finite group, G, and every set of generators, S, of G the undirected Cayley graph of G with respect to S has a Hamiltonian cycle.

For any irreducible real reflection group $W$ with Coxeter number $h$, Armstrong, Reiner, and the author introduced a pair of $W \times \ZZ_h$-modules which deserve to be called {\sf $W$-parking spaces} which generalize the type A notion of parking functions and conjectured a relationship between them. In this paper we give a Fuss analog of their constructions. For a Fuss parameter $k \geq 1$, we define a pair of $W \times \ZZ_{kh}$-modules which deserve to be called {\sf $k$-$W$-parking spaces} and conjecture a relationship between them. We prove the weakest version of our conjectures for each of the infinite families ABCDI of finite reflection groups, together with proofs of stronger versions in special cases. Whenever our weakest conjecture holds for $W$, we have the following corollaries. First, there is a simple formula for the character of either $k$-$W$-parking space. Second, we recover a cyclic sieving result due to Krattenthaler and Müller which gives the cycle structure of a generalized rotation action on $k$-$W$-noncrossing partitions. Finally, when $W$ is crystallographic, the restriction of either $k$-$W$-parking space to $W$ isomorphic to the action of $W$ on the finite torus $Q / (kh+1)Q$, where $Q$ is the root lattice.

Let $W$ be a Weyl group with root lattice $Q$ and Coxeter number $h$. The elements of the finite torus $Q/(h+1)Q$ are called the $W$-{\sf parking functions}, and we call the permutation representation of $W$ on the set of $W$-parking functions the (standard) $W$-{\sf parking space}. Parking spaces have interesting connections to enumerative combinatorics, diagonal harmonics, and rational Cherednik algebras. In this paper we define two new $W$-parking spaces, called the {\sf noncrossing parking space} and the {\sf algebraic parking space}, with the following features: 1) They are defined more generally for real reflection groups. 2) They carry not just $W$-actions, but $W\times C$-actions, where $C$ is the cyclic subgroup of $W$ generated by a Coxeter element. 3) In the crystallographic case, both are isomorphic to the standard $W$-parking space. Our Main Conjecture is that the two new parking spaces are isomorphic to each other as permutation representations of $W\times C$. This conjecture ties together several threads in the Catalan combinatorics of finite reflection groups. We provide evidence for the conjecture, proofs of some special cases, and suggest further directions for the theory.

A finite irreducible real reflection group of rank l and Coxeter number h has root system of cardinality h*l. It is shown that the fake degree for the permutation action on its roots is divisible by [h]_q = 1+q+q^2+...+q^{h-1}, and that in simply-laced types, it equals [h]_q times the summation of q^{e_i - 1} where e_i runs through the exponents, so that e_i - 1 are the codegrees.

In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.

Ehrenborg and Jung recently related the order complex for the lattice of d-divisible partitions with the simplicial complex of pointed ordered set partitions via a homotopy equivalence. The latter has top homology naturally identified as a Specht module. Their work unifies that of Calderbank, Hanlon, Robinson, and Wachs. By focusing on the underlying geometry, we strengthen and extend these results from type A to all real reflection groups and the complex reflection groups known as Shephard groups.

(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.

When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map LL, describing the factorisations of its discriminant and its Jacobian. As byproducts, we generalise a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorisations of a Coxeter element of W.

In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.

We define the notion of a climbing element in a finite real reflection group relative to a total order on the reflection set and we characterise these elements in the case where the total order arises from a bipartite Coxeter element.

In this paper, we study $k$-parabolic arrangements, a generalization of $k$-equal arrangements for finite real reflection groups. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. Brieskorn (1971) showed that the fundamental group of the complement, over $\mathbb{C}$, of the type $W$ Coxeter arrangement is isomorphic to the pure Artin group of type $W$. Khovanov (1996) gave an algebraic description for the fundamental group of the complement, over $\mathbb{R}$, of the 3-equal arrangement. We generalize Khovanov's result to obtain an algebraic description of the fundamental groups of the complements of 3-parabolic arrangements for arbitrary finite reflection groups. Our description is a real analogue to Brieskorn's description.

We consider projections of points onto fundamental chambers of finite real reflection groups. Our main result shows that for groups of type $A_n$, $B_n$, and $D_n$, the coefficients of the characteristic polynomial of the reflection arrangement are proportional to the spherical volumes of the sets of points that are projected onto faces of a given dimension. We also provide strong evidence that the same connection holds for the exceptional, and thus all, reflection groups. These results naturally extend those of De Concini and Procesi, Stembridge, and Denham which establish the relationship for 0-dimensional projections. This work is also of interest for the field of order-restricted statistical inference, where projections of random points play an important role.

The purpose of this note is to complete the study, begun in the first author's PhD thesis, of the topology of the poset of generalized noncrossing partitions associated to real reflection groups. In particular, we calculate the Euler characteristic of this poset with the maximal and minimal elements deleted. As we show, the result on the Euler characteristic extends to generalized noncrossing partitions associated to well-generated complex reflection groups.

Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As a consequence, we extend the Hodge filtration, indexed by nonnegative integers, into a filtration indexed by all integers. This filtration coincides with the filtration by the order of poles. The results are translated into the derivation case.

For any finite, real reflection group $W$, we construct a geometric basis for the homology of the corresponding non-crossing partition lattice. We relate this to the basis for the homology of the corresponding intersection lattice introduced by Björner and Wachs in \cite{BW} using a general construction of a generic affine hyperplane for the central hyperplane arrangement defined by $W$.

For each finite real reflection group $W$, we identify a copy of the type-$W$ simplicial generalised associahedron inside the corresponding simplicial permutahedron. This defines a bijection between the facets of the generalised associahedron and the elements of the type $W$ non-crossing partition lattice which is more tractable than previous such bijections. We show that the simplicial fan determined by this associahedron coincides with the Cambrian fan for $W$.

We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky to a finite root system and (b) the lattice of noncrossing partitions associated to the corresponding finite real reflection group.

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.

For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.