1 · The essentials
A curved space can have paths that follow its geometry without turning aside and eventually return to where they started. The question here is whether there must be infinitely many different such closed paths. The main manuscript claims that the answer is yes on every sphere of dimension two or higher, for every smooth choice of geometry. Going around the same path several times does not count as finding a new one, and the claimed paths trace genuinely different sets of points. The manuscript also claims the same conclusion for every nonempty closed smooth three-dimensional manifold, meaning a compact smooth space without boundary. The source further extends the conclusion to closed manifolds that have a finite smooth spherical cover. These claims have not been formally verified, and the main result is not formalized in Lean.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine routes on a curved landscape that always continue straight according to the landscape itself and eventually close into loops. The claim is about infinitely many genuinely different routes, not infinitely many laps around one route; an ordinary landscape is only an image for the spaces under discussion.
Why it matters
The claimed sphere result applies to every smooth Riemannian metric, rather than requiring a special choice of geometry. In higher dimensions it explicitly includes degenerate metrics. The three-dimensional conclusion likewise has no orientability or nondegeneracy restriction.
2 · Going further
The precise sphere claim is that, for every smooth Riemannian metric on the standard sphere with , there are infinitely many prime closed geodesics with pairwise distinct images. Here, “prime” excludes repeated traversals of a shorter closed geodesic, while distinct images require genuinely different geometric traces. The abstract describes the two-sphere case as classical and presents the higher-dimensional statement, including degenerate metrics, as resolving the sphere case of the closed-geodesic infinitude problem.
The supplied abstract does not describe the argument establishing infinitude on spheres. It does state that finite covers, together with theorems of Perelman and Rademacher–Taimanov, are used to obtain the same conclusion for every smooth Riemannian metric on a nonempty closed smooth three-manifold. The repository summary also states the conclusion for every closed manifold admitting a finite smooth spherical cover. Neither the relevant theorems nor the details of this passage through covers are supplied.
Only the main manuscript is provided, so no relationship with companion manuscripts can be described from this source. Its central result remains a manuscript claim: it is not formalized in Lean and has not been formally verified.
Useful notions
- Smooth manifolds and spheres
- Riemannian metrics
- Geodesics and closed geodesics
- Prime paths versus repeated traversals
- Finite smooth covering maps
What was known before / what is new
Before
The abstract identifies the two-sphere case as classical. It also cites theorems of Perelman and Rademacher–Taimanov as ingredients in the three-manifold conclusion, but supplies neither their statements nor further historical context.
New
The manuscript claims infinitude of prime closed geodesics with pairwise distinct images on every smooth Riemannian sphere in dimensions at least two, with the higher-dimensional claim including degenerate metrics. The source also states this conclusion for closed manifolds admitting finite smooth spherical covers and for all nonempty closed smooth three-manifolds. The three-manifold statement imposes no orientability or nondegeneracy restriction.
Limits and assumptions
The sphere statement concerns smooth Riemannian metrics on standard spheres of dimension at least two. The other stated classes are closed manifolds admitting finite smooth spherical covers and nonempty closed smooth three-manifolds; the source does not assert the conclusion for arbitrary manifolds outside these classes. The abstract does not provide the sphere argument or specify what remains open beyond the stated scope. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Riemannian metric —
- A smooth choice of geometry that specifies lengths and angles on a manifold.
- Closed geodesic —
- A path that follows the geometry without turning aside and closes smoothly on itself.
- Prime closed geodesic —
- A closed geodesic that is not a repeated traversal of a shorter closed geodesic.
- Pairwise distinct images —
- The requirement that no two of the paths trace exactly the same set of points.
- Closed manifold —
- A compact manifold without boundary.
- Finite smooth spherical cover —
- A smooth covering map from a sphere onto a manifold with finitely many sheets.
Keywords : Closed geodesics · Riemannian spheres · Three-manifolds
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Infinitely many closed geodesic images on every Riemannian sphere
24/09/2026We 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.