On the growth of a Coxeter group (Q2630766)

In this paper, the author proves three related theorems on the lengths of words in generating sets of Coxeter groups and their Poicaré series. Given a group \(G\) and a generating set \(X=X^{-1}\) for \(G\) we write \(a_n^{(G,X)}\) for the number of elements of \(G\) that are a product of \(n\) elements of \(X\) but not of fewer. We write \((W,S)\preceq(W',S')\) if there exists an injective map \(\phi: S\rightarrow S'\) such that \(m_{s,r}\leq m'_{\phi(s),\phi(r)}\) for all \(r,s\in S\). The first theorem proved in this paper states that if \((W,S)\preceq(W',S')\), then \(a_n^{(W,S)}\leq a_n^{(W',S')}\) for all non-negative integers \(n\). We write \(\omega(G,X)=\limsup_n\root{n}\of{a_n}\). Let \((W,S)\) be a Coxeter system with matrix \((m_{s,r})\). The second theorem proved here states the following. Let \((W,S)\) be a non-affine, non-spherical Coxeter system. Then \(\omega(W,S)\geq\tau\) where \(\tau=\omega(W,S)\) in the case in which \(W\) is hyperbolic of type \(E_{10}\). (Impressively, the author also verifies that \(\tau\) is an algebraic integer by exhibiting a monic integer polynomial satisfied by \(\tau\) -- of degree 127.) The third theorem is concerned with a particular equivalence relation \(\sim\) on Coxeter systems whose precise definition is somewhat long and technical. Writing \(p_{(W,S)}(t)=\sum_{n\geq0}a_n^{(W,S)}t^n\) for the Poincaré series of a Coxeter system \((W,S)\) the final theorem states that if \((W,S)\sim(W',S')\), then \(p_{(W,S)}(t)=p_{(W',S')}(t)\).