Table of Contents
Fetching ...

Growth series of CAT(0) cubical complexes

Boris Okun, Richard Scott

Abstract

Let $X$ be a CAT(0) cubical complex. The growth series of $X$ at $x$ is $G_{x}(t)=\sum_{y \in Vert(X)} t^{d(x,y)}$, where $d(x,y)$ denotes $\ell_{1}$-distance between $x$ and $y$. If $X$ is cocompact, then $G_{x}$ is a rational function of $t$. In the case when $X$ is the Davis complex of a right-angled Coxeter group it is a well-known that $G_{x}(t)=1/f_{L}(-t/(1+t))$, where $f_{L}$ denotes the $f$-polynomial of the link $L$ of a vertex of $X$. We obtain a similar formula for general cocompact $X$. We also obtain a simple relation between the growth series of individual orbits and the $f$-polynomials of various links. In particular, we get a simple proof of reciprocity of these series ($G_{x}(t)=\pm G_{x}(t^{-1})$) for an Eulerian manifold $X$.

Growth series of CAT(0) cubical complexes

Abstract

Let be a CAT(0) cubical complex. The growth series of at is , where denotes -distance between and . If is cocompact, then is a rational function of . In the case when is the Davis complex of a right-angled Coxeter group it is a well-known that , where denotes the -polynomial of the link of a vertex of . We obtain a similar formula for general cocompact . We also obtain a simple relation between the growth series of individual orbits and the -polynomials of various links. In particular, we get a simple proof of reciprocity of these series () for an Eulerian manifold .

Paper Structure

This paper contains 12 theorems, 35 equations.

Key Result

Theorem 1

If $G$ is a right-angled Coxeter group and $X$ is its Davis complex, then

Theorems & Definitions (19)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Corollary 5
  • proof
  • Lemma 6
  • proof
  • Corollary 7
  • Lemma 8
  • ...and 9 more