Complex growth series of Coxeter systems (Q1198800)

Let \(W\) be a Coxeter group with (finite) set of generators \(S\). The word length is \(l(w) = \text{min}\{r \mid w = s_ 1s_ 2\dots s_ r\), \(s_ i \in S\}\) and the growth series \(W_ S(t) = \sum_{w\in W}t^{l(w)}\). For \(X \subseteq S\) one has the Coxeter group \(W_ X\) generated by \(X\) and the corresponding growth series \(W_ X(t)\). Let \(\Sigma(W,S)\) denote the Coxeter complex defined by \(W\) and \(S\). The author introduces the complex growth series as \[ W_ S(t_ 1,t_ 2) = \sum_ F t_ 1^{d(C_ 0,F)} t_ 2^{\text{codim}(F)} \] where \(F\) runs over all faces of \(\Sigma(W,S)\) and \(d(C_ 0,F)\) denotes the distance between the fundamental chamber \(C_ 0\) and \(F\). The main theorem of this paper says: \[ W_ S(t_ 1,t_ 2) = \sum_{X\subseteq S} t_ 2^{| X|}W_ S(t_ 1)/W_ X(t_ 1). \]