In this paper, we give a class of reflection rigid Coxeter systems. Let $(W,S)$ be a Coxeter system. Suppose that (1) for each $s,t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s,t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter group $W$. Then we show that the Coxeter system $(W,S)$ is reflection rigid. This is an extension of a result of N.Brady, J.P.McCammond, B.Mühlherr and W.D.Neumann.
A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this condition for Coxeter groups in certain classes, possibly of infinite ranks. We also determine the finite irreducible components of another Coxeter group, that is a subgroup of W generated by the reflections centralizing a given generator of W. Determining such a subgroup makes our criterion efficient.
H.S.M. Coxeter showed that a group $Γ$ is a finite reflection group of an Euclidean space if and only if $Γ$ is a finite Coxeter group. In this paper, we define {\it reflections} of geodesic spaces in general, and we prove that $Γ$ is a cocompact discrete reflection group of some geodesic space if and only if $Γ$ is a Coxeter group.
We refine Brink's theorem, that the non-reflection part of a reflection centralizer in a Coxeter group W is a free group. We give an explicit set of generators for centralizer, which is finitely generated when W is. And we give a method for computing the Coxeter diagram for its reflection subgroup. In many cases, our method allows one to compute centralizers in one's head.
We establish quasi-isometric rigidity for a class of right-angled Coxeter groups. Let $Γ_1,Γ_2$ be joins of finite generalized thick $m$-gons with $m\geq 3$. We show that the corresponding right-angled Coxeter groups are quasi-isometric if and only if $Γ_1,Γ_2$ are isomorphic. We also give a construction of commensurable right-angled Coxeter groups.
Based on the third author's thesis in this article we complete the local recognition of commuting reflection graphs of spherical Coxeter groups arising from irreducible crystallographic root systems.
We give a criterion for a finitely generated odd-angled Coxeter group to have a proper finite index subgroup generated by reflections. The answer is given in terms of the least prime divisors of the exponents of the Coxeter relations.
Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine completely when this subgroup is finitely generated, by using preceding results on centralizers of reflections. This result provides a new and naturally constructed example of a family of non-finitely generated subgroups of finitely generated groups.
Let $W$ be a Coxeter group and $r\in W$ a reflection. If the group of order 2 generated by $r$ is the intersection of all the maximal finite subgroups of $W$ that contain it, then any isomorphism from $W$ to a Coxeter group $W'$ must take $r$ to a reflection in $W'$. The aim of this paper is to show how to determine, by inspection of the Coxeter graph, the intersection of the maximal finite sugroups containing $r$. In particular we show that the condition above is satisfied whenever $W$ is infinite and irreducible, and has the property that all rank two parabolic subgroups are finite. So in th…
Let $(W,S)$ be a Coxeter system and let $s \in S$. We call $s$ a right-angled generator of $(W,S)$ if $st = ts$ or $st$ has infinite order for each $t \in S$. We call $s$ an intrinsic reflection of $W$ if $s \in R^W$ for all Coxeter generating sets $R$ of $W$. We give necessary and sufficient conditions for a right-angled generator $s \in S$ of $(W,S)$ to be an intrinsic reflection of $W$.
We provide local recognition results for the reflection graphs on spherical Coxeter groups. In particular, we study the case $F_4$ which is locally recognizable under additional constraints only. It is then demonstrated in the cases $A_n$ and $F_4$ how these graph theoretical recognition results can be used to characterize the corresponding Coxeter groups in terms of their reflection centralizers. Finally, we outline the connection to the local recognition of Chevalley groups which is particularly important in the classification of the finite simple groups.
We use geometry of Davis complex of a Coxeter group to prove the following result: if G is an infinite indecomposable Coxeter group and $H\subset G$ is a finite index reflection subgroup then the rank of H is not less than the rank of G. This generalizes results of math/0305093. We also describe some properties of the nerves of the group and the subgroup in the case of equal ranks.
In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)=2$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s\neq t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter group $W$. Then w…
In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)\in\{2\}\cup 4\N$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s\neq t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter gro…
We improve a bound of Borcherds on the virtual cohomological dimension of the non-reflection part of the normalizer of a parabolic subgroup of a Coxeter group. Our bound is in terms of the types of the components of the corresponding Coxeter subdiagram rather than the number of nodes. A consequence is an extension of Brink's result that the non-reflection part of a reflection centralizer is free. Namely, the non-reflection part of the normalizer of parabolic subgroup of type D5 or Aodd is either free or has a free subgroup of index 2.
For each positive integer $k$ we present an example of Coxeter system $(G_k,S_k)$ such that $G_k$ is a word-hyperbolic Coxeter group, for any two generating reflections $s,t\in S_k$ the product $st$ has finite order, and the Coxeter graph of $S_k$ has negative inertia index equal to $k$. In particular, $G_k$ cannot be embedded into pseudo-orthogonal group $O(n,k-1)$ for any $n$ as a reflection group with generating set being reflections w.r.t. $(G_k,S_k)$
A Coxeter system is called two-dimensional if its associated Davis complex is two-dimensional (equivalently, every spherical subgroup has rank less than or equal to 2). We prove that given a two-dimensional system (W,S) and any other system (W,S') which yields the same reflections, the diagrams corresponding to these systems are isomorphic, up to the operation of diagram twisting defined by N. Brady, J. McCammond, B. Muhlherr, and W. Neumann. As a step in the proof of this result, certain two-dimensional groups are shown to be reflection rigid in the sense defined by the above authors, and a r…
We extend a result of Lewis and Reiner from finite Coxeter groups to all Coxeter groups by showing that two reflection factorizations of a Coxeter element lie in the same Hurwitz orbit if and only if they share the same multiset of conjugacy classes.
We show that the Hurwitz action is "as transitive as possible" on reflection factorizations of Coxeter elements in the well-generated complex reflection groups $G(d, 1, n)$ (the group of $d$-colored permutations) and $G(d, d, n)$.
To any finite graph $X$ (viewed as a topological space) we assosiate some explicit compact metric space ${\cal X}^r(X)$ which we call {\it the reflection tree of graphs $X$}. This space is of topological dimension $\le1$ and its connected components are locally connected. We show that if $X$ is appropriately triangulated (as a simplicial graph $Γ$ for which $X$ is the geometric realization) then the visual boundary $\partial_\infty(W,S)$ of the right angled Coxeter system $(W,S)$ with the nerve isomorphic to $Γ$ is homeomorphic to ${\cal X}^r(X)$. For each $X$, this yields in particular many w…
In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on $\R^n$ is bounded above by $2n$ and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups …
In this sixth part we study rank $3$ reflection groups not well generated: $G(2r,r,2)$, $G_{12}$, $G_{13}$ and $G_{22}$. We start from a reflection representation of a rank $3$ Coxeter group and we show that we can obtain in this manner affine Coxeter groups whose linear part is one of the preceding groups.
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.
Let $W$ be a finite Coxeter group. We classify the reflection subgroups of $W$ up to conjugacy and give necessary and sufficient conditions for the map that assigns to a reflection subgroup $R$ of $W$ the conjugacy class of its Coxeter elements to be injective, up to conjugacy.
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 a…
The reflection length of an element of a Coxeter group is the minimal number of conjugates of the standard generators whose product is equal to that element. In this paper we prove the conjecture of McCammond and Petersen that reflection length is unbounded in any non-affine Coxeter group. Among the tools used, the construction of word-hyperbolic quotients of all minimal non-affine Coxeter groups might be of independent interest.
We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.
The isomorphism problem for Coxeter groups has been reduced to its 'reflection preserving version' by B. Howlett and the second author. Thus, in order to solve it, it suffices to determine for a given Coxeter system (W,R) all Coxeter generating sets S of W which are contained in R^W, the set of reflections of (W,R). In this paper, we provide a further reduction: it suffices to determine all Coxeter generating sets S in R^W which are sharp-angled with respect to R.
We consider a cocompact discrete reflection group $W$ of a CAT(0) space $X$. Then $W$ becomes a Coxeter group. In this paper, we study an analogy between the Davis-Moussong complex $Σ(W,S)$ and the CAT(0) space $X$, and show several analogous results about the limit set of a parabolic subgroup of the Coxeter group $W$.
In which it is proven that, for each parabolic quasi-Coxeter element in a finite real reflection group, the orbits of the Hurwitz action on its reflection factorizations are distinguished by the two obvious invariants
This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection monoids, introduce new examples, and determine their orders.
Beijing International Center for Mathematical Research Peking University, Beijing, China（北京大学北京国际数学研究中心）；School of Mathematics and Statistics University of Melbourne, VIC 3010, Australia（墨尔本大学数学与统计学院）；Department of Foundational Mathematics School of Mathematics and Physics Xi’an Jiaotong-Liverpool University, Suzhou, China（西交利物浦大学数学与物理学院基础数学系）
The principal objects studied in this note are Coxeter groups $W$ that are neither finite nor affine. A well known result of de la Harpe asserts that such groups have exponential growth. We consider quotients of $W$ by its parabolic subgroups and by a certain class of reflection subgroups. We show that these quotients have exponential growth as well. To achieve this, we use a theorem of Dyer to construct a reflection subgroup of $W$ that is isomorphic to the universal Coxeter group on three generators. The results are all proved under the restriction that the Coxeter diagram of $W$ is simply l…
Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple furth…
We define the notion of a climbing element in a finite real reflection group relative to a total order on the reflection set and we characterise these elements in the case where the total order arises from a bipartite Coxeter element.
In the spirit of peripheral subgroups in relatively hyperbolic groups, we exhibit a simple class of quasi-isometrically rigid subgroups in graph products of finite groups, which we call eccentric subgroups. As an application, we prove that, if two right-angled Coxeter groups $C(Γ_1)$ and $C(Γ_2)$ are quasi-isometric, then for any minsquare subgraph $Λ_1 \leq Γ_1$ there exists a minsquare subgraph $Λ_2 \leq Γ_2$ such that the right-angled Coxeter groups $C(Λ_1)$ and $C(Λ_2)$ are quasi-isometric as well. Various examples of non-quasi-isometric groups are deduced. Our arguments are based on a stu…
Rheinische Friedrich-Wilhelms-Universität Bonn（波恩大学）；Heinrich-Heine-University Düsseldorf（杜塞尔多夫大学）；University of Münster（明斯特大学）；University of Oxford（牛津大学）
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…
We provide a necessary and sufficient condition on an element of a finite Coxeter group to ensure the transitivity of the Hurwitz action on its set of reduced decompositions into products of reflections. We show that this action is transitive if and only if the element is a parabolic quasi-Coxeter element, that is, if and only if it has a reduced decomposition into a product of reflections that generate a parabolic subgroup.
The imaginary cone of a Kac-Moody Lie algebra is the convex hull of zero and the positive imaginary roots. This paper studies the imaginary cone for a class of root systems of general Coxeter groups W. It is shown that the imaginary cone of a reflection subgroup of W is contained in that of W, and that for irreducible infinite W of finite rank, the closed imaginary cone is the only non-zero, closed, pointed W-stable cone contained in the pointed cone spanned by the simple roots. For W of finite rank, various natural notions of faces of the imaginary cone are shown to coincide, the face lattice…
We study Coxeter diagrams of some unitary reflection groups. Using solely the combinatorics of diagrams, we give a new proof of the classification of root lattices defined over $\cE = \ZZ[e^{2 πi/3}]$: there are only four such lattices, namely, the $\cE$-lattices whose real forms are $A_2$, $D_4$, $E_6$ and $E_8$. Next, we address the issue of characterizing the diagrams for unitary reflection groups, a question that was raised by Broué, Malle and Rouquier. To this end, we describe an algorithm which, given a unitary reflection group $G$, picks out a set of complex reflections. The algorithm i…
For every dimension d, there is an infinite family of convex co-compact reflection groups of isometries of hyperbolic d-space --- the superideal (simplicial and cubical) reflection groups --- with the property that a random group at any density less than a half (or in the few relators model) contains quasiconvex subgroups commensurable with some member of the family, with overwhelming probability.
In a finite Coxeter group $W$ and with two given conjugacy classes of parabolic subgroups $[X]$ and $[Y]$, we count those parabolic subgroups of $W$ in $[Y]$ that are full support, while simultaneously being simple extensions (i.e., extensions by a single reflection) of some standard parabolic subgroup of $W$ in $[X]$. The enumeration is given by a product formula that depends only on the two parabolic types. Our derivation is case-free and combines a geometric interpretation of the "full support" property with a double counting argument involving Crapo's beta invariant. As a corollary, this a…
We study the Hurwitz action of the classical braid group on factorisations of a Coxeter element c in a well-generated complex reflection group W. It is well-known that the Hurwitz action is transitive on the set of reduced decompositions of c in reflections. Our main result is a similar property for the primitive factorisations of c, i.e. factorisations with only one factor which is not a reflection. The motivation is the search for a geometric proof of Chapoton's formula for the number of chains of given length in the non-crossing partitions lattice NCP_W. Our proof uses the properties of the…
A convex polytope $P$ in the real projective space with reflections in the facets of $P$ is a Coxeter polytope if the reflections generate a subgroup $Γ$ of the group of projective transformations so that the $Γ$-translates of the interior of $P$ are mutually disjoint. It follows from work of Vinberg that if $P$ is a Coxeter polytope, then the interior $Ω$ of the $Γ$-orbit of $P$ is convex and $Γ$ acts properly discontinuously on $Ω$. A Coxeter polytope $P$ is $2$-perfect if $P \smallsetminus Ω$ consists of only some vertices of $P$. In this paper, we describe the deformation spaces of $2$-per…
Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order $k$ for some $k\geq 2$, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of $J$-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among …
