Abstract:We study the geometry of compact geodesic spaces with trivial first Betti number admitting large finite groups of isometries. We show that if a finite group $G$ acts by isometries on a compact geodesic space $X$ whose first Betti number vanishes, then diam$(X) / $diam$(X / G ) \leq 4 \sqrt{ \vert G \vert }$. For a group $G$ and a finite symmetric generating set $S$, $P_k(\Gamma (G, S))$ denotes the 2-dimensional CW-complex whose 1-skeleton is the Cayley graph $\Gamma$ of $G$ with respect to $S$ and whose 2-cells are $m$-gons for $0 \leq m \leq k$, defined by the simple graph loops of length $m$ in $\Gamma$, up to cyclic permutations. Let $G$ be a finite abelian group with $\vert G \vert \geq 3$ and $S$ a symmetric set of generators for which $P_k(\Gamma (G,S))$ has trivial first Betti number. We show that the first nontrivial eigenvalue $-\lambda_1$ of the Laplacian on the Cayley graph satisfies $\lambda_1 \geq 2 - 2 \cos ( 2 \pi / k ) $. We also give an explicit upper bound on the diameter of the Cayley graph of $G$ with respect to $S$ of the form $O (k^2 \vert S \vert \log \vert G \vert )$. Related explicit bounds for the Cheeger constant and Kazhdan constant of the pair $(G,S)$ are also obtained.

Besse projective spaces with many diameters

The Structure of Spaces with Bakry–Émery Ricci Curvature Bounded Below

The length of the shortest closed geodesic on positively curved 2-spheres

Closed geodesics in dilation surfaces

Diophantine approximation, large intersections and geodesics in negative curvature

Diameter, Area, and Mean curvature

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Constraints on embedded spheres and real projective planes in 4-manifolds from Seiberg-Witten theory

Diameter estimates for surfaces in conformally flat spaces

Sphere-like isoparametric hypersurfaces in Damek-Ricci spaces

Two-sided bounds for the complexity of cyclic branched coverings of two-bridge links

Min-max theory and existence of H-spheres with arbitrary codimensions

Besicovitch's 1/2 problem and linear programming

On the Geometry of Spheres with Positive Curvature

Fundamental groups and group presentations with bounded relator lengths

Sharp pinching theorems for complete submanifolds in the sphere

A space level light bulb theorem in all dimensions

Diameter estimates for submanifolds in manifolds with nonnegative curvature

Superdensity and bounded geodesics in moduli space

A topological sphere theorem for submanifolds of the hyperbolic space