arXiv++ Combinatorics

We show that the Hurwitz action is "as transitive as possible" on reflection factorizations of Coxeter elements in the well-generated complex reflection groups $G(d, 1, n)$ (the group of $d$-colored permutations) and $G(d, d, n)$.

We show how the variational characterisation of spherical designs can be used to take a union of spherical designs to obtain a spherical design of higher order (degree, precision, exactness) with a small number of points. The examples that we consider involve taking the orbits of two vectors under the action of a complex reflection group to obtain a weighted spherical $(t,t)$-design. These designs have a high degree of symmetry (compared to the number of points), and many are the first known construction of such a design, e.g., a $32$ point $(9,9)$-design for $\mathbb{C}^2$, a $48$ point $(4,4)$-design for $\mathbb{C}^3$, and a $400$ point $(5,5)$-design for $\mathbb{C}^4$.From a real reflection group, we construct a $360$ point $(9,9)$-design for $\mathbb{R}^4$ (spherical half-design of order $18$), i.e., a $720$ point spherical $19$-design for $\mathbb{R}^4$.

This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.

V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.

Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our construction, we explicitly describe the alternating harmonics and coinvariants for all real reflection groups.

We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions.

We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.

Two partial orders on a reflection group, the codimension order and the prefix order, are together called the absolute order when they agree. We show that in this case the absolute order on a complex reflection group has the strong Sperner property, except possibly for the Coxeter group of type $D_n$, for which this property is conjectural. The Sperner property had previously been established for the noncrossing partition lattice $NC_W$, a certain maximal interval in the absolute order, but not for the entire poset, except in the case of the symmetric group. We also show that neither the codimension order nor the prefix order has the Sperner property for general complex reflection groups.

This paper defines the partition algebra for complex reflection group $G(r,p,n)$ acting on $k$-fold tensor product $(\mathbb{C}^n)^{\otimes k}$, where $\mathbb{C}^n$ is the reflection representation of $G(r,p,n)$. A basis of the centralizer algebra of this action of $G(r,p,n)$ was given by Tanabe and for $p =1$, the corresponding partition algebra was studied by Orellana. We also establish a subalgebra as partition algebra of a subgroup of $G(r,p,n)$ acting on $(\mathbb{C}^n)^{\otimes k}$. We call these algebras as Tanabe algebras. The aim of this paper is to study representation theory of Tanabe algebras: parametrization of their irreducible modules, and construction of Bratteli diagram for the tower of Tanabe algebras. We conclude the paper by giving Jucys-Murphy elements of Tanabe algebras and their actions on the Gelfand-Tsetlin basis, determined by this multiplicity free tower, of irreducible modules.

Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups.

We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous components of the corresponding coinvariant algebra, strengthening a recent result of the third author for the modular major index. Our approach is to identify patterns in standard tableaux that allow one to mutate descent sets in a controlled manner. By work of Lusztig and Stembridge, the arguments extend to a classification of all nonzero fake degrees of coinvariant algebras for finite complex reflection groups in the infinite family of Shephard--Todd groups.

In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map. We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections.

We extend the usual notion of fully commutative elements from the Coxeter groups to the complex reflection groups. Then we decompose the sets of fully commutative elements into natural subsets according to their combinatorial properties, and investigate the structure of these decompositions. As a consequence, we enumerate and describe the form of these elements in the complex reflection groups.

We prove that the Hurwitz action on reflection factorizations of Coxeter elements is transitive up to certain natural constraints in the complex reflection groups G4 and G5. This affirms a more general conjecture by Lewis and Reiner in these specific cases. The proof uses induction on length of the factorization using the fact that the square of a reflection is also a reflection.

Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras; these form a $2$-parameter type $A$ family that we term $NC_A(n,d)$. We explore the combinatorial properties of these algebras, including the Coxeter word basis, length function, maximal words, and their connection to Khovanov's categorification of the Weyl algebra. Our broader motivation arises from complex reflection groups and the Broue-Malle-Rouquier freeness conjecture (1998). With generic Hecke algebras over real and complex groups in mind, we show that the 'first' finite-dimensional examples $NC_A(n,d)$ are in fact the only ones, outside of the usual nil-Coxeter algebras. The proofs use a diagrammatic calculus akin to crystal theory.

Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the semi-direct product of a finite complex reflection group and a full rank lattice. Steinberg's fixed point theorem asserts that the regular orbits under the action of a reflection group are exactly the orbits lying off of reflecting hyperplanes. This theorem holds for finite reflection groups (real or complex) and also affine Weyl groups but fails for some crystallographic complex reflection groups. We determine when Steinberg's theorem holds for the infinite family of crystallographic complex reflection groups. We include crystallographic groups built on finite Coxeter groups.

Let $r$ and $n$ be positive integers, let $G_n$ be the complex reflection group of $n \times n$ monomial matrices whose entries are $r^{\textrm{th}}$ roots of unity and let $0 \leq k \leq n$ be an integer. Recently, Haglund, Rhoades and Shimozono ($r=1$) and Chan and Rhoades ($r>1$) introduced quotients $R_{n,k}$ (for $r>1$) and $S_{n,k}$ (for $r \geq 1$) of the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ in $n$ variables, which for $k=n$ reduce to the classical coinvariant algebra attached to $G_n$. When $n=k$ and $r=1$, Garsia and Stanton exhibited a quotient of $\mathbb{C}[\mathbf{y}_S]$ isomorphic to the coinvariant algebra, where $\mathbb{C}[\mathbf{y}_S]$ is the polynomial ring in $2^n-1$ variables whose variables are indexed by nonempty subsets $S \subseteq [n]$. In this paper, we will define analogous quotients that are isomorphic to $R_{n,k}$ and $S_{n,k}$.

Analogues of 1-shuffle elements for complex reflection groups of type $G(m,1,n)$ are introduced. A geometric interpretation for $G(m,1,n)$ in terms of rotational permutations of polygonal cards is given. We compute the eigenvalues, and their multiplicities, of the 1-shuffle element in the algebra of the group $G(m,1,n)$. Considering shuffling as a random walk on the group $G(m,1,n)$, we estimate the rate of convergence to randomness of the corresponding Markov chain. We report on the spectrum of the 1-shuffle analogue in the cyclotomic Hecke algebra $H(m,1,n)$ for $m=2$ and small $n$.

The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave a description of the Frobenius image of $R_n$, graded by partitions, in terms of descents of standard Young tableaux. Motivated by the Delta Conjecture of Macdonald polynomials, Haglund, Rhoades, and Shimozono gave an extension of the coinvariant algebra $R_{n,k}$ and an extension of the Garsia-Stanton basis. Chan and Rhoades further extend these results from $\mathfrak{S}_n$ to the complex reflection group $G(r,1,n)$ by defining a $G(r,1,n)$ module $S_{n,k}$ that generalizes the coinvariant algebra for $G(r,1,n)$. We extend the results of Adin, Brenti, and Roichman to $R_{n,k}$ and $S_{n,k}$.

We study a shift action defined on multipartitions and on residue multisets of their Young diagrams. We prove that the minimal orbit cardinality among all multipartitions associated to a given multiset depends only on the orbit cardinality of the multiset. Using abaci, this problem reduces to a convex optimisation problem over the integers with linear constraints. We solve it by proving an existence theorem for binary matrices with prescribed row, column and block sums. Finally, we give some applications to the representation theory of the Hecke algebra of the complex reflection group $G(r,p,n)$.