Rigidity of Coxeter Groups and Artin Groups

A Coxeter group is rigid if it cannot be defined by two nonisomorphic diagrams. There have been a number of recent results showing that various classes of Coxeter groups are rigid, and a particularly interesting example of a nonrigid Coxeter group has been given by Bernhard Mühlherr. We show that this example belongs to a general operation of diagram twisting. We show that the Coxeter groups defined by twisted diagrams are isomorphic, and, moreover, that the Artin groups they define are also isomorphic, thus answering a question posed by Charney. Finally, we show a number of Coxeter groups are reflection rigid once twisting is taken into account.     

Chordal Coxeter groups

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 chord. As an application, we construct counterexamples to two conjectures concerning the isomorphism problem for Coxeter groups.      

On coherence of graph products of groups and Coxeter groups

Graph products of groups and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then the corresponding group is coherent, i.e. every finitely generated subgroup is finitely presented.     

Reflection Independence in Even Coxeter Groups

If (W,S) is a Coxeter system, then an element of W is a reflection if it is conjugate to some element of S. To each Coxeter system there is an associated Coxeter diagram. A Coxeter system is called reflection preserving if every automorphism of W preserves reflections in this Coxeter system. As a direct application of our main theorem, we classify all reflection preserving even Coxeter systems. More generally, if (W,S) is an even Coxeter system, we give a combinatorial condition on the diagram for (W,S) that determines whether or not two even systems for W have the same set of reflections. If (W,S) is even and (W,S) is not even, then these systems do not have the same set of reflections. A Coxeter group is said to be reflection independent if any two Coxeter systems (W,S) and (W,S) have the same set of reflections. We classify all reflection independent even Coxeter groups.Mathematics Subject Classifications (2000). 20F05, 20F55, 20F65, 51F15.     

A complex for right-angled Coxeter groups

We associate to each right-angled Coxeter group a 2-dimensional complex. Using this complex, we show that if the presentation graph of the group is planar, then the group has a subgroup of finite index which is a 3-manifold group (that is, the group is virtually a 3-manifold group). We also give an example of a right-angled Coxeter group which is not virtually a 3-manifold group.

     

Homomorphisms of Edge-Colored Graphs and Coxeter Groups

Let be two edge-colored graphs (without multiple edges or loops). A homomorphism is a mapping : for which, for every pair of adjacent vertices u and v of G ₁, (u) and (v) are adjacent in G ₂ and the color of the edge (u)(v) is the same as that of the edge uv.We prove a number of results asserting the existence of a graphG , edge-colored from a set C, into which every member from a given class of graphs, also edge-colored from C, maps homomorphically.We apply one of these results to prove that every three-dimensional hyperbolic reflection group, having rotations of orders from the setM ={m₁, m₂,..., m_k}, has a torsion-free subgroup of index not exceeding some bound, which depends only on the setM .     

Twisted identities in Coxeter groups

Given a Coxeter system (W,S) equipped with an involutive automorphism θ, the set of twisted identities is

Alternating subgroups of Coxeter groups

We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.     

The Bass-Heller-Swan formula for the equivariant topological Whitehead group

In the first part of this paper, a geometric definition of theK-theory equivariant nilpotent groups is given. For a finite groupG, the Nil-groups are defined as functors from the category ofG-spaces andG-homotopy classes ofG-maps to Abelian groups. In the nonequivariant case, these groups are isomorphic to the classical algebraic Nil-groups.In the second part, the Bass-Heller-Swan formula is proved for the equivariant topological Whitehead group. The main result of this work is that ifX is a compactG-ANR andG acts trivially onS ¹, then

Commensurability classification of a family of right-angled Coxeter groups

We classify the members of an infinite family of right-angled Coxeter groups up to abstract commensurability.

     

Reflection subgroups of reflection groups

Let G be a discrete group generated by reflections in hyperbolic or Euclidean space, and let H G be a finite index reflection subgroup. Suppose that the fundamental chamber of G is a finite volume polytope with k facets. We prove that the fundamental chamber of H has at least k facets.Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 38, No. 4, pp. 90–92, 2004Original Russian Text Copyright © by A. A. Felikson and P. V. Tumarkin     

Semi-edges, reflections and Coxeter groups

We combine the theory of Coxeter groups, the covering theory of graphs introduced by Malnic, Nedela and Skoviera and the theory of reflections of graphs in order to obtain the following characterization of a Coxeter group:

Let be a -covering of a monopole admitting semi-edges only. The graph is the Cayley graph of a Coxeter group if and only if is regular and any deck transformation in that interchanges two neighboring vertices of acts as a reflection on .

     

Lengths of involutions in finite Coxeter groups

Let W be a finite Coxeter group and X a subset of W. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t)={\sum }_{x\in X}{t}^{?(x)}$, where ? is the length function on W. If $X=\{x\in W:x^2=1\}$ then we call $L_{W,X}(t)$ the involution length polynomial of W. In this article we derive expressions for the length polynomial where X is any conjugacy class of involutions, and the involution length polynomial, in any finite Coxeter group W. In particular, these results correct errors in [11] for the involution length polynomials of Coxeter groups of type $B_n$ and $D_n$. Moreover, we give a counterexample to a unimodality conjecture stated in [11].     

The topology at infinity of Coxeter groups and buildings

The connectivity at infinity of a finitely generated Coxeter group W is completely determined by topological properties of its nerve L (a finite simplicial complex). For example, W is simply connected at infinity if and only if L and the subcomplexes (where ranges over all simplices in L) are simply connected. This characterization extends to locally finite buildings. Received: May 3, 2001