Presentations of discrete groups, acting on simply connected manifolds, in terms of parametrized systems of Coxeter matrices - a systematic approach (Q1819793): Difference between revisions

Let a group \(\Gamma\) act discretely on an n-dimensional connected PL- manifold \(X^ n\) in such a way that one can find a \(\Gamma\)-equivariant cell decomposition. If this cell decomposition allows barycentric subdivision then one can derive from it a thin chamber system \({\mathcal C}\) on which the free Coxeter group \(\Sigma\) acts transitively (from the right). The group \(\Gamma\) acts faithfully as a group of \(\Sigma\)- automorphisms (from the left) which reflects at the same time the structure of X, of the cell decomposition of X and of the action of \(\Gamma\) on X. In particular, one can define for each \(C\in {\mathcal C}\) the associated Coxeter matrix M(C) and the associated Coxeter exact sequence \[ 1 \to {\tilde \Sigma}(C,M) \to \Sigma_ C \to \pi_ 1(X) \to 1. \] Since \(\Gamma\) acts on \({\mathcal C}\) by \({\mathcal C}\)-automorphisms we have \(M(C)=M(\gamma\) C) for each \(\gamma\in \Gamma\), \(C\in {\mathcal C}\), so M factors through the canonical map of \({\mathcal C}\) onto the \(\Sigma\)-set \({\mathcal D}=\Gamma \setminus {\mathcal C}\) of \(\Gamma\)-orbits of \({\mathcal C}\) defining a map \(\tilde M: D\to M(C)\), where \(C\in D\). Since the \(\Gamma\) acts freely on \({\mathcal C}\), then we have an exact sequence \[ 1\to \Sigma_ C\to \Sigma_ D\to \Gamma \to 1. \] Let \({\tilde\Sigma}(D,\tilde M)= {\tilde\Sigma}(C,M)\), then in the case \(\pi_ 1(X)=1\), we have the exact sequence \[ 1 \to {\tilde\Sigma}(D,M) \to \Sigma_ D \to \Gamma \to 1. \] It is this presentation of \(\Gamma\) in terms of the system of Coxeter matrices \(\tilde M,\) parametrized by the \(\Sigma\)-set \({\mathcal D}\). There are some areas of application such as (a) Coxeter group, (b) crystallographic groups, (c) regular tesselations.