In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.
In this article, we investigate the set of $γ$-sortable elements, associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, under Bruhat order, and we denote this poset by $\mathcal{B}_γ$. We show that this poset belongs to the class of SB-lattices recently introduced by Hersh and Mészáros, by proving a more general statement, namely that all join-distributive lattices are SB-lattices. The observation that $\mathcal{B}_γ$ is join-distributive is due to Armstrong. Subsequently, we investigate for which finite Coxeter groups $W$ and which Coxeter elements $γ\in W$ the lattice $\mathcal…
In Artin-Tits groups attached to Coxeter groups of spherical type, we give a combinatorial formula to express the simple elements of the dual braid monoids in the classical Artin generators. Every simple dual braid is obtained by lifting an $S$-reduced expression of its image in the Coxeter group, in a way which involves Reading's $c$-sortable elements. It has as an immediate consequence that simple dual braids are Mikado braids (the known proofs of this result either require topological realizations of the Artin groups or categorification techniques), and hence that their images in the Iwahor…
Let $W$ be an irreducible Coxeter group. We define the Coxeter pop-stack-sorting operator $\mathsf{Pop}:W\to W$ to be the map that fixes the identity element and sends each nonidentity element $w$ to the meet of the elements covered by $w$ in the right weak order. When $W$ is the symmetric group $S_n$, $\mathsf{Pop}$ coincides with the pop-stack-sorting map. Generalizing a theorem about the pop-stack-sorting map due to Ungar, we prove that \[\sup\limits_{w\in W}\left|O_{\mathsf{Pop}}(w)\right|=h,\] where $h$ is the Coxeter number of $W$ (with $h=\infty$ if $W$ is infinite) and $O_f(w)$ denotes…
In this expository note, I showcase the relevance of Coxeter groups to quiver representations. I discuss (1) real and imaginary roots, (2) reflection functors, and (3) torsion free classes and c-sortable elements. The first two topics are classical, while the third is a more recent development. I show that torsion free classes in rep Q containing finitely many indecomposables correspond bijectively to c-sortable elements in the corresponding Weyl group. This was first established in Dynkin type by Ingalls and Thomas; it was shown in general by Amiot, Iyama, Reiten, and Todorov. The proof in th…
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we…
Given an essential semilattice congruence $\equiv$ on the left weak order of a Coxeter group $W$, we define the Coxeter stack-sorting operator ${\bf S}_\equiv:W\to W$ by ${\bf S}_\equiv(w)=w\left(π_\downarrow^\equiv(w)\right)^{-1}$, where $π_\downarrow^\equiv(w)$ is the unique minimal element of the congruence class of $\equiv$ containing $w$. When $\equiv$ is the sylvester congruence on the symmetric group $S_n$, the operator ${\bf S}_\equiv$ is West's stack-sorting map. When $\equiv$ is the descent congruence on $S_n$, the operator ${\bf S}_\equiv$ is the pop-stack-sorting map. We establish …
Let W be an infinite irreducible Coxeter group with (s_1, ..., s_n) the simple generators. We give a simple proof that the word s_1 s_2 ... s_n s_1 s_2 >... s_n ... s_1 s_2 ... s_n is reduced for any number of repetitions of s_1 s_2 >... s_n. This result was proved for simply-laced, crystallographic groups by Kleiner and Pelley using methods from the theory of quiver representations. Our proof only using basic facts about Coxeter groups and the geometry of root systems.
Consider a graph with vertex set S. A word in the alphabet S has the intervening neighbours property if any two occurrences of the same letter are separated by all its graph neighbours. For a Coxeter graph, words represent group elements. Speyer recently proved that words with the intervening neighbours property are irreducible if the group is infinite and irreducible. We present a new and shorter proof using the root automaton for recognition of irreducible words.
The PLR-moves of neo-Riemannian theory, when considered as reflections on the edges of an equilateral triangle, define the Coxeter group $\widetilde S_3$. The elements are in a natural one-to-one correspondence with the triangles in the infinite Tonnetz. The left action of $\widetilde S_3$ on the Tonnetz gives rise to interesting chord sequences. We compare the system of transformations in $\widetilde S_3$ with the system of Schritte and Wechsel introduced by Hugo Riemann in 1880. Finally, we consider the point reflection group as it captures well the transition from Riemann's infinite Tonnetz…
An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras, combinatorics, mathematical physics, and representation theory. We show that, by means of so-called Conway-Coxeter counting, every $SL_2$-tiling arises from a triangulation of the disc with two, three or four accumulation points. This improves earlier results which only discovered $SL_2$-tilings with infinitely many entries equal to 1. Indeed, our methods show that…
Quivers constructed from hyperbolic Coxeter simplices give examples of minimal mutation-infinite quivers, however they are not the only such quivers. We classify minimal mutation-infinite quivers through a number of moves and link the representatives of the classes with the hyperbolic Coxeter simplices, plus exceptional classes which are not related to simplices.
Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the ref…
In this article, we investigate the existence of joins in the weak order of an infinite Coxeter group W. We give a geometric characterization of the existence of a join for a subset X in W in terms of the inversion sets of its elements and their position relative to the imaginary cone. Finally, we discuss inversion sets of infinite reduced words and the notions of biconvex and biclosed sets of positive roots.
We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type Coxeter groups have only finitely many rationally smooth elements. Explicit enumerations and descriptions of these elements are given in special cases.
By the results of Cannon, Wagreich and Parry, it is known that the growth rate of a cocompact Coxeter group in 2-dimensional hyperbolic space $H^2$ and 3-dimensional hyperbolic space $H^3$ is a Salem number. Kerada defined a j-Salem number, which is a generalization of a Salem number. In this paper, we realize infinitely many 2-Salem numbers as the growth rates of cocompact Coxeter groups in 4-dimensional hyperbolic space $H ^4$. Our Coxeter polytopes are constructed by successive gluing of Coxeter polytopes which we call Coxeter dominoes.
Let (W,S) be an infinite Coxeter system. To each geometric representation of W is associated a root system. While a root system lives in the positive side of the isotropy cone of its associated bilinear form, an imaginary cone lives in the negative side of the isotropic cone. Precisely on the isotropic cone, between root systems and imaginary cones, lives the set E of limit points of the directions of roots (see arXiv:1112.5415). In this article we study the close relations of the imaginary cone (see arXiv:1210.5206) with the set E, which leads to new fundamental results about the structure of…
The limit weak order on an affine Weyl group was introduced by Lam and Pylyavskyy in their study of total positivity for loop groups. They showed that in the case of the affine symmetric group the minimal elements of this poset coincide with the infinite fully commutative reduced words and with infinite powers of Coxeter elements. We answer several open problems raised there by classifying minimal elements in all affine types and relating these elements to the classes of fully commutative and Coxeter elements. Interestingly, the infinite fully commutative elements correspond to the minuscule a…
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.
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 corrres…
Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset is built from the intersection with Q of th…
We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups.
Extended Weak Order for the Rank 3 Universal Coxeter Group
University of Michigan（密歇根大学）；Harvard University（哈佛大学）；University of Oregon（俄勒冈大学）；University of California, Santa Barbara（加州大学圣塔芭芭拉分校）；Kennesaw State University（肯尼索州立大学）
In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient to determine the geodesic growth of the RACG based on that tree, by providing two infinite families of trees $\{S^1_n\}_{n \geq 11}$ and $\{S^2_n\}_{n \geq 11}$, on $n$ vertices, such that $S^1_n$ and…
We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Co…
We construct a group K_n with properties similar to infinite Coxeter groups. In particular, it has a geometric representation featuring hyperplanes and simplicial chambers. The generators of K_n are given by 2-element subsets of {0, .., n}. We give some easy combinatorial results on the finite residues of K_n.
Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic type whose Coxeter diagram is the same as that of $C$.
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 root…
This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words. The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infi…
In this paper, we investigate the set of accumulation points of normalized roots of infinite Coxeter groups for certain class of their action. Concretely, we prove the conjecture proposed in [6, Section 3.2] in the case where the equipped Coxeter matrices are of type $(n-1,1)$, where $n$ is the rank. Moreover, we obtain that the set of such accumulation points coincides with the closure of the orbit of one point of normalized limit roots. In addition, in order to prove our main results, we also investigate some properties on fixed points of the action.
We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled…
Boyd (1974) proposed a class of infinite ball packings that are generated by inversions. Later, Maxwell (1983) interpreted Boyd's construction in terms of root systems in Lorentz space. In particular, he showed that the space-like weight vectors correspond to a ball packing if and only if the associated Coxeter graph is of "level $2$." In Maxwell's work, the simple roots form a basis of the representations space of the Coxeter group. In several recent studies, the more general based root system is considered, where the simple roots are only required to be positively independent. In this paper,…
We define and study generalized nil-Coxeter algebras associated to Coxeter groups. Motivated by a question of Coxeter (1957), we construct the first examples of such finite-dimensional algebras that are not the 'usual' nil-Coxeter algebras: a novel 2-parameter type $A$ family that we call $NC_A(n,d)$. We explore several combinatorial properties of $NC_A(n,d)$, including its Coxeter word basis, length function, and Hilbert-Poincare series, and show that the corresponding generalized Coxeter group is not a flat deformation of $NC_A(n,d)$. These algebras yield symmetric semigroup module categorie…
Let W be an arbitrary Coxeter group of simply-laced type (possibly infinite but of finite rank), u,v be any two elements in W, and i be a reduced word (of length m) for the pair (u,v) in the Coxeter group W\times W. We associate to i a subgroup Gamma_i in GL_m(Z) generated by symplectic transvections. We prove among other things that the subgroups corresponding to different reduced words for the same pair (u,v) are conjugate to each other inside GL_m(Z). We also generalize the enumeration result of the first three authors (see AG/9802093) by showing that, under certain assumptions on u and v, …
The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally…
A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their ge…
Handelman (J. Operator Theory, 1981) proved that if the spectral radius of a matrix $A$ is a simple root of the characteristic polynomial and is strictly greater than the modulus of any other root, then $A$ is conjugate to a matrix $Z$ some power of which is positive. In this article, we provide an explicit conjugate matrix $Z$, and prove that the spectral radius of $A$ is a simple and dominant eigenvalue of $A$ if and only if $Z$ is eventually positive. For $n\times n$ real matrices with each row-sum equal to $1$, this criterion can be declined into checking that each entry of some power is s…
In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the same type. The Coxeter group of type affine $C$ contains an infinite number of fully commutative elements, and so the corresponding Temperley--Lieb algebra is of infinite rank. With the exception of type affine $A$, all other generalized Temperley--Lieb algebras with known diagrammatic representations are of finite rank. In the finite rank case, counting argu…
A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word prob…
