zbMATH — the first resource for mathematics

Regular path systems and (bi)automatic groups. (English) Zbl 1165.20036
From the introduction: Few systematic methods are known to derive the fact that a group acting on a space is automatic (or biautomatic) out of the properties of the space. One of them is the method of automatic (or biautomatic) fundamental groupoids. However, this method is limited to the case of free actions only. To deal with actions that allow nontrivial, though finite, stabilizers one would like to have some orbispace analogue of this method, which seems to be not yet developed. Apart from applications to new classes of spaces, such a method could be potentially useful in classical cases as well. For example, it is still unknown whether a finite extension of a biautomatic group is biautomatic. Thus, even knowing that groups acting freely on some classes of spaces are biautomatic, it is in general not possible to claim the same for actions with nontrivial stabilizers (even when the existence of finite index subgroups acting freely is easy to establish).
In this paper we present a method as desired above. It is based on the newly introduced notions of automata over graphs and regular path systems in graphs and other spaces. The main tool of this method, Theorem 1.1, allows us to conclude that a group acting on a space properly discontinuously and cocompactly is automatic (or biautomatic) if there is an appropriate regular path system in the space. The details and proofs related to the method are presented in Sections 1-3.
As an addition to the above method we present also a (less inventive) idea of local recognition for paths in a space, proving that locally recognized path systems are regular (Section 7). This idea allows to establish automaticity (or biautomaticity) of some groups in purely geometric terms, as formulated in Corollary 7.2.
Using the method of this paper we prove new results in several directions. First, we extend some previously known results concerning biautomaticity to bigger classes of groups, by relaxing assumption that a group acts freely to assumption that it acts properly discontinuously (Subsections 8.1 and 8.3). Second, we show that groups acting properly discontinuously and cocompactly on so-called 6-systolic simplicial complexes are biautomatic (Subsection 8.2). Third, we prove that type-preserving groups acting in some natural way on arbitrary buildings are automatic, and discuss a sufficient condition for them to be biautomatic (Section 6). Finally, we give a sufficient condition for a finite semidirect extension of a biautomatic group to be biautomatic (Section 4, Corollary 4.5), and use it to prove that the wreath product of a biautomatic group by a finite group is biautomatic (Section 5). We also prove that if quotient of a group by a finite normal subgroup is biautomatic then the group is also biautomatic (Section 4, Corollary 4.3).
As a curiosity, we present (in Subsection 8.4) an alternative proof of the well-known fact that any Gromov hyperbolic group is biautomatic, based on the ideas developed in the paper.

20F65 Geometric group theory
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
57M07 Topological methods in group theory
05C25 Graphs and abstract algebra (groups, rings, fields, etc.)
Full Text: DOI
[1] Baumslag G., Gersten S., Shapiro M. and Short H. (1991). Automatic groups and amalgams. J. Pure Appl. Algebra 76: 229–316 · Zbl 0749.20006 · doi:10.1016/0022-4049(91)90139-S
[2] Bridson, M. and Haefliger, A.: Metric Spaces of Non-positive Curvature, Springer-Verlag, New York, 1999. · Zbl 0988.53001
[3] Brink B. and Howlett R. (1993). A finiteness property and an automatic structure for Coxeter groups. Math. Ann. 296: 179–190 · Zbl 0793.20036 · doi:10.1007/BF01445101
[4] Brown, K.: Buildings, Springer-Verlag, 1989.
[5] Caprace P.-E. and Mühlherr B. (2005). Reflection triangles in Coxeter groups and biautomaticity. J. Group Theory 8: 457–489 · Zbl 1081.20049 · doi:10.1515/jgth.2005.8.4.467
[6] Cartwright D. and Shapiro M. (1995). Hyperbolic buildings, affine buildings and automatic groups. Michigan Math. J. 42: 511–523 · Zbl 0852.51010 · doi:10.1307/mmj/1029005309
[7] Davis, M.: Buildings are CAT(0), in: P. Kropholler, G. Niblo and R. Stohr (eds), Geometry and Cohomology in Group Theory, London Math. Soc. Lecture Notes Ser. Cambridge University Press, 1998.
[8] Epstein D., Cannon J., Holt D., Levy S., Patterson M. and Thurston W. (1992). Word Processing in Groups. Jones and Barlett, Boston · Zbl 0764.20017
[9] Gersten S. and Short H. (1990). Small cancellation theory and automatic groups, Invent. Math. 102:305–334 · Zbl 0714.20016
[10] Gersten S. and Short H. (1991). Rational subgroups of biautomatic groups, Ann. of Math. 134:125–158 · Zbl 0744.20035 · doi:10.2307/2944334
[11] Gersten S. and Short H. (1991). Small cancellation theory and automatic groups, II. Invent. Math. 105:641–662 · Zbl 0734.20014 · doi:10.1007/BF01232283
[12] Niblo G., Reeves L. (1998). The geometry of cube complexes and the complexity of their fundamental groups. Topology 37 : 621–633 · Zbl 0911.57002 · doi:10.1016/S0040-9383(97)00018-9
[13] Niblo G., Reeves L. (2003). Coxeter groups act on CAT(0) cube complexes. J. Group Theory 6:399–413 · Zbl 1068.20040 · doi:10.1515/jgth.2003.028
[14] Noskov G. (2000). Combing Euclidean buildings. Geom. Topol. 4:85–116 · Zbl 1047.20031 · doi:10.2140/gt.2000.4.85
[15] Ronan, M.: Lectures on Buildings, Academic Press, New York, 1989. · Zbl 0694.51001
[16] Świątkowski, J. and Januszkiewicz T. Simplicial nonpositive curvature, Publ. Math. New York, l’IHES, to appear.
[17] Tits, J.: Buildings of Spherical Type and finite BN-pairs, Lecture Notes in Math. 386, Springer-Verlag, New York, 1974. · Zbl 0295.20047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.