Katok (1973) constructed non-reversible Finsler metrics on the nn-sphere SnS^n with exactly 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor distinct prime closed geodesics, and Anosov (1974) conjectured this number to be the sharp universal lower bound: every Finsler metric on SnS^n carries at least 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor distinct prime closed geodesics. This Katok–Anosov conjecture — together with Ziller's weaker companion conjecture of at least nn — is proved for S2S^2, for bumpy (non-degenerate) metrics with positively pinched flag curvature, and for strongly pinched positively curved spheres in even dimensions, but it remains open in full generality for every n≥3n\ge3: without non-degeneracy or curvature hypotheses, not even two prime closed geodesics are currently known on every Finsler nn-sphere.

Background

A Finsler metric on a smooth manifold MM is a continuous function F:TM→[0,∞)F:TM\to[0,\infty), smooth away from the zero section, positively homogeneous of degree one in the velocity (F(x,λy)=λF(x,y)F(x,\lambda y)=\lambda F(x,y) for λ>0\lambda>0), and such that the fiberwise second vertical derivatives of F2F^2 define a positive definite quadratic form; Riemannian metrics are the special reversible case F(x,y)=gx(y,y)F(x,y)=\sqrt{g_x(y,y)}. Unlike a Riemannian metric, a Finsler metric need not be reversible — F(x,−y)F(x,-y) may differ from F(x,y)F(x,y) — so its geodesic flow has a preferred direction of travel. A closed geodesic is a periodic solution of the geodesic equation; it is prime if it is not an iterate cm(t)=c(mt)c^m(t)=c(mt), m≥2m\ge2, of another one, and two prime closed geodesics are distinct if they differ by more than a shift of the circle parameter. For a non-reversible metric the reversed curve of a closed geodesic need not be a geodesic, so direction of travel matters when counting.

A classical existence theorem guarantees at least one closed geodesic on every compact Riemannian manifold, and a long-standing conjecture asserts that every compact Riemannian manifold carries infinitely many prime closed geodesics; this has been proved except for the compact rank one symmetric spaces (CROSSs: spheres, real, complex and quaternionic projective spaces, and the Cayley projective plane), with the case of the Riemannian 2-sphere settled by Franks (1992) and Bangert (1993). In the Finsler category the analogous infinitude statement is false: Katok (1973) constructed non-reversible Finsler metrics on CROSSs — in particular on every sphere SnS^n — with only finitely many prime closed geodesics, exactly 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor of them on SnS^n, all non-degenerate and elliptic; Ziller (1983) analyzed these examples in detail. Note that the count equals nn when nn is even and n+1n+1 when nn is odd, i.e. 2k2k on both S2kS^{2k} and S2k−1S^{2k-1}.

Motivated by these examples, Anosov conjectured in his 1974 ICM address that every Finsler metric on SnS^n carries at least 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor distinct prime closed geodesics; the recent literature calls this the Katok–Anosov conjecture. Ziller conjectured the weaker bound nn. Because Katok's examples attain the conjectured number, the Katok–Anosov bound would be optimal. The main attack tool is Morse theory of the energy functional on the free loop space ΛSn\Lambda S^n (where critical S1S^1-orbits of positive energy are precisely the closed geodesics), combined with iteration theory for the Morse indices of closed geodesics and index-jump theorems for symplectic matrix paths (the linearized Poincaré map of a closed geodesic is a symplectic matrix). Two structural parameters govern the known partial results: the reversibility λ=max⁡{F(−X)∣F(X)=1}≥1\lambda=\max\{F(-X)\mid F(X)=1\}\ge1 introduced by Rademacher, which measures how far FF is from reversible, and the flag curvature KK, the Finsler analogue of sectional curvature; a metric is called bumpy (non-degenerate) if 1 is not an eigenvalue of the linearized Poincaré map of any closed geodesic including iterates — a genericity condition.

The known partial results are: Bangert and Long (2010) proved the Katok–Anosov bound for S2S^2, i.e. at least two prime closed geodesics on every Finsler 2-sphere. For bumpy metrics with flag curvature pinched by (λ/(λ+1))2<K≤1(\lambda/(\lambda+1))^2<K\le1, Wang (2012) proved the full bound 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor; Duan, Long and Wang (2016) obtained sharp optimal bounds on all bumpy, non-negatively curved CROSSs, and two closed geodesics on bumpy Finsler spheres of dimension greater than two were obtained by Duan and Long (2007) and Rademacher (2006). Without non-degeneracy, all results require positive flag-curvature pinching: at least three prime closed geodesics (Duan 2015), at least ⌊(n+1)/2⌋\lfloor(n+1)/2\rfloor (Wang 2019), and most recently at least nn for n≥4n\ge4 under the stronger pinching (2n−3n−1)2(λλ+1)2<K≤1\left(\frac{2n-3}{n-1}\right)^2\left(\frac{\lambda}{\lambda+1}\right)^2<K\le1 with λ<n−1n−2\lambda<\frac{n-1}{n-2} (Duan–Xie 2025) — which reaches the full Katok–Anosov bound precisely in even dimensions and falls one short of n+1n+1 in odd dimensions. For completely arbitrary (possibly degenerate, unpinned) Finsler metrics on SnS^n with n≥3n\ge3, not even the existence of a second prime closed geodesic is known in full generality: the two-geodesic theorems are either generic (bumpy, cf. Wang 2020) or curvature-pinned. Wang (Nonlinear Anal. 2012) proves the lower bound nn prime closed geodesics without self-intersections under metric-comparison hypotheses (F2<((λ+1)/λ)2g0F^2<((\lambda+1)/\lambda)^2g_0 with g0g_0 the round metric, plus a lower bound l(Sn,F)≥π(1+1/λ)l(S^n,F)\ge\pi(1+1/\lambda) on the shortest geodesic loop) or under flag-curvature pinching, and a stability bound of 2⌊n/2⌋2\lfloor n/2\rfloor non-hyperbolic prime closed geodesics under stronger pinching.

Problem Statement

Prove or refute the Katok–Anosov conjecture: every smooth Finsler metric FF on the nn-sphere SnS^n with n≥3n\ge3 (the case n=2n=2 is already settled) carries at least

2⌊n+12⌋2\left\lfloor\frac{n+1}{2}\right\rfloor

distinct prime closed geodesics — equivalently, at least 2k2k on S2kS^{2k} and at least 2k2k on S2k−1S^{2k-1} for every k≥2k\ge2 — under no genericity, non-degeneracy, reversibility, or curvature-pinning hypothesis on FF. A proof implies in particular the weaker conjecture of Ziller that every Finsler nn-sphere carries at least nn prime closed geodesics (identical to the Katok–Anosov bound for even nn, weaker by one for odd nn). A refutation consists of a Finsler metric on some SnS^n, n≥3n\ge3, carrying fewer than 2⌊(n+1)/2⌋2\lfloor(n+1)/2\rfloor distinct prime closed geodesics; by Katok's examples, such a metric would have strictly fewer closed geodesics than the known extremal examples. Counting convention: closed geodesics are counted up to shift of the circle parameter and up to iteration (prime geodesics only), and for a non-reversible metric a geodesic and its reverse curve count as two distinct prime closed geodesics only when both are geodesics.

References

  1. W. Wang, Existence of closed geodesics on Finsler n-spheres, Nonlinear Analysis: Theory, Methods & Applications 75 (2012), no. 2, 751–757. DOI: 10.1016/j.na.2011.09.008, https://doi.org/10.1016/j.na.2011.09.008 (arXiv:0909.3566, https://arxiv.org/abs/0909.3566)
  2. D. V. Anosov, Geodesics in Finsler geometry, in: Twenty Lectures Delivered at the International Congress of Mathematicians in Vancouver, 1974, American Mathematical Society Translations, Series 2, vol. 109, American Mathematical Society, 1977, pp. 81–85. DOI: 10.1090/trans2/109/13, https://doi.org/10.1090/trans2/109/13
  3. A. B. Katok, Ergodic perturbations of degenerate integrable Hamiltonian systems, Mathematics of the USSR-Izvestiya 7 (1973), no. 3, 535–571. DOI: 10.1070/IM1973v007n03ABEH001958, https://doi.org/10.1070/IM1973v007n03ABEH001958
  4. W. Ziller, Geometry of the Katok examples, Ergodic Theory and Dynamical Systems 3 (1983), no. 1, 135–157. DOI: 10.1017/S0143385700001851, https://doi.org/10.1017/S0143385700001851
  5. J. Franks, Geodesics on S^2 and periodic points of annulus homeomorphisms, Inventiones Mathematicae 108 (1992), no. 2, 403–418. DOI: 10.1007/BF02100612, https://doi.org/10.1007/BF02100612
  6. V. Bangert, On the existence of closed geodesics on two-spheres, International Journal of Mathematics 4 (1993), no. 1, 1–10. DOI: 10.1142/S0129167X93000029, https://doi.org/10.1142/S0129167X93000029
  7. V. Bangert and Y. Long, The existence of two closed geodesics on every Finsler 2-sphere, Mathematische Annalen 346 (2010), no. 2, 335–366. DOI: 10.1007/s00208-009-0401-1, https://doi.org/10.1007/s00208-009-0401-1 (arXiv:0709.1243, https://arxiv.org/abs/0709.1243)
  8. H.-B. Rademacher, A sphere theorem for non-reversible Finsler metrics, Mathematische Annalen 328 (2004), no. 3, 373–387. DOI: 10.1007/s00208-003-0485-y, https://doi.org/10.1007/s00208-003-0485-y
  9. H. Duan and Y. Long, Multiple closed geodesics on bumpy Finsler n-spheres, Journal of Differential Equations 233 (2007), no. 1, 221–240. DOI: 10.1016/j.jde.2006.10.002, https://doi.org/10.1016/j.jde.2006.10.002
  10. H.-B. Rademacher, The second closed geodesic on Finsler spheres of dimension n>2, preprint (2006). arXiv:math/0608160, https://arxiv.org/abs/math/0608160
  11. W. Wang, On a conjecture of Anosov, Advances in Mathematics 230 (2012), no. 4–6, 1597–1617. DOI: 10.1016/j.aim.2012.04.006, https://doi.org/10.1016/j.aim.2012.04.006 (arXiv:1112.5234, https://arxiv.org/abs/1112.5234)
  12. H. Duan, Non-hyperbolic closed geodesics on positively curved Finsler spheres, Journal of Functional Analysis 269 (2015), no. 11, 3645–3662. DOI: 10.1016/j.jfa.2015.08.016, https://doi.org/10.1016/j.jfa.2015.08.016
  13. H. Duan, Y. Long and W. Wang, The enhanced common index jump theorem for symplectic paths and non-hyperbolic closed geodesics on Finsler manifolds, Calculus of Variations and Partial Differential Equations 55 (2016), no. 6, Art. 145. DOI: 10.1007/s00526-016-1075-7, https://doi.org/10.1007/s00526-016-1075-7 (arXiv:1510.02872, https://arxiv.org/abs/1510.02872)
  14. W. Wang, Multiple closed geodesics on positively curved Finsler manifolds, Advanced Nonlinear Studies 19 (2019), no. 3, 495–518. DOI: 10.1515/ans-2019-2043, https://doi.org/10.1515/ans-2019-2043 (arXiv:1803.08350, https://arxiv.org/abs/1803.08350)
  15. W. Wang, Two closed geodesics on compact bumpy Finsler manifolds, Asian Journal of Mathematics 24 (2020), no. 6, 985–994. DOI: 10.4310/ajm.2020.v24.n6.a2, https://doi.org/10.4310/ajm.2020.v24.n6.a2 (arXiv:1804.08452, https://arxiv.org/abs/1804.08452)
  16. K. Burns and V. S. Matveev, Open problems and questions about geodesics, Ergodic Theory and Dynamical Systems 41 (2021), no. 3, 641–684. DOI: 10.1017/etds.2019.73, https://doi.org/10.1017/etds.2019.73 (arXiv:1308.5417, https://arxiv.org/abs/1308.5417)
  17. G. De Philippis, M. Marini, M. Mazzucchelli and S. Suhr, Closed geodesics on reversible Finsler 2-spheres, Journal of Fixed Point Theory and Applications 24 (2022), no. 2, Art. 19. DOI: 10.1007/s11784-022-00962-9, https://doi.org/10.1007/s11784-022-00962-9 (arXiv:2002.00415, https://arxiv.org/abs/2002.00415)
  18. H. Duan and D. Xie, Multiplicity and stability of closed geodesics on positively curved Finsler 4-spheres, preprint (2022). arXiv:2207.02405, https://arxiv.org/abs/2207.02405
  19. H. Duan and D. Xie, On the minimal number of closed geodesics on positively curved Finsler spheres, Journal für die reine und angewandte Mathematik (Crelle's Journal) 830 (2026), 259–283 (published online 2025). DOI: 10.1515/crelle-2025-0081, https://doi.org/10.1515/crelle-2025-0081 (arXiv:2406.15705, https://arxiv.org/abs/2406.15705)
  20. H. Duan and Z. Qi, Multiple closed geodesics on Finsler 3-dimensional sphere, Journal of Functional Analysis 288 (2025), no. 10, Art. 110863. DOI: 10.1016/j.jfa.2025.110863, https://doi.org/10.1016/j.jfa.2025.110863 (arXiv:2309.00211, https://arxiv.org/abs/2309.00211)