arXiv++ Combinatorics

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.

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.

Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$. Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.

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 derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.

The cyclic sieving phenomenon was introduced by Reiner, Stanton and White in 2004 as a generalization of Stembridge's $q=-1$ phenomenon. In a paper from 2008, Eu and Fu studied many occurrences of this phenomenon on the faces of the generalized cluster complex with the action of the Fomin-Reading rotation in the classical types $A_n$, $B_n$, $D_n$ and $I_2(k)$. There was yet no known uniform $q$-analogue of the $k$-face numbers of these complexes. In a more recent paper from 2023, Douvropoulos and Josuat-Vergès provided a refinement of the enumeration of the faces of the generalized cluster complex using a uniform formula. For a parabolic subgroup $W_X \subset W$ of the associated Coxeter group $W$, their formula factorises nicely under the assumption that $N_W(W_X)/W_X$ acts as a reflection group on $X$, which is very often the case. Using this condition, we provide a uniform refinement of these cyclic sieving phenomena using a $q$-analogue of their main formula with a type by type proof based on the classification of finite irreducible Coxeter groups.

We provide simple presentations in terms of generators and relations for the invariant subring of both the Orlik--Solomon algebra and Varchenko--Gel'fand ring of the type $A_n$ reflection arrangement acted upon by the type $A_{n-1}$ reflection group. This may be interpreted as a presentation for the cohomology of the ``mixed configuration space" of $n$ red points and one blue point. We provide increasingly refined descriptions of the invariant ring starting with the total dimension and ending with the simple presentation in terms of generators and relations.

In the study of walks with small steps confined to multidimensional orthants, a certain group of transformations plays a central role. In particular, several techniques to potentially compute the generating function, including the orbit sum method, can only be applied when this group is finite. In this note, we present three new results concerning this group. First, in two dimensions, we provide a complete characterization of the weight parameters that yield a finite group. In higher dimensions, we show that whenever the group is finite, it must necessarily be isomorphic to a simpler reflection group. Finally, in dimension three, we give a full classification of the parameters leading to a finite group that also satisfies an additional Weyl property.

The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, Röhrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted $A_3$ arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.

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.

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.

We study the space of multilinear invariants \( V_f \) of degree \( f \) for a specified finite unitary reflection group. A subspace \( W_f \) of typical invariants is also introduced. We note that the dimension of \( W_f \) is given by Catalan number. We explore both spaces for \( f \leq 5 \), noting that their dimensions differ based on the value of \( f \). We explicitly determine the bases for both spaces, and then we establish the relationship between the vectors of the two bases.

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.

Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.

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 consider (random) walks in a multidimensional orthant. Using the idea of universality in probability theory, one can associate a unique polyhedral domain to any given walk model. We use this connection to prove two sets of new results. First, we are interested in a group of transformations naturally associated with any small step model; as it turns out, this group is central to the classification of walk models. We show a strong connection between this group and the reflection group through the walls of the polyhedral domain. As a consequence, we can derive various conditions for the combinatorial group to be infinite. Secondly, we consider the asymptotics of the number of excursions, whose critical exponent is known to be computable in terms of the eigenvalue of the above polyhedral domain. We prove new results from spectral theory on the eigenvalues of polyhedral nodal domains. We believe that these results are interesting in their own right; they can also be used to find new exact asymptotic results for walk models corresponding to these nodal polyhedral domains.

A fundamental alcove $\mathcal{A}$ is a tile in a paving of a vector space $V$ by an affine reflection group $W_{\mathrm{aff}}$. Its geometry encodes essential features of $W_{\mathrm{aff}}$, such as its affine Dynkin diagram $\widetilde{D}$ and fundamental group $Ω$. In this article we investigate its full isometry group $\mathrm{Aut}(\mathcal{A})$. It is well known that the isometry group of a regular polyhedron is generated by hyperplane reflections on its faces. Being a simplex, an alcove $\mathcal{A}$ is the simplest of polyhedra, nevertheless it is seldom a regular one. In our first main result we show that $\mathrm{Aut}(\mathcal{A})$ is isomorphic to $\mathrm{Aut}(\widetilde{D})$. Building on this connection, we establish that $\mathrm{Aut}(\mathcal{A})$ is an abstract Coxeter group, with generators given by affine isometric involutions of the ambient space. Although these involutions are seldom reflections, our second main result leverages them to construct, by slicing the Komrakov--Premet fundamental polytope $\mathcal{K}$ for the action of $Ω$, a family of fundamental polytopes for the action of $\mathrm{Aut}(\mathcal{A})$ on $\mathcal{A}$, whose vertices are contained in the vertices of $\mathcal{K}$ and whose faces are parametrized by the so-called balanced minuscule roots, which we introduce here. In an appendix, we discuss some related negative results on stratified centralizers and equivariant triangulations.