arXiv++ Combinatorics

The family of $J$-reflection groups can be seen as a combinatorial generalisation of irreducible rank two complex reflection groups and was introduced by the author in a previous article. In this article, we define the braid groups associated to $J$-reflection groups, which coincide with the complex braid group when the $J$-reflection group is finite. We show that the isomorphism type of the braid groups only depend on the reflection isomorphism types of the corresponding $J$-reflection groups. Moreover, we show that these braid groups are always abstractly isomorphic to circular groups. At the same time, we show that the center of the braid groups is cyclic and sent onto the center of the corresponding $J$-reflection groups under the natural quotient. Finally, we exhibit two Garside structures for each braid group of $J$-reflection group. These structures generalise the classical and dual Garside structures (when defined) of rank two irreducible complex reflection groups. In particular, the dual Garside structure of $J$-reflection groups provides candidates for dual monoids associated to the irreducible complex reflection groups of rank two which do not already have one.

In an earlier paper, we defined and studied q-analogues of the Stirling numbers of both types for the Coxeter group of type B. In the present work, we show how this approach can be extended to all irreducible complex reflection groups G. The Stirling numbers of the first and second kind are defined via the Whitney numbers of the first and second kind, respectively, of the intersection lattice of G. For the groups G(m,p,n), these numbers and polynomials can be given combinatorial interpretations in terms of various statistics. The ordered version of ths q-Stirling numbers of the second kind also show up in conjectured Hilbert series for certain super coinvariant algebras.

Complex reflection groups comprise a generalization of Weyl groups of semisimple Lie algebras, and even more generally of finite Coxeter groups. They have been heavily studied since their introduction and complete classification in the 1950s by Shephard and Todd, due to their many applications to combinatorics, representation theory, knot theory, and mathematical physics, to name a few examples. For each given complex reflection group G, we explain a new recipe for producing an integrable system of linear differential equations whose differential Galois group is precisely G. We exhibit these systems explicitly for many (low-rank) irreducible complex reflection groups in the Shephard-Todd classification.

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of $W$. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by $(g+1)^n$ should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest-Chalykh on the relationship between the Cherednik algebra and quasi-invariants.

We are interested in the McKay quiver $Γ(G)$ and skew group rings $A*G$, where $G$ is a finite subgroup of $\mathrm{GL}(V)$, where $V$ is a finite dimensional vector space over a field $K$, and $A$ is a $K-G$-algebra. These skew group rings appear in Auslander's version of the McKay correspondence. In the first part of this paper we consider complex reflection groups $G \subseteq \mathrm{GL}(V)$ and find a combinatorial method, making use of Young diagrams, to construct the McKay quivers for the groups $G(r,p,n)$. We first look at the case $G(1,1,n)$, which is isomorphic to the symmetric group $S_n$, followed by $G(r,1,n)$ for $r >1$. Then, using Clifford theory, we can determine the McKay quiver for any $G(r,p,n)$ and thus for all finite irreducible complex reflection groups up to finitely many exceptions. In the second part of the paper we consider a more conceptual approach to McKay quivers of arbitrary finite groups: we define the Lusztig algebra $\widetilde A(G)$ of a finite group $G \subseteq \mathrm{GL}(V)$, which is Morita equivalent to the skew group ring $A*G$. This description gives us an embedding of the basic algebra Morita equivalent to $A*G$ into a matrix algebra over $A$.

Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.

Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. While these partial orders are of independent combinatorial interest, our investigation is motivated by a connection between the codimension order and the algebraic structure of cohomology governing deformations of skew group algebras. In this article, we compare the reflection length and codimension functions and discuss implications for cohomology of skew group algebras. We give algorithms using character theory for computing reflection length, atoms, and poset relations. Using a mixture of theory, explicit examples, and computer calculations in GAP, we show that Coxeter groups and the infinite family G(m,1,n) are the only irreducible complex reflection groups for which the reflection length and codimension orders coincide. We describe the atoms in the codimension order for the infinite family G(m,p,n), which immediately yields an explicit description of generators for cohomology.

In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] there is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. Such model can be naturally decomposed into the direct sum of submodules indexed by $S_n$-conjugacy classes, and we present here a general result that relates the irreducible decomposition of these submodules with the projective Robinson-Schensted correspondence. This description also reflects in a very explicit way the existence of split representations for these groups.

In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] it is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. This model can be naturally decomposed into the direct sum of submodules indexed by symmetric conjugacy classes, and in this paper we present a simple combinatorial description of the irreducible decomposition of these submodules if the group is the wreath product of a cyclic group with a symmetric group. This is attained by showing that such decomposition is compatible with the generalized Robinson-Schensted correspondence for these groups.

We construct (q,t)-Catalan polynomials and q-Fuss-Catalan polynomials for any irreducible complex reflection group W. The two main ingredients in this construction are Rouquier's formulation of shift functors for the rational Cherednik algebras of W, and Opdam's analysis of permutations of the irreducible representations of W arising from the Knizhnik-Zamolodchikov connection.

A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.

We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex reflection groups find a natural description in this wider setting.