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.
We consider the Cayley graph ${\rm C}(W,S)$ of a Coxeter system $(W,S)$ and describe all maximal $2$-cliques in this graph, i.e. maximal subsets in the vertex set such that the distance between any two distinct elements is equal to $2$. As an application, we show that every automorphism of the half of Cayley graph is uniquely extendable to an automorphism of the Cayley graph if $|S|\ge 5$.
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order are tracked by geodesics.
In this paper, we consider the automorphism groups of the Cayley graph with respect to the Coxeter generators and the Davis complex of an arbitrary Coxeter group. We determine for which Coxeter groups these automorphism groups are discrete. In the case where they are discrete, we express them as semidirect products of two obvious families of automorphisms. This extends a result of Haglund and Paulin.
We consider the class of those Coxeter groups for which removing from the Cayley graph any tubular neighbourhood of any wall leaves exactly two connected components. We call these Coxeter groups bipolar. They include both the virtually Poincare duality Coxeter groups and the infinite irreducible 2-spherical ones. We show in a geometric way that a bipolar Coxeter group admits a unique conjugacy class of Coxeter generating sets. Moreover, we provide a characterisation of bipolar Coxeter groups in terms of the associated Coxeter diagram.
For a Coxeter system $(W,S)$ let $a_n^{(W,S)}$ be the cardinality of the sphere of radius $n$ in the Cayley graph of $W$ with respect to the standard generating set $S$. It is shown that, if $(W,S)\preceq(W',S')$ then $a_n^{(W,S)}\leq a_n^{(W',S')}$ for all $n\in \mathbb{N}_0$, where $\preceq$ is a suitable partial order on Coxeter systems (cf. Thm. A). It is proven that there exists a constant $τ= 1.13\dots$ such that for any non-affine, non-spherical Coxeter system $(W,S)$ the growth rate $ω(W,S)=\limsup \sqrt[n]{a_n}$ satisfies $ω(W,S)\geq τ$ (cf. Thm. B). The constant $τ$ is a Perron numbe…
The study of the set of limit roots associated to an infinite Coxeter group was initiated by Hohlweg, Labbé and Ripoll and further developed by Dyer, Hohlweg, Péaux and Ripoll. The Davis complex associated to a finitely generated Coxeter group $W$ is a piecewise Euclidean CAT(0) space on which $W$ acts properly, cocompactly by isometries. The one skeleton of the Davis complex can be identified with the Cayley graph of $W$. In this paper we define a natural map from the Davis complex into the normalised imaginary cone of a based root system.
We prove that numerous negatively curved simply connected locally compact polyhedral complexes, admitting a discrete cocompact group of automorphisms, have automorphism groups which are locally compact, uncountable, non linear and virtually simple. Examples include hyperbolic buildings, Cayley graphs of word hyperbolic Coxeter systems, and generalizations of cubical complexes, that we call even polyhedral complexes. We use tools introduced by Tits in the case of automorphism groups of trees, and Davis-Moussong's geometric realisation of Coxeter systems.
We introduce and study certain topological spaces associated with connected rooted graphs. These spaces reflect combinatorial and order theoretic properties of the underlying graph and relate in the case of hyperbolic graphs to Gromov's hyperbolic compactification. They are particularly tractable in the case of Cayley graphs of finite rank Coxeter groups. In that context we speak of the compactification and the boundary of the Coxeter group. As it turns out, the canonical action of the Coxeter group on its Cayley graph induces a natural action on the compactification and the boundary. From thi…
We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly broad family of graphs and groups of interest in geometric group theory and metric graph theory, including: the 1-skeletons of systolic and quadric complexes (in particular finitely presented C(6) and C(4)-T(4) small cancellation groups), 1-skeletons of finite dimensional CAT(0) cube complexes, hyperbolic graphs, standard Cayley graphs of finitely generated…
In this thesis, I am going to consider Bernoulli percolation on graphs admitting vertex-transitive actions of groups of isometries of d-dimensional hyperbolic spaces H^d. In the first chapter, I give an overview concerning percolation and its terminology. In the separate introduction to each of the other chapters, I explain its contents more precisely, giving also some preliminaries needed therein. In the second chapter, I prove the existence of a non-trivial non-uniqueness phase of Bernoulli percolation on Cayley graphs for a wide class of Coxeter reflection groups of finite type polyhedra in…
We study a class of two-generator two-relator groups, denoted $J_n(m,k)$, that arise in the study of relative asphericity as groups satisfying a transitional curvature condition. Particular instances of these groups occur in the literature as finite groups of intriguing orders. Here we find infinite families of non-elementary virtually free groups and of finite metabelian non-nilpotent groups, for which we determine the orders. All Mersenne primes arise as factors of the orders of the non-metacyclic groups in the class, as do all primes from other conjecturally infinite families of primes. We …
