arXiv++ Combinatorics

Let $W$ be an affine Coxeter group of type $\widetilde{A}_n$, that is, the affine symmetric group $\widetilde{S}_N$ with $N=n+1$, let $T$ be its set of reflections, and let $\mathrm{Red}_T(w)$ be the set of reduced reflection factorizations of an element $w\in W$. The braid group acts on $\mathrm{Red}_T(w)$ by the Hurwitz action. For finite Coxeter groups it is known exactly when this action is transitive, namely precisely for the parabolic quasi-Coxeter elements. We address this problem for the affine type $\widetilde{A}_n$ by determining all orbits of $\mathrm{Red}_T(w)$.

Dyer (1991) proved that, for each fixed length $k$, only finitely many isomorphism types of Bruhat intervals occur in finite Coxeter groups. In this short paper, we prove that this result holds also for affine Coxeter groups, and moreover that this characterizes the affine groups among all infinite Coxeter groups. We also show that the coefficients of $q$ in the Kazhdan-Lusztig polynomials of a Coxeter group are bounded if and only if the group is finite or affine.

We introduce the annex of an element $x$ in a Coxeter group as the set of elements $y$ such that $x \nleq y$ with respect to Bruhat order. This notion provides a complementary perspective to the study of Bruhat intervals and their interpretation via folded galleries. We establish general properties of annexes and show that in affine Coxeter groups the annex of any fixed element is finite. In rank-two affine Coxeter complexes, we further describe the geometric structure of annex boundaries using descent sets and configurations of parallel reflections. These results offer a new geometric viewpoint on the structure of the Bruhat order.

In this article, we study two combinatorial problems concerning the set of reflections of a Coxeter system. The first problem asks whether the language of palindromic reduced words for reflections is regular, and the second is about finding formulas for the Poincaré series of reflections, namely the generating function of reflection lengths. These two problems were inspired by a conjecture of Stembridge stating that the Poincaré series of reflections is rational and by the solution provided by de Man. To address the first problem, we introduce reflection-prefixes, arising naturally from palindromic reduced words. We study their connections with the root poset, dominance order on roots, and dihedral reflection subgroups. Using $m$-canonical automata associated with $m$-Shi arrangements, we prove that the language of reduced words for reflection-prefixes is regular. For the second problem, we focus on affine Coxeter groups. In this case, we derive a simple formula for the Poincaré series using symmetries of the Hasse diagram of the root poset.

In 2011, Barot and Marsh provided an explicit construction of presentation of a finite Weyl group $W$ by any quiver mutation-equivalent to an orientation of a Dynkin diagram with Weyl group $W$. The construction was extended by the authors of the present paper to obtain presentations for all affine Coxeter groups, as well as to construct groups from triangulations of unpunctured surfaces and orbifolds, where the groups are invariant under change of triangulation and thus are presented as quotients of numerous distinct Coxeter groups. We extend the construction to include most punctured surfaces and orbifolds, providing a new invariant for almost all marked surfaces.

We develop new and precise geometric descriptions of the conjugacy class $[x]$ and coconjugation set $\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \}$ for all elements $x,x'$ of any affine Coxeter group $\overline{W}$. The centralizer of $x$ in $\overline{W}$ is the special case $\operatorname{C}(x,x)$. The key structure in our description of the conjugacy class $[x]$ is the mod-set ${Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee$, where~$w$ is the finite part of $x$ and $R^\vee$ is the coroot lattice. The coconjugation set $\operatorname{C}(x,x')$ is then described by ${Mod}_{\overline{W}}(w')$ together with the fix-set of $w'$, where $w'$ is the finite part of $x'$. For any element $w$ of the associated finite Weyl group $W$, the mod-set of $w$ is contained in the classical move-set ${Mov}(w) = \operatorname{Im}(w - \operatorname{I})$. We prove that the rank of ${Mod}_{\overline{W}}(w)$ equals the dimension of ${Mov}(w)$, and then further investigate type-by-type the surprisingly subtle structure of the $\mathbb{Z}$-module ${Mod}_\overline{W}(w)$. As corollaries, we determine exactly when ${Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee$, in which case our closed-form descriptions of conjugacy classes and coconjugation sets are as simple as possible.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

For affine Coxeter groups of affine types $\tilde D$ and $\tilde B$, we model the interval $[1,c]_T$ in the absolute order by symmetric noncrossing partitions of an annulus with one or two double points. In type $\tilde B$ (and \emph{almost} in type $\tilde D$), the diagrams also model the larger lattice defined by McCammond and Sulway.

This note is a complement of a recent paper about low elements in affine Coxeter groups. We explain in terms of ad-nilpotent ideals of a Borel subalgebra why the minimal elements of dominant Shi regions are low. We also give a survey of the bijections involved in the study of dominant Shi regions in affine Weyl groups.

We study the conjugacy class growth function in finitely generated virtually abelian groups. That is, the number of elements in the ball of radius $n$ in the Cayley graph which intersect a fixed conjugacy class. In the class of virtually abelian groups, we prove that this function is always asymptotically equivalent to a polynomial. Furthermore, we show that in any affine Coxeter group, the degree of polynomial growth of a conjugacy class is equivalent to the reflection length of any element of that class.

Consider an affine Coxeter group $W$ acting by isometries on the Euclidean space $\mathbb{R}^n$, and the arrangement of its reflection hyperplanes. The fundamental group of the complement $Y_W$ of the complexification of this arrangement in $\mathbb{C}^n$ mod out by $W$ is the affine Artin group $G_W$ associated with $W$. The $K(π,1)$ conjecture states that $Y_W$ is a classifying space for $G_W$. It has been recently proved by Paolini and Salvetti building on the works of McCammond and Sulway. We will present some ingredients of the proof that rests on the study of dual Garside structures for affine Artin groups, the factorisations of Euclidean isometries, and the shellability of noncrossing partitions. One consequence is that affine Artin groups, as well as braided crystallographic groups, have a finite classifying space.

We find a simple product formula for the characteristic polynomial of the permutations with a fixed descent set under the weak order. As a corollary we obtain a simple product formula for the characteristic polynomial of alternating permutations. We generalize these results to Coxeter groups. We also find a formula for the generating function for the characteristic polynomials of classical Coxeter groups, which is then related to affine Coxeter groups.

Given an affine Coxeter group $W$, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan-Lusztig cells for $W$. In particular, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$. Low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in $W$. In this article, we show in the case of an affine Coxeter group that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a byproduct of our proof, we show that the descent-walls -- the walls that separate a region from the fundamental alcove -- of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.

We investigate the so-called dual Matsumoto property or Hurwitz action in finite, affine and arbitrary Coxeter groups. In particular, we want to investigate how to reduce reflection factorizations and how two reflection factorizations of the same element are related to each other. We are motivated by the dual approach to Coxeter groups proposed by Bessis and the question whether there is an anlogue of the well known Matsumoto property for reflection factorizations. Our aim is a substantial understanding of the Hurwitz action. We therefore reprove uniformly results of Lewis and Reiner as well as Baumeister, Gobet, Roberts and the first author on the Hurwitz in finite Coxeter groups. Further we show that in an arbitrary Coxeter group all reduced reflection factorizations of the same element appear in the same Hurwitz orbit after a suitable extension by simple reflections. As parabolic quasi-Coxeter elements play an outstanding role in the study of the Hurwitz action, we aim to characterize these elements. We give characterizations of maximal parabolic quasi-Coxeter elements in arbitrary Coxeter groups as well as a characterization of all parabolic quasi-Coxeter elements in affine Coxeter groups.

In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique minimal length element. We further develop the theory of cone types in Coxeter groups by identifying the minimal set of roots required to express a cone type as an intersection of half-spaces. This set of \textit{boundary roots} is closely related to the elementary inversion sets of Brink and Howlett, and also to the notion of the base of an inversion set introduced by Dyer.

We show that for a parabolic quasi-Coxeter element in an affine Coxeter group the Hurwitz action on its set of reduced factorizations into a product of reflections is transitive. We call an element of the Coxeter group parabolic quasi-Coxeter element if it has a reduced factorization into a product of reflections that generate a parabolic subgroup.

In any Coxeter group, the conjugates of elements in its Coxeter generating set are called reflections and the reflection length of an element is its length with respect to this expanded generating set. In this article we give a simple formula that computes the reflection length of any element in any affine Coxeter group and we provide a simple uniform proof.

We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.

An element w of a Coxeter group W is said to be fully commutative, if any reduced expression of w can be obtained from any other by transposing adjacent pairs of generators. These elements were described in 1996 by Stembridge in the case of finite irreducible groups, and more recently by Biagioli, Jouhet and Nadeau (BJN) in the affine cases. We focus here on the length enumeration of these elements. Using a recursive description, BJN established for the associated generating functions systems of non-linear q-equations. Here, we show that an alternative recursive description leads to explicit expressions for these generating functions.

In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low elements in Coxeter groups. Comptes Rendus Mathematique, 353:403-408., 2015.) in which the present article was referred to under the following working title: Monotonicity of dominance-depth on root systems and applications. The proof is based on a fundamental property enjoyed by small roots and which is our second main result; the set of small root is bipodal. For a natural number n, we define similarly n-low elements from n-small roots and conjecture that the set of n-small roots is bipodal, implying the set of n-low elements is a Garside shadow; we prove this conjecture for affine Coxeter groups and Coxeter groups whose graph is labelled by 3 and infinity. To prove the latter, we extend the root poset on positive roots to a weak order on the root system and define a Bruhat order on the root system, and study the paths in those orders in order to establish a criterion to prove bipodality involving only finite dihedral reflection subgroups.