Arxiv:2012.15303V1 [Math.GR]
Total Page:16
File Type:pdf, Size:1020Kb
Foundations of geometric approximate group theory Matthew Cordes Tobias Hartnick Vera Toni´c MATHEMATICS DEPARTMENT, ETH ZÜRICH, SWITZERLAND Email address: [email protected] INSTITUT FÜR ALGEBRA UND GEOMETRIE, KIT, GERMANY Email address: [email protected] MATHEMATICS DEPARTMENT,UNIVERSITY OF RIJEKA, CROATIA Email address: [email protected] arXiv:2012.15303v1 [math.GR] 30 Dec 2020 2020 Mathematics Subject Classification. Primary: 20N99; Secondary: 20F65, 20F67, 20F69 Key words and phrases. Approximate group, geometric group theory, limit set, asymptotic dimension, Morse boundary ABSTRACT. We develop the foundations of a geometric theory of countably-infinite approximate groups, extending work of Björklund and the second-named author. Our theory is based on the notion of a quasi- isometric quasi-action (qiqac) of an approximate group on a metric space. More specifically, we introduce a geometric notion of finite generation for approximate group and prove that every geometrically finitely-generated approximate group admits a geometric qiqac on a proper geodesic metric space. We then show that all such spaces are quasi-isometric, hence can be used to associate a canonical QI type with every geometrically finitely-generated approximate group. This in turn allows us to define geometric invariants of approximate groups using QI invariants of metric spaces. Among the invariants we consider are asymptotic dimension, finiteness properties, numbers of ends and growth type. A particular focus is on qiqacs on hyperbolic spaces. Our strongest results are obtained for approxi- mate groups which admit a geometric qiqac on a proper geodesic hyperbolic space. For such “hyperbolic approximate groups” we establish a number of fundamental properties in analogy with the case of hyper- bolic groups. For example, we show that their asymptotic dimension is one larger than the topological dimension of their Gromov boundary and that - under some mild assumption of being “non-elementary” - they have exponential growth and act minimally on their Gromov boundary. We also show that every non-elementary hyperbolic approximate group of asymptotic dimension 1 is quasi-isometric to a finitely- generated non-abelian free group. We also study proper qiqacs of approximate group on hyperbolic spaces, which are not necessarily cobounded. Here one focus is on convex cocompact qiqacs, for which we provide several geometric char- acterizations à la Swenson. In particular we show that all limit points of a convex cocompact qiqac are conical, whereas in general the conical limit set contains additional information. Finally, using the theory of Morse boundaries, we extend some of our results concerning qiqacs on hyperbolic spaces to qiqacs on proper geodesic metric spaces with non-trivial Morse boundary. Throughout this book we emphasize different ways in which definitions and results from geometric group theory can be extended to approximate groups. In cases where there is more than one way to extend a given definition, the relations between different possible generalizations are carefully explored. Contents Chapter 1. Introduction 5 1. A historical perspective 5 2. A mantra for the reader 7 3. Three approaches to geometric group theory 8 4. Fundamental notions of geometric approximate group theory 9 5. Quasi-isometric quasi-actions on hyperbolic spaces 11 Acknowledgements 13 Chapter 2. Basic constructions of approximate groups 15 1. Categories of filtered groups 15 2. Approximate groups and related notions 16 3. Morphisms between approximate groups 19 4. Intersections and images under local (quasi-)morphisms 21 5. Pre-images and (partial) kernels 22 6. Extensions of approximate groups 26 7. Model sets and approximate lattices 27 Chapter 3. Large-scale geometry of approximate groups 29 1. The coarse space associated with a countable approximate group 29 2. Coarse invariants of countable approximate groups 31 3. External and internal QI type 35 4. Distortion 38 5. Growth of approximate groups 39 Chapter 4. Geometric quasi-actions of approximate groups 43 1. Isometric actions of approximate groups 43 2. Quasi-isometric quasi-actions (qiqacs) 46 3. Geometric quasi-actions 49 4. Left-regular quasi-actions 51 5. The Milnor-Schwarz lemma and its variants 54 Chapter 5. Hyperbolic approximate groups and their boundaries 59 1. Hyperbolic approximate groups 59 2. Hyperbolic approximate groups are visual 60 3. Boundaries of hyperbolic approximate groups 61 4. Embeddings of hyperbolic approximate groups 65 5. Non-elementary hyperbolic approximate groups 68 Chapter 6. Limit sets of quasi-isometric quasi-actions 71 1. Morse and Gromov limit sets of approximate groups 71 2. Conical limit points 74 3. Qiqacs with stable quasi-orbits 78 4. Convex cocompact qiqacs 78 3 4 CONTENTS Chapter 7. Asymptotic dimension 83 1. Summary of results 83 2. Background on dimension theory 84 3. An asymptotic Hurewicz mapping theorem for countable approximate groups 85 4. Asymptotic dimension of non-finitely generated countable approximate groups 87 5. Asymptotic dimension vs. dimension of the boundary 89 6. Preliminaries for the proof of Theorem 7.21 90 7. Proof of Theorem 7.21 92 Chapter 8. Growth in non-elementary hyperbolic approximate groups 99 1. The case of asymptotic dimension 1 99 2. The case of higher asymptotic dimension 100 Appendix A. Background from large-scale geometry 105 1. Notations concerning (pseudo-)metric spaces 105 2. Coarse maps and coarse equivalences 106 3. Quasi-isometries, bi-Lipschitz maps and rough isometries 107 4. Geodesics and quasi-geodesics in pseudo-metric spaces 108 5. Coarsely connected and large-scale geodesic spaces 110 6. Spaces of coarse bounded geometry 111 7. Coarse ends of metric spaces 112 Appendix B. Some notions from geometric group theory 115 1. Left-invariant (pseudo-)metrics on groups 115 2. The coarse class of a countable group 116 3. The canonical QI class of a finitely-generated group 117 4. Free groups and combinatorics of words 119 5. Quasimorphisms and quasi-homomorphisms 124 6. Reconstruction theorems for homogeneous quasimorphisms 127 Appendix C. Morse hyperbolic spaces and their Gromov boundaries 129 1. Gromov, Rips and Morse hyperbolic spaces 129 2. Boundaries of Gromov and Morse hyperbolic spaces 131 3. Visual metrics 133 Appendix D. Morse boundaries of proper geodesic metric spaces 135 1. Definition and basic properties 135 2. Ideal Morse triangles 138 3. Limit sets and stable subspaces 138 4. Weak hulls 140 Appendix. Index 143 Appendix. Bibliography 149 CHAPTER 1 Introduction The goal of this book is to extend a number of foundational results in geometric group theory from finitely-generated groups to “finitely-generated” approximate groups, and thus to carry out a program that was suggested by Michael Björklund and the second-named author in [BH18a, Chapter 3]. In this introduction we first explain some of the origins of this program. We then point out some of the difficulties in its implication and survey a few sample results from the new theory. 1. A historical perspective REMARK 1.1 (From algebra to quasi-algebra). From the syntactic point of view (as developed in the early 20th century), algebra is concerned with “sets with operations” (e.g. group, rings, fields). These operations transform a number of elements of the underlying set to another element of this set. To relate different sets with operations (of the same type) one then studies maps between the underlying sets which preserve the given operations. It was already pointed out by Ulam in the 1940s (and later popularized in his book [Ula60]) that this setting may be too rigid to encompass many phenomena of interest, both within mathematics and in mathematical applications. Instead of studying functions which satisfy strict functional equations such as “f(g + h) = f(g)+ f(h)”, Ulam suggested to investigate functions which only satisfy such functional equations “approximately”. This idea has since manifested itself in many different areas of mathematics, from stability problems in functional analysis to the study of group quasimorphisms and bounded cohomology - see [BOT13, FK16, HS16] for some recent examples. An even more radical idea is to consider structures, i.e. sets with operations, in which the oper- ations themselves do not produce elements of the underlying set, but rather elements of a larger set which are in some sense “close” to the original set. It was this latter step of “quasifying not only the morphisms, but also the objects”, which (in the early 21st century) lead to the creation of a new kind of quasi-algebra. Approximate groups are among the main protagonists of this new world, and can be defined as follows (see Definition 2.8). DEFINITION 1.2. Let G be a group and k N. A subset Λ G is called a k-approximate subgroup ∈ ⊂ of G if it is symmetric (i.e. x Λ = x−1 Λ) and contains the identity, and if there is a finite set ∈ ⇒ ∈ F G of cardinality k such that for all x, y Λ there exist z Λ and f F with xy = zf. ⊂ ∈ ∈ ∈ In this case we denote by Λ∞ the subgroup of G generated by Λ and call the pair (Λ, Λ∞) a k- approximate group. It is interesting to compare the genesis and history of approximate groups to the genesis and history of groups: REMARK 1.3 (Some milestones in the history of group theory). While the modern definition of a group is less than 150 years old, specific classes of groups have been studied since antiquity. Even after the definition of abstract groups, the focus of the theory has always been on specific classes of examples, often arising from other mathematical areas. Some important historical milestones in the development of modern group theory can be listed as follows1: 1We admit that these milestones are chosen with a certain bias towards concepts relevant to approximate groups and geometric group theory. 5 6 1. INTRODUCTION Finite groups and permutation groups became more and more important in number theory • and algebra during the 18th and 19th century, due to work of Gauß, Abel, Galois, Kummer, Dedekind and many others.