arXiv++ Combinatorics

A folklore result says that any parabolic double coset $W_{I} w W_{J}$ in a Coxeter group $W$ is an interval of the Bruhat order, provided that $W_{I}$ and $W_{J}$ are finite. We include a self-contained proof, without assuming that $W$ is finite. Furthermore, we prove that each "triple coset" $W_{I} u W_{J} v W_{K}$ has a Bruhat minimum and -- if $W_{I}, W_{J}, W_{K}$ are finite -- a Bruhat maximum, but (in general) is not a Bruhat interval. This proves and extends a conjecture on MathOverflow #472072.

We prove the curious fact that, in any Coxeter group, the intersection of a principal left weak order ideal $[e,x]_L$ with a principal right weak order ideal $[e,y]_R$ has a unique maximal element $\mathrm{lr}(x,y)$ under Bruhat order. We apply this to resolve a conjecture of Hart and Rowley on involutions in weak order ideals. This fact arises from, and is applied to, our study of the theory of separable elements in finite Weyl groups. We use it to prove that for $U=[e,u]_R$ in a Coxeter group $W$, the multiplication map $W/U\times U\rightarrow W$ is surjective, where $W/U$ is the Björner-Wachs generalized quotient. This resolves and generalizes a conjecture of the authors. For finite Weyl groups, we further prove that this map is bijective if and only if $u$ is separable, thereby classifying the splittings of finite Weyl groups into weak order intervals, and resolving the natural extension of a question of Björner-Wachs.

For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.

Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $Γ$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_Γ$: such a group $Λ$ is graphically discrete if and only if $Γ$ is nonflexible, meaning that no nontrivial graph automorphism of $Γ$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.

We study the combinatorics of the intervals below quasi-Coxeter elements in the absolute order of finite Coxeter groups. In particular, we prove that these intervals are EL-shellable, except possibly for quasi-Coxeter elements of types $E_7$ and $E_8$, and we compute their zeta polynomials. We also show that a total order of the reflections yields an EL-labeling if it does so on all rank-two subintervals, which proves a conjecture of Williams for Coxeter elements. In order to obtain these results, we prove them for the infinite families, and we treat the exceptional types by computer. In addition, we study the related interval monoids, and we find a counterexample to cancellativity for every proper quasi-Coxeter element of type $D_n$ ($n\ge5$), $E_6$, $E_7$, $E_8$; in particular, these monoids do not embed in the corresponding interval groups. This gives a negative answer to a question posed by Baumeister, Holt, Neaime, and Rees.

The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space. We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.

Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.

Dyer conjectured that the join of two biclosed sets of positive roots can be described by increasing Bruhat paths whose reflection labels belong to their union. We give a type-uniform proof of this conjecture for all finite Coxeter groups. More generally, for a $2$-coclosed set $C$ of positive roots contained in an inversion set, we show that its $2$-closure is an inversion set $I(w)$ and that the elements reachable from the identity using reflections labeled by roots in $C$ form exactly the set $[e,w]_B w^{-1}$. The proof combines Dyer's closure criteria with a root-selection argument.

We introduce Lehmer codes for several finite Coxeter groups, including all classical Weyl groups. These codes correspond to embed products of chains in the Bruhat order, which allow us to associate to each lower Bruhat interval of these groups a multicomplex whose $f$-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are $h$-polynomials of vertex-decomposable simplicial complexes, which we call Lehmer complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.

A conjecture of Lewis asserts that two reflection factorizations of the same element in a finite Coxeter group $W$ belong to the same Hurwitz orbit if and only if they generate the same subgroup $H$ of $W$ and have the same multiset of $H$-conjugacy classes. We prove this conjecture for every finite Coxeter group all of whose irreducible components are of type $A$, $B$ or $D$. Furthermore we prove a reduction, which reduces the conjecture to a finite problem for the exceptional types.

Let $n$ be a positive integer. A translation-invariant total order (TITO) with period $n$ is a total order of the integers that is invariant under translations by multiples of $n$. These structures arise naturally in the study of Coxeter groups. In particular, real $n$-TITOs are in bijection with biclosed sets of positive roots of the affine symmetric group $\widetilde S_n$. Barkley and Defant recently introduced pattern avoidance for TITOs and used it to define the affine Tamari lattice. The enumeration of TITOs avoiding a single pattern of length $3$ is due to Crites and Barkley--Defant. We extend this work to TITOs avoiding two patterns. Our main results include a complete enumeration of TITOs that avoid a pair of patterns in $S_3\times S_3$, as well as of TITOs that avoid a pair $(p, q)$ with $p \in S_3 \setminus \{123, 321\}$ and $q \in S_4$. Furthermore, we provide an explicit construction of the inverse of the bijection between $312$-avoiding TITOs and noncrossing arc diagrams, thereby extending the combinatorial framework introduced by Barkley.

It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite. Some proofs were developed in collaboration with Claude Opus 5.

We show that for $n \geq 6$ each element of the commutator subgroup in the symmetric group $\mathfrak{S}_n$ resp. in the signed symmetric group $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is the commutator of two $n$-cycles resp. the commutator of two $n$-cycles with a negative sign product; with one exception. If $n \equiv 2$ $\mathrm{mod}~4$, the element $-\mathrm{id}$ of $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is not such a commutator. In the language of Coxeter groups, this yields a description of commutators of Coxeter elements in types $A$ and $B$.

In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, we establish the Combinatorial Invariance Conjecture for all intervals up to length 10 in Weyl groups and up to length 12 in type $A$ Weyl groups.

Quasiparabolic sets extend parabolic coset spaces while retaining a length filtration and natural Hecke algebra deformations. Gelfand models built from induced linear characters ask when such spaces can account for every irreducible representation exactly once. We classify, up to equality of the individual induced characters, all quasiparabolic Gelfand models for finite irreducible Coxeter groups with inducing characters restricted from their ambient parabolic subgroups, including the additional models of type \(D_{4r+2}\) and \(B_3\). We derive the associated finite Gelfand-pair and commutant consequences, construct canonical Hecke structures for the additional classical models.

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

We show that every finite premaniplex of rank $3$ or $4$ is the symmetry type graph of a finite maniplex, settling the finite rank $3$ and $4$ case of the maniplex version of the symmetry type graph problem. The proof uses the fact that the universal string Coxeter groups of rank $3$ and $4$ are amalgams (of finite groups), hence they act on a tree, which allows us to use a lifting theorem of Potočnik and Spiga.

Every cluster variety admits an action of its cluster dilation group. We prove that, in the case of braid varieties for simple Lie groups, this action always extends to a regular action on each of the brick compactifications. We explore two applications of this result. First, we show that any closed Richardson variety admits a faithful action of a torus of rank the Kazhdan-Lusztig $d$-invariant, answering affirmatively a recent question of E. Gorsky--S. Kim--M. Sherman-Bennett. The same result holds for projected Richardson varieties. Second, we show that the braid variety is a torus if and only if for each of its brick compactifications, the polar dual of the moment polytope for this action realizes the corresponding subword complex. The braid words satisfying this property turn out to be precisely the double root free words of V. Pilaud and C. Stump. This provides a novel approach to the longstanding open question of the polytopality of spherical subword complexes asked by A. Knutson and E. Miller, and in particular gives infinite families of subword complexes admitting polytopal realizations in dimension higher than the rank of the corresponding Coxeter group. As a common consequence of these two applications, we classify all Bruhat intervals in finite crystallographic Coxeter groups which are isomorphic to face lattices of convex polytopes via certain double root free words.

Let $(W,S)$ be a Coxeter system and let $J\subseteq S$. The right $J$-ascent set $$ A_R^J(w)=\{s\in S\mid ws\in{}^JW,\ \ell(ws)=\ell(w)+1\} $$ is a natural refinement of the classical ascent set adapted to the parabolic quotient ${}^JW$. We establish a local transition formula describing the behaviour of $J$-ascent sets under right multiplication by a simple reflection. As a consequence, for every $w\in{}^JW$ and every $s\in A_R^J(w)$, we prove that $$ \Bigl||A_R^J(w)|-|A_R^J(ws)|\Bigr| \leq \max\{1,\text{deg}(s)-1\}. $$

For a Coxeter system $(W,S)$ of finite rank and an involutive automorphism $\ast:W\to W$ which preserves $S$, we prove that the length-generating function $\sum_{z\in\mathbf{I}_{W,\ast}}q^{\ell(z)}$ of the set of $\ast$-twisted involutions is rational. We derive recurrence relations analogous to the well-known recurrence relations expressing the growth series $W(q):=\sum_{w\in W}q^{\ell(w)}$ in terms of the growth series $W_I(q)$ of the parabolic subgroups of $W$. Our result extends to any subset $\mathcal{C}$ of $\ast$-twisted involutions that is closed under $\ast$-twisted conjugation. We use these recurrence relations to give an alternative proof of a power-series identity for twisted involutions due to Lusztig.