Abstract
In this short note we discuss upper bounds for the critical values of homology classes in the based and free loop space of compact manifolds carrying a Riemannian or Finsler metric of positive Ricci curvature. In particular it follows that a shortest closed geodesic on a compact and simply-connected n-dimensional manifold of positive Ricci curvature \(\text {Ric}\ge n-1\) has length \(\le n \pi .\) This improves the bound \(8\pi (n-1)\) given by Rotman (Positive Ricci curvature and the length of a shortest periodic geodesic. arXiv:2203.09492, 2022).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Results
We start with a compact differentiable manifold M equipped with a Riemannian metric g resp. a non-reversible Finsler metric f. Then the corresponding norm \(\Vert v\Vert \) of a tangent vector v is defined by \(\Vert v\Vert ^2=g(v,v)\) resp. \(\Vert v\Vert =f(v).\) In the following we use as common notation also for a Finsler metric the letter g. For a non-negative integer \(k \in {\mathbb {N}}_0={\mathbb {N}}\cup \{0\}\) let \(\textrm{conj}(k) \in (0,\infty ]\) be the infimum of all \(L>0\) such that any geodesic c of length at least L has Morse index \( \textrm{ind}_{\Omega }(c)\) at least \((k+1).\) Hence for any geodesic \(c:[0,1]\longrightarrow M\) of length \(>\textrm{conj}(k)\) the Morse index is at least \((k+1).\) By the Morse index theorem it follows that there are \((k+1)\) conjugate points c(s) with \(0<s<1,\) which are conjugate to c(0) along c|[0, s]. Here we count conjugate points with multiplicity, cf. [6, Sec. 2.5]. And we conclude: \(\textrm{conj}(k)\le (k+1)\,\textrm{conj}(0).\)
Let P([0, 1], M) be the space of \(H^1\)-curves \(\gamma :[0,1]\longrightarrow M\) on the manifold M. Let \(l, E, F: P=P([0,1],M)\longrightarrow {\mathbb {R}}\) denote the following functionals on this space. The length l(c), resp. the energy E(c) is defined as
We use instead of E the square root energy functional \(F: P([0,1],M)\longrightarrow {\mathbb {R}}\) with \(F(\gamma )=\sqrt{2E(\gamma )},\) cf. [5, Sec. 1]. For a curve parametrized proportional to arc length we have \(F(\gamma )=l(\gamma ).\) We consider the following subspaces of P. The free loop space \(\Lambda M\) is the subset of loops \(\gamma \) with \(\gamma (0)=\gamma (1).\) For points \(p,q\in M\) the space \(\Omega _{pq} M\) is the subspace of curves \(\gamma \) joining \(p=\gamma (0)\) and \(q=\gamma (1).\) The (based) loop space \(\Omega _p M\) equals \(\Omega _{pp}M.\) As common notation we use X, i.e. X denotes \(\Lambda M, \Omega _{pq}M,\) or \( \Omega _pM.\) It is well known that the critical points of the square root energy functional \(F:X \longrightarrow {\mathbb {R}}\) are geodesics joining p and q for \(X=\Omega _{pq}(M),\) the closed (periodic) geodesics for \(X=\Lambda M,\) and the geodesic loops for \(X=\Omega _p(M).\) The index form \(I_c\) can be identified with the hessian \(d^2 E(c)\) of the energy functional, for the two cases \(X=\Lambda M\) resp. \(X=\Omega _{pq}M\) (allowing also \(p=q\)) we obtain different indices \(\textrm{ind}_{\Lambda } (c)\) resp. \(\textrm{ind}_{\Omega } (c).\) If \(c\in \Lambda M\) is a closed geodesic with index \(\textrm{ind}_{\Lambda }(c)\) then for \(p=c(0)\) it is at the same time a geodesic loop \(c \in \Omega _p M\) with index \(\textrm{ind}_{\Omega }(c).\) The difference \(\textrm{con}(c)=\textrm{ind}_{\Lambda }c -\textrm{ind}_{\Omega } c\) is called concavity. It satisfies \(0 \le \textrm{con}(c) \le n-1,\) cf. [6, thm. 2.5.12] for the Riemannian case and [9, Sec. 6] for the Finsler case.
We use the following notation for sublevel sets of F : \( X^{\le a}=\{\gamma \in X,; F(\gamma )\le a\}, X^a=\{\gamma \in X;F(\gamma )=a\}. \) For a non-trivial homology class \(h \in H_j(X,X^{\le b};R)\) we denote by \(\textrm{cr}_X(h)\) the critical value, i.e. the minimal value \(a\ge b\) such that h lies in the image of the homomorphism \( H_j(X^{\le a},X^{\le b};R) \longrightarrow H_j(X,X^{\le b};R)\) induced by the inclusion, cf. [5, Sec.1]. It follows that for a non-trivial homology class \(h \in H_j(X,X^{\le b};R)\) there exists a geodesic in X with length \(l(c)=\textrm{cr}_X(h).\) Its index satisfies \(\textrm{ind}_X(c)\le j.\)
The Morse theory of the functional \(F: X \longrightarrow {\mathbb {R}}\) implies
Theorem 1
Let M be a compact manifold endowed with a Riemannian metric resp. non-reversible Finsler metric g. Let \(h \in H_*(X,X^{\le b};R)\) be a non-trivial homology class of degree \(\deg (h)\) for some coefficient field R. Then \(\textrm{cr}_X(h)\le \textrm{conj}(\deg (h))\le (1+\deg (h))\,\textrm{conj}(0),\) and the homomorphism
induced by the inclusion is surjective for all \(j\le \deg (h).\)
For positive Ricci curvature \(\text {Ric}\) and for positive sectional curvature K (resp. positive flag curvature K in the case of a Finsler metric) we obtain in Lemma 1 upper bounds for the sequence \(\textrm{conj}(k), k\in {\mathbb {N}}_0.\) As a consequence we obtain:
Theorem 2
Let (M, g) be a compact n-dimensional Riemannian or Finsler manifold.
-
(a)
If \(\text {Ric}\ge (n-1) \delta \) for \(\delta >0\) then \(\textrm{cr}_X (h) \le \pi (\deg (h)+1) /\sqrt{\delta }\) for a non-trivial homology class \(h \in H_{*}(X,X^{\le b};R)\) of degree \(\deg (h).\)
-
(b)
If \(K \ge \delta \) for \(\delta >0\) then \(\textrm{cr}_X(h) \le \pi \{1+\deg (h)/(n-1)\} /\sqrt{\delta }\) for a non-trivial homology class \( h \in H_{*}(X, X^{\le b};R)\) of degree \(\deg (h).\)
-
(c)
If \(K \le 1\) then \(\textrm{cr}_{\Omega }(h)\ge \left[ \deg (h)/(n-1)\right] \pi \) for \(h \in H_*(\Omega _{pq}M;R)\) and \(\textrm{cr}_{\Lambda }(h)\ge \left\{ \left[ \deg (h)/(n-1)\right] -1\right\} \pi \) for \(h \in H_*(\Lambda M, \Lambda ^{\le b}M;R).\) Here for a real number x we denote by [x] the largest integer \(\le x.\)
As consequence from Theorem 2(a) we obtain an upper bound for the length of a shortest closed geodesic on a manifold of positive Ricci curvature:
Theorem 3
Let (M, g) be a compact and simply-connected Riemannian or Finsler manifold of dimension n of positive Ricci curvature \(\text {Ric}\ge (n-1)\delta \) for some \(\delta >0.\) And let m be the smallest integer with \(1\le m\le n-1\) for which M is m-connected and \(\pi _{m+1}(M)\not =0.\) We denote by \(L=L(M,g)\) the length of a (non-trivial) shortest closed geodesic. Then \(L \le \pi (m+1)/\sqrt{\delta },\) in particular \(L \le \pi n /\sqrt{\delta }.\)
Remark 1
-
(a)
This improves the estimate \(L \le 8\pi m\le 8 \pi (n-1)\) given by Rotman in [12, Thm. 1.2] for \(\delta =1.\)
-
(b)
If (M, g) is not simply-connected and \(\text {Ric}\ge (n-1)\delta \) for some positive \(\delta \) then there is a shortest closed curve c which is homotopically non-trivial. This closed curve is a closed geodesic and \(\textrm{ind}_{\Lambda }(c)=\textrm{ind}_{\Omega }(c)=0.\) From Lemma 1 we obtain \(l(c)\le \pi /\sqrt{\delta }.\) On the other hand choose \(k\in {\mathbb {N}}\) such that \(l(c^k)=k l(c)>\pi /\sqrt{\delta ,}\) here \(c^k(t)=c(kt)\) denotes the k-th iterate of the closed geodesic c. Then we conclude from Remark 3(a) that \(\textrm{ind}_{\Lambda }(c^k)\ge \textrm{ind}_{\Omega }(c)\ge 1,\) hence the closed geodesic c is not hyperbolic, cf. [6, Thm. 3.3.9].
-
(c)
For a compact and simply-connected Riemannian manifold (M, g) of positive sectional curvature \(K\ge \delta \) it follows from the estimate \(\textrm{conj}(n-1) \le 2\pi /\sqrt{\delta }\) that the length L of a shortest closed geodesic satisfies \(L\le 2\pi /\sqrt{\delta }.\) In the limiting case \(L=2\pi /\sqrt{\delta }\) the metric is of constant sectional curvature, cf. [10, Cor. 1].
Theorem 4
Let (M, g) be a compact Riemannian or Finsler manifold of dimension n with \(\text {Ric}\ge (n-1)\delta \) (resp. \(K \ge \delta \)) for some positive \(\delta .\) For any pair \(p,q\in M\) of points (also allowing \(p=q\)) and \(k \in {\mathbb {N}}\) there exist at least k geodesics joining p and q (i.e. geodesic loops for \(p=q\)) with length \(\le (2(n-1)k+1)\pi /\sqrt{\delta },\) (resp. \(\le (2k+1)\pi /\sqrt{\delta }\)).
Remark 2
-
(a)
This result improves the bounds \(16\pi (n-1)k\) resp. \((16(n-1)k+1)\pi \) given in [12, Thm. 1.3] for \(\delta =1.\)
-
(b)
Here two geodesics \(c_1,c_2 \in \Omega _{pq}M\) are called distinct if their lengths \(l(c_1)\not =l(c_2)\) are distinct. From a geometric point of view this is not very satisfactory. If we choose distinct points \(p,q\in S^n\) on the sphere with the standard metric of constant sectional curvature \(K=1,\) which are not antipodal points, then any geodesic joining p and q is part of the unique great circle \(c:{\mathbb {R}}\longrightarrow S^n\) through p and q. So in this case the geodesics whose existence is claimed in Theorem 4 all come from a single closed geodesic, cf. [6, p.181]. Closed geodesics are called geometrically distinct if they are different as subsets of M (or in the case of a non-reversible Finsler metric if their orientations are different when they agree as subsets of M). If the metric g is bumpy then there are only finitely many geometrically distinct closed geodesics below a fixed length. Hence for a bumpy metric for almost all pairs of points p, q on M there is no closed geodesic through these points. Hence in this case the geodesics constructed in Theorem 4 do not come from a single closed geodesic.
-
(c)
There are related curvature free estimates depending only on the diameter due to Nabutovsky and Rotman. In [8] they show that for any pair p, q of points in a compact n-dimensional Riemannian manifold with diameter d and for every \(k \in {\mathbb {N}}\) there are at least k distinct geodesics joining p and q of length \(\le 4nk^2d.\)
2 Proofs
Proof
-
(a)
We first give the proof for the case \(X=\Omega _{pq}M\) for points p, q and for a homology class \(h \in H_k(\Omega _{pq}M, \Omega ^{\le b}_{pq}M;R).\) Here we also allow the case \(p=q.\) We denote by \(d: M \times M \longrightarrow {\mathbb {R}}\) the distance induced by the metric g. We choose a sequence \((q_j)_{j\ge 1}\subset M\) such that \(\lim _{j\rightarrow \infty } d(p,q_j)=0\) and such that along any geodesic joining p and \(q_j\) the point \(q_j\) is not a conjugate point to p. This is possible as a consequence of Sard’s theorem, cf. [7, Cor. 18.2] for the Riemannian case and [9, Cor. 8.3] for the Finsler case. As a consequence the square root energy functional \(F_j=F: \Omega _{pq_j}M \longrightarrow {\mathbb {R}}\) is a Morse function. There is a homotopy equivalence \(\zeta _{qq_j}: \Omega _{pq}M \longrightarrow \Omega _{pq_j}M\) between loops spaces with \(F(\gamma )=\lim _{j\rightarrow \infty }F(\zeta _{qq_j}(\gamma ))\) for all \(\gamma \in \Omega _{pq}M,\) cf. [10, Lem.1]. Let \(h\in H_k(\Omega _{pq}M,\Omega _{pq}^{\le b}M;R),\) then it follows from Morse theory for the functional \(F_j\) that there is a geodesic \(c_j\) joining p and \(q_j\) whose length \(l(c_j)\) equals the critical value \(\textrm{cr}(\zeta _{qq_j}(h))\) of the homology class \(\zeta _{qq_j,*}(h)\in H_k (\Omega _{pq_j}M,\Omega _{pq_j}^{\le b}M;R).\) The Morse index \(\textrm{ind}_{\Omega } (c_j)\) as critical point of \(F_j\) equals the degree of the homology class by the Morse lemma, cf. [9, Sec. 8]. By definition of \(\textrm{conj}(k)\) we obtain \(l(c_j)\le \textrm{conj}(k).\) But since \(\textrm{cr}_{\Omega } (h) =\lim _{j\rightarrow \infty } l(c_j)\le \textrm{conj}(k)\) we finally arrive at the claim \(\textrm{cr}_{\Omega }(h)\le \textrm{conj}(k).\)
-
(b)
Now we assume \(X=\Lambda M.\) Then we use a sequence \(g_j\) of bumpy Riemannian or Finsler metrics converging to the metric g with respect to the strong \(C^r\) topology for \(r \ge 2,\) resp. \(r\ge 4\) in the Finsler case. We can choose such a sequence by the bumpy metrics theorem for Riemannian metrics due to Abraham [1] and Anosov [2], and by the generalization to the Finsler case, cf. [11]. The square root energy functional \(F_j: \Lambda M \longrightarrow {\mathbb {R}}\) is then a Morse-Bott function, the critical set equals the set of closed geodesics which is the union of disjoint and non-degenerate critical \(S^1\)-orbits. Hence all closed geodesics are non-degenerate, i.e. there is no periodic Jacobi field orthogonal to the geodesic. Then for any j there is a closed geodesic of \(g_j\) such that the length \(l(c_j)\) with respect to \(g_j\) equals the critical value \(\textrm{cr}_{\Lambda ,j}(h)\) with respect to \(g_j.\) Hence Morse theory implies that the index \(\textrm{ind}_{\Lambda }(c_j)\in \{k,k-1\},\) since the critical submanifold is 1-dimensional. Then \(\textrm{ind}_{\Omega ,j}(c_j)\le k\) which implies that the length \(l_j(c_j)\) of \(c_j\) with respect to the metric \(g_j\) satisfies \(\textrm{cr}_{\Lambda ,j}(h)=l_j(c_j)\le \textrm{conj}_j(k).\) Here \(\textrm{conj}_j(k)\) is defined with respect to the metric \(g_j.\) Then \(\textrm{cr}_{\Lambda }(h)= \lim _{j\rightarrow \infty } \textrm{cr}_{\Lambda ,j}(h) \le \lim _{j\rightarrow \infty }\textrm{conj}_j(k) =\textrm{conj}(k).\)
\(\square \)
Remark 3
The Morse-Schoenberg comparison result [6, Thm. 2.6.2], [9, Lem. 3] implies: Let \(c:[0,1]\longrightarrow M\) be a geodesic of length l(c), and \(k \in {\mathbb {N}}.\)
-
(a)
If \(\text {Ric}\ge (n-1)\delta \) for \(\delta >0\) and if \(l(c) > \pi k /\sqrt{\delta },\) then \(\textrm{ind}_{\Omega }(c)\ge k.\)
-
(b)
If \(K \ge \delta \) for a positive \(\delta \) and if \(l(c) > \pi k/\sqrt{\delta },\) then \(\textrm{ind}_{\Omega }(c)\ge k(n-1).\)
-
(c)
If \(K\le 1\) and if \(l(c)\le \pi k\) then \(\textrm{ind}_{\Omega }(c)\le (k-1)(n-1).\)
This implies
Lemma 1
Let (M, g) be a manifold with Riemannian metric resp. Finsler metric g.
-
(a)
If \(\text {Ric}\ge (n-1)\delta \) for \(\delta >0\) then \(\textrm{conj}(k)\le (k+1)\pi /\sqrt{\delta }\) for \(k \in {\mathbb {N}}_0.\)
-
(b)
If \(K \ge \delta \) for \(\delta >0\) we have \(\textrm{conj}(k(n-1))\le (k+1)\pi /\sqrt{\delta }\) for \(k\in {\mathbb {N}}_0.\)
Proof of Theorem 2
From Theorem 1 and Lemma 1 we immediately obtain the statements (a) and (b). Statement (c) follows analogously to the arguments in the proof of Theorem 1 together with Remark 3(c) and the estimate \(\textrm{con}(c)\le n-1.\) \(\square \)
Proof of Theorem 3
By assumption there is a homotopically non-trivial map \(\phi : S^{m+1}\longrightarrow M,\) which also defines a homotopically non-trivial map \({\tilde{\phi }}: (D^{m},S^{m-1})\longrightarrow (\Lambda M, \Lambda ^0\,M),\) cf. [6, Thm. 2.4.20]. This defines a non-trivial homology class \(h \in H_{m}(\Lambda M, \Lambda ^0 M;R)\) for some coefficient field R. Then there exists a closed geodesic c with length \(l(c)=\textrm{cr}_{\Lambda }(h).\) We conclude from Theorem 2(a) that \(l(c)= \textrm{cr}_{\Lambda }(h)\le \pi (m+1)/\sqrt{\delta }.\) \(\square \)
Proof of Theorem 4
Since M is simply-connected we conclude from a minimal model for the rational homotopy type of \(\Omega M:\) There exists a non-trivial cohomology class \(\omega \in H^{2l}(\Omega _{pq};{\mathbb {Q}})\) of even degree 2l for some \(1\le l\le n-1,\) which is not a torsion class with respect to the cup product, i.e. \(\omega ^k\not =0\) for all \(k\ge 1.\) There is a sequence \(h_k\in H_*(\Omega _{pq}M,\Omega _{pq}^{\le b}M;R), k\ge 1\) of non-trivial homology classes with \(h_k=\omega \cap h_{k+1}, \deg (h_k)=2lk, k\ge 1.\) Here \(\cap \) denotes the cap product.
Then we use the principle of subordinated homology classes, cf. [3, p.225–226] and conclude: \(\textrm{cr}_{\Omega }(h_k)\le \textrm{cr}_{\Omega }(h_{k+1})\) for all \(k\ge 1.\) Here equality only holds if there are infinitely many distinct geodesics in \(\Omega _{pq}(M)\) of equal length \(l(c)=\textrm{cr}_{\Omega }(h_k)= \textrm{cr}_{\Omega }(h_{k+1}).\) Hence we can assume that \(\textrm{cr}_{\Omega }(h_k)< \textrm{cr}_{\Omega }(h_{k+1})\) and obtain a sequence \(c_k \in \Omega _{pq}M\) of geodesics with \(l(c_k)=\textrm{cr}_{\Omega }(h_k).\) Since \(\deg (h_k)=2lk\le 2(n-1)k\) we obtain the claim from Theorem 2. \(\square \)
Remark 4
-
(a)
If M is simply-connected and compact then it was shown by Gromov [4, Thm. 7.3] that there exist positive constants \(C_1=C_1(g),C_2=C_2(g)\) depending on the metric g such that for all homology classes \(h \in H_*(\Lambda M;R)\) the following inequalities hold:
$$\begin{aligned} C_1 \, \textrm{cr}_{\Lambda }(h)< \deg (h) < C_2 \, \textrm{cr}_{\Lambda }(h). \end{aligned}$$ -
(b)
If \(M=S^n\) is a sphere of dimension \(n\ge 3\) it is shown in [5, Thm. 1.1] that there are positive numbers \({\overline{\alpha }} ={\overline{\alpha }}(g), \beta =\beta (g),\) depending on g such that
$$\begin{aligned} {\overline{\alpha }}\, \textrm{cr}_{\Lambda }(h)-\beta< \deg (h) < {\overline{\alpha }} \,\textrm{cr}_{\Lambda }(h)+\beta \end{aligned}$$holds for all \(h \in H_*(\Lambda S^n).\) The number \({\overline{\alpha }}\) is called global mean frequency. In case of positive Ricci curvature \(\text {Ric}\ge (n-1)\delta \) we conclude from Theorem 2(a): \(\sqrt{\delta }/\pi \le {\overline{\alpha }}.\) If \(K\le 1\) then \({\overline{\alpha }}\le (n-1)/\pi .\)
Data availibility
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Abraham, R.: Bumpy metrics. in: Global Analysis. Proc. Symp. Pure Math Vol. XIV Amer. Math. Soc. Providence R.I., pp. 1–3 (1970)
Anosov, D.V.: On generic properties of closed geodesics. Izv. Akad.Nauk. SSSR 46(1982)= Math. USSR Izv. 21, 1–29 (1983)
Ballmann, W., Thorbergsson, G., Ziller, W.: Existence of closed geodesics on positively curved manifolds. J. Differ. Geom. 18, 221–252 (1983)
Gromov, M.: Metric Structures for Riemannian and Non-Riemannian Spaces. Prog. Math. 152. Birkhäuser Boston, Inc., Boston (1999)
Hingston, N., Rademacher, H.B.: Resonance for loop homology of spheres. J. Differ. Geom. 93, 133–174 (2013)
Klingenberg, W.: Riemannian Geometry. De Gruyter Studies in Mathematics, vol. 1, 2nd edn. de Gruyter, Berlin (1995)
Milnor, J.: Morse Theory. Annals of Mathematics Studies, vol. 51. Princeton University Press, Princeton (1969)
Nabutovsky, A., Rotman, R.: Length of geodesics and quantitative Morse theory on loop spaces. Geom. Funct. Anal. 23, 367–414 (2013)
Rademacher, H.B.: A sphere theorem for non-reversible Finsler metrics. Math. Ann. 328, 373–387 (2004)
Rademacher, H.B.: Critical values of homology classes of loops and positive curvature. J. Differ. Geom. 119, 141–158 (2021)
Rademacher, H.B., Taimanov, I.A.: The second closed geodesic, the fundamental group, and generic Finsler metrics. Math. Z. 302, 629–640 (2023)
Rotman, R.: Positive Ricci curvature and the length of a shortest periodic geodesic. arXiv:2203.09492 (2022)
Funding
Open Access funding enabled and organized by Projekt DEAL.;
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rademacher, HB. Upper bounds for the critical values of homology classes of loops. manuscripta math. 174, 891–896 (2024). https://doi.org/10.1007/s00229-024-01541-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-024-01541-7