English

Dead ends and rationality of complete growth series

Group Theory 2024-07-08 v2

Abstract

The complete growth series of a finitely generated group is given by n0Ansn\sum_{n\ge 0} A_ns^n, where AnA_n is the sum of elements of length nn in the group semiring. We study the NG\mathbb NG-rationality and NG\mathbb NG-algebraicity of such series. We show that having dead ends of arbitrarily large depths is an obstruction to NG\mathbb NG-rationality. In the case of the 33-dimensional Heisenberg group H3(Z)H_3(\mathbb Z), we prove that the complete series is not NG\mathbb NG-algebraic for any generating set. Dead ends are also used to show that complete growth series of higher Heisenberg groups are not NG\mathbb NG-rational for specific generating sets. Using a more general version of this obstruction, we prove that complete growth series of some lamplighter groups are not NG\mathbb NG-rational either.

Keywords

Cite

@article{arxiv.2210.07868,
  title  = {Dead ends and rationality of complete growth series},
  author = {Pierre Alderic Bagnoud and Corentin Bodart},
  journal= {arXiv preprint arXiv:2210.07868},
  year   = {2024}
}

Comments

20 pages, 9 figures. v2: Improved presentation for Section 3