We develop the foundations of a geometric theory of countably-infinite approximate groups, extending work of Bjorklund 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 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.
In this paper, we attempt to develop the Quillen Suslin theory for the algebraic fundamental group of a ring. We give a surjective group homomorphism from the algebraic fundamental group of the field of the real numbers to the group of integers. At the end of the paper, we also propose some problems related to the algebraic fundamental group of some particular type of rings.
We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $ngeq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.
We construct explicit examples of geodesics in the mapping class group and show that the shadow of a geodesic in mapping class group to the curve graph does not have to be a quasi-geodesic. We also show that the quasi-axis of a pseudo-Anosov element of the mapping class group may not have the strong contractibility property. Specifically, we show that, after choosing a generating set carefully, one can find a pseudo-Anosov homeomorphism f, a sequence of points w_k and a sequence of radii r_k so that the ball B(w_k, r_k) is disjoint from a quasi-axis a of f, but for any projection map from mapping class group to a, the diameter of the image of B(w_k, r_k) grows like log(r_k).
We study fixed point properties of the automorphism group of the universal Coxeter group Aut$(W_n)$. In particular, we prove that whenever Aut$(W_n)$ acts by isometries on complete $d$-dimensional CAT$(0)$ space with $d<lfloorfrac{n}{2}rfloor$, then it must fix a point. We also prove that Aut$(W_n)$ does not have Kazhdans property (T). Further, strong restrictions are obtained on homomorphisms of Aut$(W_n)$ to groups that do not contain a copy of Sym(n).