Automaton groups and complete square complexes

Ievgen Bondarenko¹ ; Bohdan Kivva²

¹National Taras Shevchenko University of Kyiv, Ukraine
²University of Chicago, USA

Groups, geometry, and dynamics, Tome 16 (2022) no. 1, pp. 305-332

Résumé

The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for short) with twelve squares. At the same time, Janzen and Wise proved that CSCs with at most three, five or seven squares have residually finite fundamental group. The smallest open cases were CSCs with four squares and directed complete VH complexes with six squares. We prove that the CSC with four squares studied by Janzen and Wise has a non-residually finite fundamental group. For the class of complete directed VH complexes, we prove that there are exactly two complexes with six squares having a non-residually finite fundamental group. In particular, this positively answers to a question of Wise. Our approach relies on the connection between square complexes and automata discovered by Glasner and Mozes, where complete VH complexes with one vertex correspond to bireversible automata. We prove that the square complex associated to a bireversible automaton with two states or over the binary alphabet generating an infinite automaton group has a non-residually finite fundamental group. We describe automaton groups associated to CSCs with four squares and get two simple automaton representations of the free group F2​.

Détail

DOI : 10.4171/ggd/649

Classification : 20-XX
Mots-clés : Square complex, bireversible automaton, residual finiteness, automaton group