arXiv++ Combinatorics

The sorting indices $\text{sor}_B$ and $\text{sor}_D$ on the Coxeter groups of type $B$ and $D$ respectively are defined by Petersen and it is proved that $(\text{inv}_B, \text{rlmin})$ and $(\text{sor}_B, \ell'_B)$ have the same joint distribution for type $B$ while $\text{inv}_D$ and $\text{sor}_D$ have the same distribution for type $D$. These results, including a set-valued extension of type $B$ involving two equildistributed pairs of three statistics, are proved combinatorially by Chen et al. via two mappings $\varphi:=\text{(B-code)}^{-1}\circ \text{(A-code)}$ and $ψ:=\text{(D-code)}^{-1}\circ \text{(C-code)}$. In this paper we further extend these results. In type $B$ we prove a set-valued joint equildistribution between a pair of seven statistics, and find a five-variable generating function. In type $D$ we define new set-valued statistics, among them $\text{Cyc}^+_D$ and $\text{Cyc}^-_D$, and firstly find a set-valued joint equidistribution between a pair of five statistics and find a four-variable generating function.

Every Coxeter group admits a geometric representation as a group generated by reflections in a real vector space. In the projective representation space, limit directions are limits of injective sequences in the orbit of some base point. Limit roots are limit directions that can be obtained starting from simple roots. In this article, we study the limit directions arising from any point when the representation space is a Lorentz space. In particular, we characterize the light-like limit directions using eigenvectors of infinite-order elements. This provides a spectral perspective on limit roots, allowing for efficient computations. Moreover, we describe the space-like limit directions in terms of the projective Coxeter arrangement.

An element of a Coxeter group W is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. An element of a Coxeter group W is cyclically fully commutative if any of its cyclic shifts remains fully commutative. These elements were studied in Boothby et al.. In particular the authors enumerated cyclically fully commutative elements in all Coxeter groups having a finite number of them. In this work we characterize and enumerate cyclically fully commutative elements according to their Coxeter length in all finite or affine Coxeter groups by using a new operation on heaps, the cylindric transformation. In finite types, this refines the work of Boothby et al., by adding a new parameter. In affine type, all the results are new. In particular, we prove that there is a finite number of cyclically fully commutative logarithmic elements in all affine Coxeter groups. We study afterwards the cyclically fully commutative involutions and prove that their number is finite in all Coxeter groups.

In this note, we provide a short and self-contained proof that the braid group on n strands acts transitively on the set of reduced factorizations of a Coxeter element in a Coxeter group of finite rank n into products of reflections. We moreover use the same argument to also show that all factorizations of an element in a parabolic subgroup of W lie as well in this parabolic subgroup.

An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. These elements were extensively studied by Stembridge, in particular in the finite case. They index naturally a basis of the generalized Temperley--Lieb algebra. In this work we deal with any finite or affine Coxeter group $W$, and we give explicit descriptions of fully commutative elements. Using our characterizations we then enumerate these elements according to their Coxeter length, and find in particular that the corrresponding growth sequence is ultimately periodic in each type. When the sequence is infinite, this implies that the associated Temperley--Lieb algebra has linear growth.

We develop a general theory of Markov chains realizable as random walks on $\mathscr R$-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Möbius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss several examples, such as Toom-Tsetlin models, an exchange walk for finite Coxeter groups, as well as examples previously studied by the authors, such as nonabelian sandpile models and the promotion Markov chain on posets. Many of these examples can be viewed as random walks on quotients of free tree monoids, a new class of monoids whose combinatorics we develop.

In this paper, we decompose the set of fully commutative elements into natural subsets when the Coxeter group is of type $D_n$, and study the combinatorics of these subsets, revealing hidden structures. (We do not consider type $A_n$ first, since a similar decomposition for type $A_n$ is trivial.) As an application, we classify and enumerate the homogeneous representations of the Khovanov-Lauda-Rouquier algebras of type $D_n$.

We study two families of polynomials that play the same role, in the generalized Temperley Lieb algebra of a Coxeter group, as the Kazhdan Lusztig and R polynomials in the Hecke algebra of the group. Our results include recursions, closed formulas, and other combinatorial properties for these polynomials. We focus mainly on non branching Coxeter graphs.

We show that an element $w$ of a finite Weyl group $W$ is rationally smooth if and only if the hyperplane arrangement $I$ associated to the inversion set of $w$ is inductively free, and the product $(d_1+1) \cdots (d_l+1)$ of the coexponents $d_1,\ldots,d_l$ is equal to the size of the Bruhat interval $[e,w]$, where $e$ is the identity in $W$. As part of the proof, we describe exactly when a rationally smooth element in a finite Weyl group has a chain Billey-Postnikov decomposition. For finite Coxeter groups, we show that chain Billey-Postnikov decompositions are connected with certain modular coatoms of $I$.

For right-angled Coxeter groups $W_Γ$, we obtain a condition on $Γ$ that is necessary and sufficient to ensure that $W_Γ$ is thick and thus not relatively hyperbolic. We show that Coxeter groups which are not thick all admit canonical minimal relatively hyperbolic structures; further, we show that in such a structure, the peripheral subgroups are both parabolic (in the Coxeter group-theoretic sense) and strongly algebraically thick. We exhibit a polynomial-time algorithm that decides whether a right-angled Coxeter group is thick or relatively hyperbolic. We analyze random graphs in the Erdós-Rényi model and establish the asymptotic probability that a random right-angled Coxeter group is thick. In the joint appendix we study Coxeter groups in full generality and there we also obtain a dichotomy whereby any such group is either strongly algebraically thick or admits a minimal relatively hyperbolic structure. In this study, we also introduce a notion we call \emph{intrinsic horosphericity} which provides a dynamical obstruction to relative hyperbolicity which generalizes thickness.

The $γ$-Cambrian semilattices $\mathcal{C}_γ$ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, and they are lattices if and only if $W$ is finite. In the case where $W$ is the symmetric group $\mathfrak{S}_{n}$ and $γ$ is the long cycle $(1\;2\;\ldots\;n)$ the corresponding $γ$-Cambrian lattice is isomorphic to the well-known Tamari lattice $\mathcal{T}_{n}$. Recently, Kallipoliti and the author have investigated $\mathcal{C}_γ$ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that $\mathcal{C}_γ$ is semidistributive. First we prove that every closed interval of $\mathcal{C}_γ$ is a bounded-homomorphic image of a free lattice (in fact it is a so-called $\mathcal{H\!H}$-lattice). Subsequently we prove that each closed interval of $\mathcal{C}_γ$ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.

The Chen groups of a group $G$ are the lower central series quotients of the maximal metabelian quotient of $G$. Under certain conditions, we relate the ranks of the Chen groups to the first resonance variety of $G$, a jump locus for the cohomology of $G$. In the case where $G$ is the fundamental group of the complement of a complex hyperplane arrangement, our results positively resolve Suciu's Chen ranks conjecture. We obtain explicit formulas for the Chen ranks of a number of groups of broad interest, including pure Artin groups associated to Coxeter groups, and the group of basis-conjugating automorphisms of a finitely generated free group.

We derive some new signed Mahonian polynomials over the complex reflection group $G(r,1,n)=C_r\wr\mathfrak{S}_n$, where the "sign" is taken to be any of the $2r$ $1$-dim characters and the "Mahonian" statistics are the $\mathsf{lmaj}$ defined by Bagno and the $\mathsf{sor}$ defined by Eu et al. Various new signed Mahonian polynomials over Coxeter groups of types $B_n$ and $D_n$ are derived as well. We also investigate the signed counting polynomials on $G(r,1,n)$ for those statistics with the distribution $[r]_q[2r]_q\cdots [nr]_q$.

For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, ρ), where Q is a word in the alphabet of simple reflections, ρis a group element. We describe the transformations of such a complex induced by nil-moves and inverse operations on Q in the nil-Hecke monoid corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope. For W simply-laced, these descriptions and results of \cite{Go} provide an algorithm for the construction of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence of elementary moves reducing the word Q to its Demazure product δ(Q). The former complex is spherical if and only if the latter one is the (-1)-sphere.

In the recent study of infinite root systems, fractal patterns of ball packings were observed while visualizing roots in affine space. In this paper, we show that the observed fractals are exactly the ball packings described by Boyd and Maxwell. This correspondence is a corollary of a more fundamental result: Given a geometric representation of a Coxeter group in a Lorentz space, the set of limit directions of weights equals the set of limit roots. Additionally, we use Coxeter complexes to describe tangency graphs of the corresponding Boyd--Maxwell ball packings. Finally, we enumerate all the Coxeter systems that generate Boyd-Maxwell ball packings.

Structures of symmetries of transformations for Holman-Biedenharn-Louck $A_n$ hypergeometric series: $A_n$ terminating balanced ${}_4 F_3$ series and $A_n$ elliptic ${}_{10} E_9$ series are discussed. Namely the description of the invariance groups and the classification all of possible transformations for each types of $A_n$ hypergeometric series are given. Among them, a "periodic" affine Coxeter group which seems to be new in the literature arises as an invariance group for a class of $A_n$ ${}_4 F_3$ series.

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{\tilde{D}_n}$, $\mathcal E_{\tilde{E}_6}$, and $\mathcal E_{\tilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.

We present a categorification of the non-crossing partitions given by crystallographic Coxeter groups. This involves a category of certain bilinear lattices, which are essentially determined by a symmetrisable generalised Cartan matrix together with a particular choice of a Coxeter element. Examples arise from Grothendieck groups of hereditary artin algebras.

We consider two families of polynomials that play the same role in the Temperley Lieb algebra of a Coxeter group as the Kazhdan Lusztig and R polynomials play in the Hecke algebra of the group. We study these polynomials from a combinatorial point of view. More precisely we obtain recursions, non recursive formulas, symmetry properties, and expressions for the constant terms, of these polynomials.

For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.