In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that can be effectively used to distinguish isomorphism types of finitely generated Coxeter groups.
By a recent result obtained by R. Howlett and the author considerable progress has been made towards a complete solution of the isomorphism problem for Coxeter groups. In this paper we give a survey on the isomorphism problem and explain in particular how the result mentioned above reduces it to its `reflection preserving' version. Furthermore we desrcibe recent developments concerning the solution of the latter.
In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.
In this paper we prove, without the finite rank assumption, that any irreducible Coxeter group of infinite order is directly indecomposable as an abstract group. The key ingredient of the proof is that we can determine, for an irreducible Coxeter group, the centralizers of the normal subgroups that are generated by involutions. As a consequence, we show that the problem of deciding whether two general Coxeter groups are isomorphic, as abstract groups, is reduced to the case of irreducible Coxeter groups, without assuming the finiteness of the number of the irreducible components or their ranks…
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 with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined by W. If W is finitely generated, then W may have sets of Coxeter generators S and S' of different ranks. In this paper, we determine the set of all possible ranks for an arbitrary finitely generated C…
A solution of the isomorphism problem is presented for the class of Coxeter groups W that have a finite set of Coxeter generators S such that the underlying graph of the presentation diagram of the system (W,S) has the property that every cycle of length at least four has a cord. As an application, we construct counterexamples to two main conjectures concerning the isomorphism problem for Coxeter groups.
We consider presentations that were derived in \cite{BaumeisterNeaimeRees} for the interval groups associated with proper quasi-Coxeter elements of the Coxeter group $W(D_n)$. We use combinatorial methods to derive alternative presentations for the groups, and use these new presentations to show that the interval group associated with a proper quasi-Coxeter element of $W(D_n)$ cannot be isomorphic to the Artin group of type $D_n$. While the specific problems we solve arise from the study of interval groups, their solution provides an illustration of how techniques indicated by computational ob…
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…
We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.
We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G, and obtain a structure theorem for the group of outer automorphisms Out(G).
In this paper, given a split extension of an arbitrary Coxeter group by automorphisms of the Coxeter graph, we determine the involutions in that extension whose centralizer has finite index. Our result has applications to many problems such as the isomorphism problem of general Coxeter groups. In the argument, some properties of certain special elements and of the fixed-point subgroups by graph automorphisms in Coxeter groups, which are of independent interest, are also given.
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.
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 show that every finitely generated Artin-Tits group admits a finite Garside family, by introducing the notion of a low element in a Coxeter group and proving that the family of all low elements in a Coxeter system (W, S) with S finite includes S and is finite and closed under suffix and join with respect to the right weak order.
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.
Let W be an irreducible finitely generated Coxeter group. The geometric representation of W in GL(V) provides a discrete embedding in the orthogonal group of the Tits form (the associated bilinear form of the Coxeter group). If the Tits form of the Coxeter group is non-positive and non-degenerate, the Coxeter group does not contain any finite index subgroup isomorphic to an irreducible lattice in a semisimple group of R-rank greater or equal to 2.
We continue the study of the maximally clustered elements for simply laced Coxeter groups which were recently introduced by Losonczy. Such elements include as a special case the freely braided elements of Losonczy and the author, which in turn constitute a superset of the $iji$-avoiding elements of Fan. Our main result is to classify the MC-finite Coxeter groups, namely those Coxeter groups having finitely many maximally clustered elements. Remarkably, any simply laced Coxeter group having finitely many $iji$-avoiding elements also turns out to be MC-finite.
We give an elementary criterion on a group G for the map from Aut(G) to Out(G) to split virtually. This criterion applies to many residually finite CAT(0) groups and hyperbolic groups, and in particular to all finitely generated Coxeter groups. As a consequence the outer automorphism group of any finitely generated Coxeter group is residually finite and virtually torsion-free.
We continue the study of freely braided elements of simply laced Coxeter groups, which we introduced in a previous work (math.CO/0301104). A known upper bound for the number of commutation classes of reduced expressions for an element of a simply laced Coxeter group is shown to be achieved only when the element is freely braided; this establishes the converse direction of a previous result. It is also shown that a simply laced Coxeter group has finitely many freely braided elements if and only if it has finitely many fully commutative elements.
In this work we characterise Cayley graphs of Coxeter groups with respect to the standard generating set that admit uncountable vertex stabilisers. As a corollary, we fully identify finitely generated Coxeter groups for which the automorphism group of their Cayley graph with respect to the standard generating set is not discrete when equipped with the permutation topology. As an application, we also provide new explicit constructions of vertex-transitive graphs of infinite degree that have locally compact automorphism groups.
This paper studies the rigidity properties of the abstract commensurator of the outer automorphism group of a universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 5$ the natural map $\mathrm{Out}(W_n) \to \mathrm{Comm}(\mathrm{Out}(W_n))$ is an isomorphism and that every isomorphism between finite index subgroups of $\mathrm{Out}(W_n)$ is given by a conjugation by an element of $\mathrm{Out}(W_n)$.
Let $G$ be a finitely generated group and let $C^*$ denote the group of all central automorphisms of $G$ fixing the center of $G$ elementwise. Azhdari and Malayeri [J. Algebra Appl., {\bf 6}(2011), 1283-1290] gave necessary and sufficient conditions on $G$ such that $C^* \simeq \mathrm{Inn}(G)$. We prove a technical lemma and, as a consequence, obtain a short and easy proof of this result of Azhdari and Malayeri. Subsequently, we also obtain short proofs of some other existing and some new related results.
Let $(W, S)$ be a Coxeter system. We give necessary and sufficient conditions on the Coxeter diagram of $(W, S)$ for $W$ to be relatively hyperbolic with respect to a collection of finitely generated subgroups. The peripheral subgroups are necessarily parabolic subgroups (in the sense of Coxeter group theory). As an application, we present a criterion for the maximal flats of the Davis complex of $(W,S)$ to be isolated. If this is the case, then the maximal affine sub-buildings of any building of type $(W,S)$ are isolated.
We show that certain right-angled Coxeter groups have finite index subgroups that quotient to $\mathbb Z$ with finitely generated kernels. The proof uses Bestvina-Brady Morse theory facilitated by combinatorial arguments. We describe a variety of examples where the plan succeeds or fails. Among the successful examples are the right-angled reflection groups in $\mathbb H^4$ with fundamental domain the $120$-cell or the $24$-cell.
We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it is related to the embedding into a right-angled Coxeter group described by Davis and Januszkiewicz. We compare the approaches and also adapt the argument that the action extends to finite index supergroup that is a graph product of finite groups.
Let (G,S) be a finitely generated Coxeter group, such that the Coxeter system is indecomposable and the canonical bilinear form is indefinite but non-degenerate. We show that the reduced C-*-algebra of G is simple with unique normalised trace. For an arbitrary finitely generated Coxeter group we prove the validity of a Haagerup inequality: There exist constants C>0 and a natural number L such that for a function f in l^2(G) supported on elements of length n with respect to the generating set S: || f * h || <= C(n+1)^{3/2 L} || f || || h ||, forall h in l^2(G).
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.
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, replacing this vertex group by the splitting and then reducing. If H and K are subgroups of a group G then H is smaller than K if H intersect K has finite index in H and infinite index in K. The minimal sp…
We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be the direct product. If Gamma is moreover torsion-free, it follows that Gamma is uniquely decomposable in direct product of indecomposable groups.
Let W be an irreducible, finitely generated Coxeter group. The geometric representation provides an discrete embedding in the orthogonal group of the so-called Tits form. One can look at the representation modulo the kernel of this form; we give a new proof of the following result of Vinberg: if W is non-affine, then this representation remains faithful. Our proof uses relative Kazhdan Property (T). The following corollary was only known to hold when the Tits form is non-degenerate: the reduced C*-algebra of W is simple with a unique normalized trace. Some other corollaries are pointed out.
We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable. These are first examples of such a contrastive complexity behaviour with respect to the isomorphism problem.
Let $W$ be a finitely generated infinite Coxeter group, with $Φ$ and $Π$ being the corresponding root system and set of simple roots respectively. It has been observed by Hohlweg et la that the projections of elements of $Φ$ onto suitably chosen hyperplanes, called \emph{normalized roots}, are contained in the convex hull of $Π$ (which is a compact set), and hence the set of all normalized roots may exhibit interesting asymptotical behaviours. In this paper we investigate the topology of the limit set of the normalized roots and demonstrate a natural system of neighbourhoods around each limit …
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter group is a subgroup of the fundamental group of a given graph of groups, then the Coxeter group is also the fundamental group of a graph of special subgroups, where each vertex and edge group is a subgroup …
We prove that a finitely generated, right-angled, hyperbolic Coxeter group can be quasiisometrically embedded into the product of n binary trees, where n is the chromatic number of the group. As application we obtain certain strongly aperiodic tilings of the Davis complex of these groups.
We give formulas for the second and third integral homology of an arbitrary finitely generated Coxeter group, solely in terms of the corresponding Coxeter diagram. The first of these calculations refines a theorem of Howlett, while the second is entirely new and is the first explicit formula for the third homology of an arbitrary Coxeter group.
It has been known that the centralizer $Z_W(W_I)$ of a parabolic subgroup $W_I$ of a Coxeter group $W$ is a split extension of a naturally defined reflection subgroup by a subgroup defined by a 2-cell complex $\mathcal{Y}$. In this paper, we study the structure of $Z_W(W_I)$ further and show that, if $I$ has no irreducible components of type $A_n$ with $2 \leq n < \infty$, then every element of finite irreducible components of the inner factor is fixed by a natural action of the fundamental group of $\mathcal{Y}$. This property has an application to the isomorphism problem in Coxeter groups.
We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also decides if a finitely generated subgroup has finite index.
Let $W$ be a right-angled Coxeter group corresponding to a finite non-discrete graph $\mathcal{G}$ with at least $3$ vertices. Our main theorem says that $\mathcal{G}^c$ is connected if and only if for any infinite index quasiconvex subgroup $H$ of $W$ and any finite subset $\{ γ_1, \ldots , γ_n \} \subset W \setminus H$ there is a surjection $f$ from $W$ to a finite alternating group such that $f (γ_i) \notin f (H)$. A corollary is that a right-angled Artin group splits as a direct product of cyclic groups and groups with many alternating quotients in the above sense. Similarly, finitely gene…
We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite presentations for finitely presentable subgroups. We also construct a finitely presented group that has a polynomial Dehn function but in which there is no algorithm to compute the first Betti number of …
In this paper, we prove that all finitely generated malnormal subgroups of one-ended right-angled Coxeter groups are strongly quasiconvex and they are in particular quasiconvex when the ambient groups are hyperbolic. The key idea is to prove all infinite proper malnormal subgroups of one-ended right-angled Coxeter groups are join-free and then prove the strong quasiconvexity and the virtual freeness of these subgroups. We also study the subgroup divergence of join-free subgroups in right-angled Coxeter groups and compare them with the analogous subgroups in right-angled Artin groups. We charac…
A right-angled Coxeter group is a group with a given set of generators of order two, subject only to the relations that certain pairs of the generators commute. Various papers have shown how homological properties of the Coxeter group are related to homological properties of the simplicial complex whose simplices are the sets of commuting generators. Using these techniques, we construct torsion-free groups which are Poincare duality groups over some rings but not over others, and a group whose integral cohomological dimension is finite but strictly greater than its cohomological dimension over…
If $G$ and $H$ are finitely generated residually nilpotent groups, then $G$ and $H$ are in the same nilpotent genus if they have the same lower central quotients (up to isomorphism). A stronger condition is that $H$ is para-$G$ if there exists a monomorphism of $G$ into $H$ which induces isomorphisms between the corresponding quotients of their lower central series. We first consider residually nilpotent groups and find sufficient conditions on the monomorphism so that $H$ is para-$G.$ We then prove that for certain polycyclic groups, if $H$ is para-$G$, then $G$ and $H$ have the same Hirsch l…
Let $\mathcal{G}$ be a Kac-Moody group functor in the sense of Tits, with associated Coxeter system $(W,S)$. For any field $F$, the group $\mathcal{G}(F)$ is finitely generated iff $F$ is finite. We are interested in the question when $G = \mathcal{G}(\mathbb{F}_q)$ is finitely presented. If $(W,S)$ is 2-spherical, it is well known that this is "almost always" the case. It is conjectured that $G$ is never finitely presented if $(W,S)$ is not 2-spherical (which means that there exist $s,t \in S$ with $|st| = \infty$), which so far (to the best of our knowledge) has only been proved for the type…
The dual of the Tits cone and dominance of Coxeter groups
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Computer, Data and Mathematical Sciences, Western Sydney University（西悉尼大学计算机、数据与数理科学学院）；School of Mathematics and Statistics, University of Melbourne（墨尔本大学数学与统计学院）；Department of Foundational Mathematics, School of Mathematics and Physics, Xi’an Jiaotong-Liverpool University（西交利物浦大学数理学院基础数学系）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）
