Discrete fundamental groups of warped cones and expanders (Q1741823)

The author computes the discrete fundamental groups of warped cones. He shows that there exist coarsely simply connected expanders and superexpanders. \par He gives definitions of objects that are central to his investigations: \par A warped cone is an infinite metric space with bounded geometry that is constructed starting from an action of a group $ \Gamma $ on a base metric space $X$. \par An expander is a sequence of finite graphs that have vertex sets of increasing cardinality, are sparse (i.e. have uniformly bounded degrees), but are at the same time highly connected. \par A box space is a collection of Cayley graphs of finite quotients of a finitely generated group $\Lambda$. \par The author describes the organization of the present paper and its connection to the existing literature carefully. The following section headings indicate the development of the presented theory: Coarse geometry, Actions and warped metrics, Box spaces, Discrete fundamental group, Jumping-fundamental group, Discretisations of jumping-paths, Criteria for explicit computations, Computing the discrete fundamental group of warped cones, Limits of discrete fundamental groups as coarse invariants for warped systems, Warped cones and box spaces.