Foundations of geometric approximate group theory

We develop the foundations of a geometric theory of countably-infinite approximate groups, extending work of Bj\"orklund 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. For geometrically finitely-generated approximate groups of polynomial growth we derive a version of Gromov's polynomial growth theorem, based on work of Hrushovski and Breuillard--Green--Tao. A particular focus is on qiqacs on hyperbolic spaces. Our strongest results are obtained for approximate 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 hyperbolic 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 study convex cocompact qiqacs on hyperbolic spaces. 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.