Abstract
An anti-torus is a subgroup 〈a,b 〉 in the fundamental group of a compact non-positively curved space X, acting in a specific way on the universal covering space X such that a and b do not have any commuting nontrivial powers. We construct and investigate anti-tori in a class of commutative transitive fundamental groups of finite square complexes, in particular for the groups Γp,l originally studied by Mozes [Israel J. Math. 90(1–3) (1995), 253–294]. It turns out that anti-tori in Γp,l directly correspond to non commuting pairs of Hamilton quaternions. Moreover, free anti-tori in Γp,l are related to free groups generated by two integer quaternions, and also to free subgroups of \(SO_3(\mathbb{Q})\). As an application, we prove that the multiplicative group generated by the two quaternions 1+2i and 1+4k is not free.
Similar content being viewed by others
References
Bestvina, M.: Questions in geometric group theory, version of 22 August 2000, http://www.math.utah.edu/∼bestvina
M. R. Bridson A. Haefliger (1999) Metric Spaces of Non-positive Curvature Springer-Verlag Berlin
M. R. Bridson D. T. Wise (1999) ArticleTitle \({\cal V}{\cal H}\) complexes, towers and subgroups of F× F Math. Proc. Cambridge Philos. Soc. 126 IssueID3 481–497 Occurrence Handle10.1017/S0305004199003503
Burger, M. and Mozes, S.: Groups acting on trees: from local to global structure, Inst. Hautes Études Sci. Publ. Math. 92 (2000), 113–150 (2001).
Burger, M. and Mozes, S.: Lattices in product of trees, Inst. Hautes Études Sci. Publ. Math. 92 (2000), 151–194 (2001).
Burger, M., Mozes, S. and Zimmer, R. J.: Linear representations and arithmeticity for lattices in products of trees, Preprint, 2004, http://www.fim.math.ethz.ch/ preprint /2004/burger-mozes-zimmer.pdf
G. Davidoff P. Sarnak A. Valette (2003) Elementary Number Theory, Group Theory, and Ramanujan Graphs Cambridge University Press Cambridge
The GAP group, Aachen, St. Andrews, GAP – Groups, Algorithms, and Programming, Version 4.2; 2000, http://www.gap-system.org
J. S. Kimberley G. Robertson (2002) ArticleTitleGroups acting on products of trees, tiling systems and analytic K-theory New York J. Math 8 111–131
G. Liu L. C. Robertson (1999) ArticleTitleFree subgroups of SO \(_3(\mathbb Q)\) Comm. Algebra 27 IssueID4 1555–1570
A. Lubotzky (1994) Discrete Groups, Expanding Graphs and Invariant Measures. Birkhäuser Basel
G. A. Margulis (1991) Discrete Subgroups of Semisimple Lie Groups Springer-Verlag New York
S. Mozes (1991) A Zero Entropy, Mixing of all Orders Tiling System, Symbolic dynamics and its applications New Haven CT 319–325
S. Mozes (1994) ArticleTitleOn closures of orbits and arithmetic of quaternions Israel J. Math 86 IssueID1–3 195–209
S. Mozes (1995) ArticleTitleActions of Cartan subgroups Israel J. Math 90 IssueID1–3 253–294
Rattaggi, D.: Computations in groups acting on a product of trees: normal subgroup structures and quaternion lattices, PhD thesis, ETH Zürich, 2004.
D. Rattaggi G. Robertson (2005) ArticleTitleAbelian subgroup structure of square complex groups and arithmetic of quaternions J. Algebra 286 IssueID1 57–68 Occurrence Handle10.1016/j.jalgebra.2005.01.003
Stallings, J. R.: On torsion-free groups with infinitely many ends, Ann. of Math. 88 (2) (1968), 312–334.
S. Wagon (1993) The Banach–Tarski Paradox Cambridge University Press Cambridge
Wise, D. T.: Non-residually curved squared complexes, aperiodic tilings, and nonresidually finite groups, PhD thesis, Princeton University, 1996.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rattaggi, D. Anti-tori in Square Complex Groups. Geom Dedicata 114, 189–207 (2005). https://doi.org/10.1007/s10711-005-5538-9
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s10711-005-5538-9