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.

The Mayer-Vietoris Sequence for Graphs of Groups, Property (T), and the First $\ell^2$-Betti Number

$\ell^2$ Betti numbers and coherence of random groups

On vanishing criteria of $L^2$-Betti numbers of groups

Cohomologically Induced Distinguished Representations and Cohomological Test Vectors

L2-determinant class and approximation of L2-Betti numbers

An algebraic criterion for the vanishing of bounded cohomology

Weak notions of normality and vanishing up to rank in L2-cohomology

A geometric proof of Lück's vanishing theorem for the first $L^2$-Betti number of the total space of a fibration

Asymptotics of rational representations for algebraic groups

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Fundamental groups and group presentations with bounded relator lengths

Eigencones and the PRV conjecture

An extension of Steinberg's Theorem to biquotient pairs of subgroups

First $\ell^2$-Betti numbers and proper proximality

Computation of cohomology of vertex algebras

On the degree-two part of the associated graded of the lower central series of the Torelli group

The low dimensional homology groups of the elementary group of rank two

Effective zero-cycles and the Bloch-Beilinson filtration

$L^2$-vanishing theorem and a conjecture of Kollár

Strong 1-boundedness, $L^2$-Betti numbers, algebraic soficity, and graph products

Equivariant elliptic cohomology and the 2-loop groupoid