We prove the generalized Margulis lemma with a uniform index bound on an Alexandrov $n$-space $X$ with curvature bounded below, i.e., small loops at $pin X$ generate a subgroup of the fundamental group of unit ball $B_1(p)$ that contains a nilpotent subgroup of index $le w(n)$, where $w(n)$ is a constant depending only on the dimension $n$. The proof is based on the main ideas of V.~Kapovitch, A.~Petrunin, and W.~Tuschmann, and the following results: (1) We prove that any regular almost Lipschitz submersion constructed by Yamaguchi on a collapsed Alexandrov space with curvature bounded below is a Hurewicz fibration. We also prove that such fibration is uniquely determined up to a homotopy equivalence. (2) We give a detailed proof on the gradient push, improving the universal pushing time bound given by V.~Kapovitch, A.~Petrunin, and W.~Tuschmann, and justifying in a specific way that the gradient push between regular points can always keep away from extremal subsets.
We discuss two generalizations of the collar lemma. The first is the stable neighborhood theorem which says that a (not necessarily simple) closed geodesic in a hyperbolic surface has a lqlq stable neighborhoodrqrq whose width only depends on the length of the geodesic. As an application, we show that there is a lower bound for the length of a closed geodesic having crossing number $k$ on a hyperbolic surface. This lower bound tends to infinity with $k$. Our second generalization is to totally geodesic hypersurfaces of hyperbolic manifolds. Namely, we construct a tubular neighborhood function and show that an embedded closed totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface (and hence not on the geometry of the ambient manifold). The implications of this result for volumes of hyperbolic manifolds is discussed. We also derive a (hyperbolic) quantitative version of the Klein-Maskit combination theorem (in all dimensions) for free products of fuchsian groups. Using this last theorem, we construct examples to illustrate the qualitative sharpness of the tubular neighborhood function.
We establish extremality of Riemannian metrics g with non-negative curvature operator on symmetric spaces M=G/K of compact type with rk(G)-rk(K)le 1. Let g be another metric with scalar curvature k, such that gge g on 2-vectors. We show that kge k everywhere on M implies k=k. Under an additional condition on the Ricci curvature of g, kge k even implies g=g. We also study area-non-increasing spin maps onto such Riemannian manifolds.
In this paper we study the relationship of hyperbolicity and (Cheeger) isoperimetric inequality in the context of Riemannian manifolds and graphs. We characterize the hyperbolic manifolds and graphs (with bounded local geometry) verifying this isoperimetric inequality, in terms of their Gromov boundary improving similar results from a previous work. In particular, we prove that having a pole is a necessary condition and, therefore, it can be removed as hypothesis.
We give new counterexamples to a question of Karsten Grove, whether there are only finitely many rational homotopy types among simply connected manifolds satisfying the assumptions of Gromovs Betti number theorem. Our counterexamples are homogeneous Riemannian manifolds, in contrast to previous ones. They consist of two families in dimensions 13 and 22. Both families are nonnegatively curved with an additional upper curvature bound and differ already by the ring structure of their cohomology rings with complex coefficients. The 22-dimensional examples also admit almost nonnegative curvature operator with respect to homogeneous metrics.