arXiv++ Combinatorics

Let $W$ be an irreducible complex reflection group with reflection representation $V$. A $W$-stable, faithful homogeneous system of parameters $Θ\subseteq \mathrm{Sym}(V^*)$ of common positive degree $p$ is called a posh hsop; $Θ$ carries a $W$-representation $U$ if $Θ\simeq U$ as ungraded $W$-modules. We classify the posh pairs $(p,U)$ for which a posh hsop of degree $p$ carrying $U$ exists. Every such $U$ is a Galois twist of $V^*$. Extending work of Ito and Okada, we deduce that the quotient $S/(Θ)$ is a permutation module for $W$ if and only if $U \simeq V^*$.

We count factorizations of Singer cycles as products of reflections in the families of special and general unitary and linear groups over a finite field. In the case of minimum-length factorizations, the resulting answer is a striking product formula resembling the count for minimum-length factorizations of Coxeter elements into reflections in complex reflections groups. Moreover, for minimum length, the answers for the unitary and linear groups exhibit the phenomenon of Ennola duality, where the number of factorizations in a unitary group over the field $\mathbb{F}_q$ is given by replacing `$q$' with `$-q$' in the corresponding answer for a linear group. We use the character theory of these groups to make this count, and in particular we employ the Deligne--Lusztig theory of characters for finite reductive groups.

Moustrou, Riener, and Verdure related the dominance order on partitions to Specht ideal and variety inclusion for $S_n$; we previously extended this to direct products of symmetric groups. Here we take a first step toward the imprimitive complex reflection group $G(r,1,n)=(\mathbb{Z}/r\mathbb{Z})\wr S_n$. The correct geometric invariant of a point $x\in K^n$ is a pair $(μ,z)$: a classical partition $μ$ on the $r$-th powers of the nonzero coordinates, together with the number $z$ of zero coordinates. We construct a $G(r,1,n)$-invariant ideal $I_{(μ,z)}$ for each such pair, and show that a dominance order on $(μ,z)$, with $z$ taking strict priority over $μ$, exactly characterizes both ideal inclusion and reverse variety inclusion. We settle a monomial criterion in three regimes, recover the classical $B_n$-Specht ideal theory at $r=2$ when $z=0$, and establish radicality of $I_{(μ,z)}$ at the two extremes of the $z=0$ level. Four computational examples, checked exhaustively for group invariance, illustrate the construction throughout.

We consider systems of homogeneous multivariate polynomials equivariant under the complex reflection group $G(r,n) = (\mathbb{Z}/r\mathbb{Z})^n \rtimes S_n$. Using divided differences indexed by partitions of $n$, we establish a decomposition formula expressing the resultant of such a system as a product of resultants of smaller, partition-indexed subsystems. Combining this with the classical resultant--discriminant relation, we show that the discriminant of a $G(r,n)$-invariant homogeneous polynomial splits explicitly into a product of resultants of smaller subsystems, considerably easier to compute; we illustrate both decompositions with worked examples.

We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.

Let $Ω$ be the superspace ring of regular differential forms on the affine space $\mathbb{C}^n$. If $G \subseteq GL_n(\mathbb{C})$ is a complex reflection group, the {\em $G$-superspace coinvariant ring} is the quotient $SR_G := Ω_n/SI_G$ where $SI_G \subseteq Ω$ is the ideal generated by $G$-invariants with vanishing constant term. We study this ring when $G = \mathbb{Z}_r \wr \mathfrak{S}_n$ is the group of $r$-colored permutation matrices. We prove a conjecture of Sagan and Swanson on a monomial basis for $SR_G$ and give an Operator Theorem description of its inverse system. We also give a combinatorial model for the ungraded and exterior-graded structure of $SR_G$ as a $G$-module.

We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=π_i^{-1}\circπ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $π_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $π_i\bigl(L(\mathcal A)\bigr)=\{π_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.

We study, characterize, and enumerate the admissible pinnacle sets of nonexceptional complex reflection groups $G(m,p,n)$, which include all generalized symmetric groups $\mathbb{Z}_m \wr S_n$ as special cases. This generalizes the work of Davis--Nelson--Petersen--Tenner for symmetric groups $S_n$ and González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for signed symmetric groups $\mathbb{Z}_2 \wr S_n$. As a consequence, we prove a conjecture of González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for pinnacles of signed permutations.

Let H1 be the complex reflection group of order 96. For the tensor products of faithful transitive permutation representations of H1, we determine the structures of the centralizer rings. This complements the work of Imamura-Kosuda-Oura.

We derive a Murnaghan-Nakayama rule for irreducible characters of the cyclotomic Hecke algebra on certain standard elements, which fully determine their values. This work builds upon our recent multi-parameter Murnaghan-Nakayama rule for Macdonald polynomials. Our Murnaghan-Nakayama rule can be readily specialized to retrieve various existing rules, including those for the complex reflection group of type $G(m, 1, n)$ and the Iwahori-Hecke algebra in types $A$ and $B$. In a dual picture, we establish an iterative formula for the irreducible characters on upper multipartitions, utilizing the vertex operator realization of Schur functions. As applications we derive an Regev-type formula and an Lübeck-Prasad-Adin-Roichman-type formula for the cyclotomic Hecke algebra, thereby extending the corresponding formulas for the Iwahori-Hecke algebra in type $A$ and the complex reflection group of type $G(m,1,n)$ to the setting of the cyclotomic Hecke algebra, respectively. Finally, we introduce the notion of the multiple bitrace of the cyclotomic Hecke algebra to formulate the second orthogonal relation of the irreducible characters. We also provide a general combinatorial rule to compute the multiple bitrace.

We construct a family of links we call torus necklaces for which the link groups are precisely the braid groups of generalised $J$-reflection groups. Moreover, this correspondence exhibits the meridians of the aforementioned link groups as braid reflections. In particular, this construction generalises to all irreducible rank two complex reflection groups a well-known correspondence between some rank two complex braid groups and some torus knot groups. In addition, as abstract groups, we show that the family of link groups associated to Seifert links coincides with the family of circular groups. This shows that every time a link group has a non-trivial center, it is a Garside group.

We answer an open problem of arXiv:1204.1760 and arXiv:1205.4293, extending their work to irreducible well--generated complex reflection groups $W$. We define a combinatorial $W$-noncrossing parking space and an algebraic $W$-parking space for such $W$, and exhibit a $(W \times C)$-equivariant isomorphism between the two. As a consequence of this isomorphism, we enumerate the $W$-noncrossing parking functions. Finally, we extend our results to the Fuss case. We prove the results for all such complex reflection groups except $G_{34}$, $E_7,$ and $E_8$.

We show that the braid group associated to the complex reflection group $G(d,d,n)$ is an index $d$ subgroup of the braid group of the orbifold quotient of the complex numbers by a cyclic group of order $d$. We also give a compatible presentation of $G(d,d,n)$ and its braid group for each tagged triangulation of the disk with $n$ marked points on its boundary and an interior marked point (interpreted as a cone point of degree $d$) in such a way that the presentations of Broué-Malle-Rouquier correspond to a special tagged triangulation.

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.

The Lusztig-Shoji algorithm is generalized to a complex reflection group $W$ and give us a version of the Springer correspondence of $W$. We show that the combinatorics of generalized Springer correspondences of dihedral groups of order $2n$ exhibit the Brauer-Humphreys type reciprocity as in the case of Weyl groups for odd $n$, and these constitute a major portion of the stratification of the natural module categories attached to them.

In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection groups, the reflection length is no longer always equal to the codimension of fixed space, and the two functions give rise to two different partial orders on the group. We characterize the elements $w$ in the combinatorial family $G(m, p, n)$ of complex reflection groups for which the intervals below $w$ in these two posets coincide. We also explore the relationship between this property and other natural properties of elements in complex reflection groups; some general theory of posets arising from subadditive functions on groups; and the particular case of subadditive functions on the symmetric group.

Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.

We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr S_n$. We define the addition of a runner full of beads for the abacus display of a multipartition and investigate some combinatorial properties of this operation. We focus our attention on the $q$-decomposition numbers, i.e. the polynomials arising from the Fock space representation of the quantum group $U_q(\widehat{\mathfrak{sl}}_e)$. Using Fayers' LLT-type algorithm for Ariki-Koike algebras, we relate $q$-decomposition numbers for different values of $e$ for the class of $e$-multiregular multipartitions, by adding a full runner of beads to each component of the abacus displays for the labelling multipartitions.