1: \begin{abstract}
2: Let $G$ be a finite group with symmetric generating set $S$, and let
3: $c = \max_{R > 0} \frac{|B(2R)|}{|B(R)|}$ be the
4: doubling constant of the corresponding Cayley graph, where $B(R)$ denotes an $R$-ball
5: in the word-metric
6: with respect to $S$.
7: We show
8: that the multiplicity of the $k$th eigenvalue of the Laplacian on the Cayley
9: graph of $G$
10: is bounded by a function of only $c$ and $k$. More specifically,
11: the multiplicity is at most $\exp\left(O(\log c)(\log c + \log k)\right)$.
12:
13: Similarly, if $X$ is a compact, $n$-dimensional Riemannian manifold
14: with non-negative Ricci curvature, then the multiplicity
15: of the $k$th eigenvalue of the Laplace-Beltrami operator on $X$
16: is at most $\exp\left(O(n) (n + \log k))\right)$.
17:
18: The first result (for $k=2$) yields the following group-theoretic application.
19: There exists a normal subgroup $N$ of $G$, with $[G : N] \leq \alpha(c)$, and
20: such that $N$ admits a homomorphism onto $\mathbb Z_M$, where
21: $M \geq |G|^{\delta(c)}$ and
22: \begin{eqnarray*}
23: \alpha(c) &\leq& O(h)^{h^2} \\
24: \delta(c) &\geq& \frac{1}{O(h \log c)},
25: \end{eqnarray*}
26: where $h \leq \exp((\log c)^2)$.
27: This is an effective, finitary analog of
28: a theorem of Gromov which states that every infinite group of polynomial growth
29: has a subgroup of finite index which admits a homomorphism onto $\mathbb Z$.
30:
31: This addresses a question of Trevisan, and is proved by scaling down
32: Kleiner's proof of Gromov's theorem. In particular,
33: we replace the space of harmonic functions of fixed polynomial growth
34: by the second eigenspace of the Laplacian on the Cayley graph of $G$.
35: \remove{
36: Finally, we use this to show that there exists a constant $K = K(c)$ such that $G$
37: contains a $K$-step normal nilpotent subgroup $H$ with $[G : H] \leq K$,
38: yielding a finitary version of Gromov's theorem on infinite groups
39: of polynomial growth.}
40: \end{abstract}
41: