Related papers: Coxeter groups are biautomatic

We obtain an algorithmic construction of the isotropy lattice for a lifted action of a Lie group $G$ on $TM$ and $T^*M$ based only on the knowledge of $G$ and its action on $M$. Some applications to symplectic geometry are also shown.

The Coxeter groups that act geometrically on euclidean space have long been classified and presentations for the irreducible ones are encoded in the well-known extended Dynkin diagrams. The corresponding Artin groups are called euclidean…

We prove a structure theorem for the isometry group Iso(M, g) of a compact Lorentz manifold, under the assumption that a closed subgroup has exponential growth. We don't assume anything about the identity component of Iso(M, g), so that our…

We describe the development of the theory of automatic groups. We begin with a historical introduction, define the concepts of automatic, biautomatic and combable groups, derive basic properties, then explain how hyperbolic groups and the…

In this paper, we analyze the faithful representations of the dihedral groups, and prove that the Coxeter groups can be determined by the proper joint spectrum of their faithful representations.

An elementary approach to the construction of Coxeter group representations is presented.

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e.…

We study the model theory of countable right-angled buildings with infinite residues. For every Coxeter graph we obtain a complete theory with a natural axiomatisation, which is $\omega$-stable and equational. Furthermore, we provide sharp…

We prove that topologically isomorphic linear cellular automaton shifts are algebraically isomorphic. Using this, we show that two distinct such shifts cannot be isomorphic. We conclude that the automorphism group of a linear cellular…

We provide a complete description of the automorphism group $\Aut (W)$ of a Coxeter group $W$ admitting a star-shaped finite Coxeter diagram. We prove that each automorphism decomposes as a product of inner and diagram automorphisms, along…

Integer lattice gas automata can be utilized as building blocks in statistical mechanics. The presented deterministic and reversible automaton generates semiclassical statistical distributions. A possible approach to Bose-Einstein…

We find 26 reflections in the automorphism group of the the Lorentzian Leech lattice L over Z[exp(2*pi*i/3)] that form the Coxeter diagram seen in the presentation of the bimonster. We prove that these 26 reflections generate the…

Let $(W,S)$ be a Coxeter system and $\Gamma$ be a group of automorphisms of $W$ such that $\gamma(S)=S$ for all $\gamma \in \Gamma$. Then it is known that the group of fixed points $W^\Gamma$ is again a Coxeter group with a canonically…

In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy…

An automorphism of a building is called uniclass if the Weyl distance between any chamber and its image lies in a unique (twisted) conjugacy class of the Coxeter group. In a previous paper we characterised uniclass automorphisms of…

Using a variant of an unpublished argument due to Agol, we show that an irreducible right-angled Coxeter group on ${n \geq 3}$ vertices embeds as a thin subgroup of a uniform arithmetic lattice in an indefinite orthogonal group…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…

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…

We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter…

We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to…