A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Infinitely many closed geodesics on spheres and three-manifolds
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:curvy surfaces Levels:1
Category:Differential geometry Lean version:not yet
Rate this game! 4.7 out of 5 (8,318 votes)

>>> How to Play <<<
Infinitely many closed geodesics on Riemannian spheres and closed three-manifolds. Proves that every smooth Riemannian metric on Sn, n ≥ 2, has infinitely many prime closed geodesics with pairwise distinct images. The same conclusion holds on every closed manifold admitting a finite smooth spherical cover and on every closed three-manifold, without orientability or nondegeneracy restrictions.

>>> Level Select <<<
released 2026-09-24  |  8 theorems · 23 lemmas · 37 proofs · 23,901 words  |  PLAY LEVEL 1 »  (pdf)
We resolve the sphere case of the closed-geodesic infinitude problem: every smooth Riemannian metric on the standard sphere Sn, n ≥ 2, has infinitely many prime closed geodesics with pairwise distinct images. The two-sphere case is classical; the result in higher dimensions includes degenerate metrics. Using finite covers and theorems of Perelman and Rademacher–Taimanov, we also obtain the same conclusion for every smooth Riemannian metric on a nonempty closed smooth three-manifold.

More Differential geometry Games!
Gigli's characterization of Alexandrov curvatureBi-Lipschitz coordinates at every regular RCD pointA three-manifold with no conjugate points and no nonpositively curved metricNegative Kähler curvature without bounded holomorphic coordinates
Villani’s convexity conjecture and regular optimal transportCounterexamples to Yau's harmonic dimension boundSmooth isometric immersions of surfaces into $\mathbb R^4$A smooth surface metric with no local immersion in $\mathbb R^3$

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games