---
tag: XC8BRYJN93
kind: statement
role: theorem
name: Gromoll–Meyer theorem on closed geodesics
msc: ["58E10", 53C22]
uses: [7CBT4SM83Y, 4MCCP8GG4J, SGGXZ3TBSA, ST71ZV3FES]
about: [4MCCP8GG4J]
sources:
  - url: https://en.wikipedia.org/wiki/Closed_geodesic
---

## Statement

Let $M$ be a compact, simply connected smooth manifold without boundary, and let $\Lambda M$ be its [[free loop space|SGGXZ3TBSA]].
Assume that for some field $F$ the sequence of [[Betti numbers|ST71ZV3FES]] $b_k(\Lambda M; F) = \dim_F H_k(\Lambda M; F)$, $k \ge 0$, is unbounded.
Then for every Riemannian metric $g$ on $M$, the [[Riemannian manifold|7CBT4SM83Y]] $(M, g)$ has infinitely many geometrically distinct [[closed geodesics|4MCCP8GG4J]].

## Remarks

The idea of the proof is this.
Suppose there were only finitely many geometrically distinct closed geodesics.
Each critical orbit of the energy on $\Lambda M$, with all its iterates, contributes to the homology of $\Lambda M$ only in a controlled way.
The indices of iterates grow linearly, and the local homology of iterates takes only finitely many forms.
This forces the Betti numbers of $\Lambda M$ to be bounded, a contradiction.

By a theorem of Vigué-Poirrier and Sullivan, for $F = \Q$ the Betti numbers of $\Lambda M$ are unbounded exactly when the rational cohomology ring $H^*(M; \Q)$ needs at least two generators.
So the hypothesis holds, for example, for $M = S^2 \times S^2$.
The hypothesis fails for spheres and for compact rank one symmetric spaces, whose rational cohomology is generated by one element.
For $S^2$ the conclusion still holds by the theorem of [[Bangert and Franks|X93AEE88PX]].

## Explanations

### L1 human

Suppose the space of all loops on a manifold has very complicated topology.
Then every Riemannian metric on the manifold has infinitely many essentially different closed geodesics.
The complexity is measured by the Betti numbers of the loop space, which count holes of each dimension.
The point is that finitely many closed geodesics, even with all their repetitions, cannot account for unbounded numbers of holes.

### L2 human

The theorem is a basic result of Morse theory on the free loop space.
There closed geodesics are critical orbits of the energy, for the circle action that rotates the parameter.
Its main technical inputs are the growth of the Morse index under iteration and a finiteness result for local homology of degenerate critical orbits.
It is a well-known open question whether every compact simply connected Riemannian manifold of dimension at least $2$ has infinitely many closed geodesics.
The Gromoll–Meyer theorem settles it when the loop space homology grows.