Bridson, Burillo, Elder and Šunić asked if there exists a group with intermediate geodesic growth and if there is a characterization of groups with polynomial geodesic growth. Towards these questions, they showed that there is no nilpotent group with intermediate geodesic growth, and they provided a sufficient condition for a virtually abelian group to have polynomial geodesic growth. In this talk, we take the next step in this study and show that the geodesic growth for a finitely generated virtually abelian group is either polynomial or exponential; and that the generating function of this geodesic growth series is holonomic, and rational in the polynomial growth case. To obtain this result, we will make use of the combinatorial properties of the class of linearly constrained language as studied by Massazza. In addition, we show that the language of geodesics of a virtually abelian group is blind multicounter.
This video was produced by Newcastle University, Australia, as part of the Symmetries in Newcastle seminar series.
