Abstract
We compute the Morse index of a critical submanifold of the energy functional on the loop space of a manifold with constant sectional curvature. The case of constant non-positive sectional curvature is a known result and the case of a sphere has been proved by Klingenberg. We adapt Klingenberg’s proof of the case of a sphere to the case of constant sectional curvature, to obtain the possible Morse indices of critical submanifolds of the energy functional.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Morse index of a critical submanifold of the energy functional on the loop space of a Riemannian manifold has been computed in the literature. It has been computed by Klingenberg for spheres in [7] and for complex projective spaces, quaternionic projective spaces, and Cayley projective planes in [6]. The indices for compact rank one symmetric spaces (which are spheres, real projective spaces, complex projective spaces, quaternionic projective spaces, and the Cayley projective plane) have been computed by Ziller [16]. The indices for simply connected compact rank one symmetric spaces have also been computed by Hingston [3].Footnote 1
The Morse indices of the critical submanifolds of the energy functional have been used in the literature to obtain obstruction results for the embeddings of Lagrangian tori (see [13]), spheres and other compact rank one symmetric spaces (see [11]) utilizing an index relation (see [1, 5, 15]) involving the Morse index. They also are used to obtain restrictions on the Maslov class of Lagrangian submanifolds [4]. The result obtained in this paper modifies the possible Morse indices listed in [12] where the use of Morse indices provided an alternative proof of a nonexistence result for certain displaceable constant sectional curvature Lagrangian submanifolds in symplectically aspherical symplectic manifolds \((M^{2n}, \omega )\) with \(n > 4\) [12].Footnote 2
In this paper, we adapt the proof of [7] for the case of spheres to manifolds with constant sectional curvature to obtain Theorem 1.1. In Theorem 1.1, the case \(A \le 0\) is a classical result, a consequence of the known more general statement that the Morse index I is zero if \(M^n\) is a manifold of non-positive sectional curvature. From the remaining cases, the ones not overlapping with Klingenberg’s, Hingston’s and Ziller’s results are new to the best of my knowledge.
Theorem 1.1
Let \(M^n\) be a complete Riemannian manifold of constant sectional curvature A. If \(c(t) \in \Lambda (M^n)\) is a critical point of the energy functional \(\mathcal {E}_{g}(q) = \int ^{1}_{0} { \frac{1}{2} {\Vert {\dot{q}(t)}\Vert }^2} dt \) where \(q(t) \in \Lambda (M^n)\), then the Morse index I of the nondegenerate critical submanifold \(S_c\) (containing c) of the energy functional is as follows:
If \(A \le 0\): I = 0.
If \(0 < A \): I = 0 or I = \((2B+1)(n-1)\) or I = \(2(D+1)(n-1)\),
where
and
with \(\Vert \dot{c}\Vert \) denoting the length of the closed geodesic c.
Furthermore, for \(M= \mathbb {R}P^n\), if \(\sqrt{A}\Vert \dot{c}\Vert \) is a nonzero even multiple of \(\pi \), then I = \((2B+1)(n-1)\); if \(\sqrt{A} \Vert \dot{c}\Vert \) is an odd multiple of \(\pi \), then I = \(2(D+1)(n-1)\); and if \(\Vert \dot{c}\Vert \)=0, then I = 0.
For \(M=S^n\), if \(\Vert \dot{c}\Vert \)=0, then I = 0; and if \(\sqrt{A}\Vert \dot{c}\Vert \) is nonzero, then I = \((2B+1)(n-1)\).
2 Preliminaries
The loop space \( \Lambda (M^n)\) is defined as the set of \(H^1\)-maps of \(S^1\) into \(M^n\) (see [3, 7, 16]).
The following definitions agree with their corresponding ones in [7]:
Let \(c \in \Lambda (M^n)\) be a critical point of the energy functional \(\mathcal {E}_{g}(q) = \int ^{1}_{0} { \frac{1}{2} {\Vert {\dot{q}(t)}\Vert }^2} dt \), \(q(t) \in \Lambda (M^n)\). Let \(A_c\) denote the self-adjoint operator \(A_c: T_c\Lambda (M^n) \longrightarrow T_c\Lambda (M^n)\) defined by the identity
where one defines
and \(\nabla \xi \) is the covariant derivative \(\nabla _{\dot{c}} \xi \).
\(T_c\Lambda (M^n)\) has an orthogonal decomposition into subspaces \(T_c^{-}\Lambda (M^n)\), \(T_c^{0}\Lambda (M^n)\) and \(T_c^{+} \Lambda (M^n)\), spanned by the eigenvectors of \(A_c\) having positive, zero and negative eigenvalue, respectively. The dimension of \(T_c^{-}\Lambda (M^n)\) is called the (Morse) index of c and the dimension of \(T_c^{0}\Lambda (M^n)\) is called the nullity of c.
Define the map \(\chi : S^1 \times \Lambda (M^n) \rightarrow \Lambda (M^n)\) by \(\chi (z,c) = z. c \) with \(z.c(t) =c(t+r)\) where \(z= e^{2 \pi ir} \in S^1\).
A closed submanifold S of \(\Lambda (M^n)\) is called critical if it is closed under the \(S^1\)-action \(\chi \), if \(\mathcal {E}_{g}\) restricted to S is constant and if S consists entirely of critical points of \(\mathcal {E}_{g}\).
If the index of c is the same constant for all c in a critical submanifold S, this constant is called the (Morse) index of S. If the nullity of \(D^2\mathcal {E}_{g}(c)\) is constant for all \(c \in S\), then this number is called the nullity of S.
S is called a nondegenerate \(\, {critical}\) \(\, {submanifold}\) if the critical submanifold S has an index and if the nullity of S is equal to the dimension of S.
3 Known Results
Klingenberg computed the index of a critical submanifold of the energy functional on the loop space of the sphere as given in the following theorem:
Theorem 3.1
([6], p.71). The critical set \(Cr\Lambda S^n\) of the energy functional \(\mathcal {E}_{g}(q) = \int ^{1}_{0} { \frac{1}{2} {\Vert {\dot{q}(t)}\Vert }^2} dt \) on the loop space \(\Lambda (S^n)\) decomposes into the nondegenerate critical submanifolds \(\Lambda ^0 S^n\) which is isomorphic to \(S^n\) and \(B_q\) consisting of the q-fold covered great circles \( q = 1,2,...\). \(B_q\) is isomorphic to the Stiefel manifold \(V(2,n+1)\) of orthonormal 2-frames in \(\mathbb {R}^{n+1}\) and the index of \(B_q\) is \((2q-1)(n-1)\).
As stated in the introduction, the index calculated for the sphere case in Theorem 3.1 has also been calculated for the complex projective space, the quaternionic projective space and the Cayley projective plane by Klingenberg in [6] and by Hingston in [3]. This is given in Theorem 3.2. The indices for compact rank one symmetric spaces are given by Ziller in [16].
Theorem 3.2
(p.103 of [2], p.19 of [5]). The standard metric on M is normalized so that the maximal sectional curvature is 1. Then the critical set of the energy function on \(\Lambda M \) consists of the critical manifolds \(A_m\) of geodesics of length \(2\pi m\), \(m \ge 0 \). We have \(A_0 \cong M \) and \(A_m \cong STM\) the unit tangent bundle of M for \(m \ge 1\). By counting zeros of the Jacobi fields, one can see that \(A_m\) (\(m>0\)) is a nondegenerate critical submanifold of index
where a = n, 2, 4, or 8, respectively, for M = \(S^n \), \(\mathbb {C}P^n \), \(\mathbb {H}P^n \), \( CaP^2\) and \(s = \frac{dim M}{a} \) (= 1, n, n, n = 2, respectively).
In addition, for \(M=\mathbb {R}P^n\), the index of a nondegenerate critical submanifold \(A_m\) of m-fold covered geodesics for \(m \ge 1\) is \((m-1)(n-1)\), by Ziller [16].
4 Proof of Theorem 1.1
Let \(c(t) \in \Lambda (M^n)\) be a critical point of \(\mathcal {E}_{g}\). For a Riemannian manifold with constant sectional curvature A, the formula of the Riemann curvature endomorphism for \(X= \eta (t)\) in the tangent space \(T_c \Lambda (M^n)\), \(Y=\dot{c}\) and \(Z=\dot{c}\) is given by
[8]. To find the Morse index, we will count the periodic solutions of
for \(\lambda <0\) [7].Footnote 3
Here, we use the notation \(R \eta = R(\eta (t), \dot{c}(t), \dot{c}(t))\)Footnote 4and \(\nabla \) is the covariant derivative on tangent bundle TM, derived from the Levi-Civita connection [7].
When \(A=0\), we have \(R=0\), and Eq. (4.2) reduces to
Since \(\lambda =1\) is not an eigenvalue, the equation can be written as
This equation has no periodic solutions when \(\lambda < 0\) (p.59 of [7]); so the dimension of the subspace of the tangent space \(T_c\Lambda M\) spanned by the eigenvectors having negative eigenvalue, dim \(T_c^- \Lambda M\), for c in a nondegenerate critical submanifold is zero.
Next, we consider \(A \ne 0\):
We insert Eq. (4.1) in Eq. (4.2). When \(\lambda < 0\), Eq. (4.2) becomes
We decompose \(\eta \) into the tangential part, \(\alpha (t) \dot{c}(t)\), and the vertical part, \(\xi (t) \bot \dot{c}\).
Then, the last formula decomposes into
Solutions of (tan) for \(\lambda <0\):
-
If \( \lambda < 0\), then there are no periodic solutions. Solutions of (ver) for \(\lambda <0\):
-
If \( \lambda < - A \Vert \dot{c}\Vert ^2 \), then there are no periodic solutions.Footnote 5
-
If \( - A\Vert \dot{c}\Vert ^2 \le \lambda < 0\), then we consider Eq. (4.6) on the universal cover of M. The universal cover of a constant sectional curvature manifold with positive A is \(S^n\) by the Killing–Hopf theorem. The general solution of (4.6) considered on the universal cover is of the formFootnote 6Footnote 7
$$\begin{aligned} \xi (t) = \xi _0 \cos \left( \sqrt{\frac{( A \Vert \dot{c}\Vert ^2 + \lambda )}{(1 - \lambda )}} t\right) + \xi _1 sin \left( \sqrt{\frac{(( A \Vert \dot{c}\Vert ^2 + \lambda )}{(1 - \lambda )}} t\right) . \end{aligned}$$(4.8)Here, if \(\tilde{c}\) denotes a lift of c (with \(\Vert \dot{c}\Vert = \Vert \dot{\tilde{c}}\Vert \)) and \(\Omega \tilde{M}\) denotes the space of paths on the universal cover \(\tilde{M}\), as it is the case with \(\xi \), \(\xi _0\) and \(\xi _1\) also belong to \(T_{\tilde{c}} \Omega \tilde{M}\) and are vector fields along \(\tilde{c}\) which are orthogonal to \(\dot{\tilde{c}}\) and are induced by parallel transport.
4.1 Counting the periodic solutions to find \(dim T_c^-\Lambda M\)
For \(\lambda <0\):
4.1.1 Case 1:
When \(- A\Vert \dot{c}\Vert ^2 \le \lambda <0\) is not satisfied, then there are no periodic solutions. (This will always be the case for \(A < 0\) and may be possible for \(A>0\).)
4.1.2 Case 2:
If \(- A\Vert \dot{c}\Vert ^2 \le \lambda <0\) is satisfied (which is possible only if \(A>0\)), the general solution of (4.5) considered on the universal cover is
where \(\xi _0(t), \xi _1(t) \bot \dot{\tilde{c}}(t)\) and \(\xi _0(t), \xi _1(t)\) are induced by parallel transport.
From considering Eq. (4.1) on the universal cover, it is seen that \(\eta \) is an eigenvector of R. Since R is invariant under parallel transport, parallel transport leaves the eigenspaces of R invariant, so \(\eta (0) = \pm \eta (1)\) should be satisfied (p.7 of [16]).Footnote 8
4.1.3 Subcase 2.1:
If \(\eta (0) = \eta (1)\), then
where \(p \in \mathbb {Z}\) should be satisfied.
Solving Eq. (4.10) for \(\lambda \) gives us
We get a bound for p coming from imposing the condition that \(\lambda <0\) in (4.11). We obtain
Equivalently,
where
Using (4.10) and the condition on p of (4.13), (4.9) becomes
where \(\xi _0(t), \xi _1(t) \bot \dot{\tilde{c}}(t) \) and \(p \le B\).
We will count the number of possible choices of directions for fixed p: It is n-1 for \(p=0\) since \(\eta = \xi _0 \). For \(p\ge 1\), it is \(2(n-1)\). Hence,
4.1.4 Subcase 2.2:
If \(\eta (0) = - \eta (1)\), then
where \(p \in \mathbb {Z}\) should be satisfied.
Solving Eq. (4.16) for \(\lambda \) gives us
We get a bound for p coming from imposing the condition that \(\lambda <0\) in (4.17). We obtain
Equivalently,
where
Using (4.16) and the condition on p of (4.19), (4.9) becomes
where \(\xi _0(t), \xi _1(t) \bot \dot{\tilde{c}}(t) \) and \(p \le D\).
We will count the number of possible choices of directions for fixed p: It is \(2(n-1)\) for \(p \ge 0\). Hence,
Considering both cases (with all subcases): When \(A<0\), only Case 1 is possible. When \(0<A\), both Case 1 and Case 2 are possible.
Also, for \(M= \mathbb {R}P^n\), if \(\sqrt{A}\Vert \dot{c}\Vert \) is an even multiple of \(\pi \), c lifts to a closed loop \(\tilde{c}\) in the universal cover \(S^n\), and \(\eta (0) = \eta (1)\), and if \(\sqrt{A}\Vert \dot{c}\Vert \) is an odd multiple of \(\pi \), c lifts to a non-closed path in the universal cover and \(\eta (0) = -\eta (1)\). For \(M= S^n\), for a closed geodesic, \(\sqrt{A}\Vert \dot{c}\Vert \) is an even multiple of \(\pi \), so \(\eta (0)=\eta (1)\). These lead to the statement. \(\square \)
4.1.5 Example:
Let M be the n-dimensional sphere with radius r in \(\mathbb {R}^{n+1}\) with the metric induced by \(\mathbb {R}^{n+1}\). Then M has constant sectional curvature \(A= \frac{1}{r^2}\). The closed geodesics (with positive length) have length \(2 \pi r m\), where m is a positive integer. We have \(\frac{\sqrt{A}\Vert \dot{c}\Vert }{2\pi } = m \in \mathbb {Z}\), so \(B= m-1\). Hence the Morse index of a nondegenerate critical submanifold of M is \(I=0\) (for the critical submanifold consisting of the constant loops) or \(I = (n-1)(2B+1)= (n-1)(2m-1)\), which is consistent with the known results.
Data availability
No datasets were generated or analyzed during the current study.
Notes
The main theorem of [12], Theorem 1.1, still holds and its method of proof still applies with the indices listed in this paper.
The periodic solutions of this differential equation are the eigenvectors of the self-adjoint operator \(A_c\) (for an eigenvalue \(\lambda \in \mathbb {R}\)).This is 2.4.4 Corollary 2 on p.58 of [5]. For \(A_c\) and the notation used for the terms in \(A_c\), see p.56–58 in [5].
What we have denoted with R is denoted with \(K_c{\tilde{}}\) in [7].
Equation (4.6) is of the form \( \nabla ^2 \xi + E \xi =0 \) where \( E= \Big ( \frac{ A \Vert \dot{c} \Vert ^2 + \lambda }{1- \lambda } \Big )\). If \( \lambda < - A \Vert \dot{c}\Vert ^2 \), then \(E < 0\). Let \(\dot{c}, X_1,..., X_{n-1}\) be an orthonormal frame invariant by parallelism along a geodesic c. If \(E<0\), \(Y_i = sinh(\sqrt{-E}s)X_i\)’s and \(Z_i = cosh(\sqrt{-E}s)X_i\)’s form a basis for the solutions of \( \nabla ^2 \xi + E \xi =0 \) that are orthogonal to \(\dot{c}\). (s denotes the arclength). (see p.485–486 of [2].) Noting that these solutions are not periodic, we conclude that there are no periodic solutions orthogonal to \(\dot{c}\).
With the notation in Footnote 5, if \( - A\Vert \dot{c}\Vert ^2 \le \lambda < 0\), then \(E\ge 0\).If \(E>0\), \(Y_i = sin(\sqrt{E}s)X_i\)’s and \(Z_i = \cos (\sqrt{E}s)X_i\)’s form a basis for the solutions of \( \nabla ^2 \xi + E \xi =0 \) that are orthogonal to \(\dot{c}\) [2]. If \(E=0\), then \(X_i\)’s form a basis for the solutions [2].
For \(S^n\) with \(A=1\), letting \(A=1\) in Eq. 4.8, we obtain the same \(\xi (t)\) obtained by Klingenberg in [7].
Since c(t) is a closed loop, \(c(0)=c(1)\) and the projection of \(\eta (0)\) and \(\eta (1)\) to \(M^{n}\) are the same point.
References
Duistermaat, J.J.: On the Morse index in variational calculus. Adv. Math. 21, 173–195 (1976)
Gadea, P.M., Muñoz, Masque J., Mykytuk, I.V.: Analysis and Algebra on Differentiable Manifolds: A Workbook for students and teachers, 2nd edn. Springer, London (2012)
Hingston, N.: Equivariant Morse theory and closed geodesics. J. Differ. Geom. 19, 85–116 (1984)
Kerman, E.: Action selectors and Maslov class rigidity. Internat. Math. Res. Not. 2009(23), 4395–4427 (2009)
Kerman, E., Şirikçi, N.I.: Maslov class rigidity for Lagrangian submanifolds via Hofer’s geometry. Comment. Math. Helv. 85, 907–949 (2010)
Klingenberg, W.: The space of closed curves on a projective space. Quart. J. Math. 20(1), 11–31 (1969)
Klingenberg, W.: Lectures on Closed Geodesics. Springer, Berlin, New York (1978)
Lee, J.M.: Riemannian Manifolds: An Introduction to Curvature. Springer, New York (1997)
Musso, M., Pejsachowitz, J., Portaluri, A.: A Morse index theorem for perturbed geodesics on semi-Riemannian manifolds. Topol. Methods Nonlinear Anal. 25, 69–99 (2005)
Piccione, P., Tausk, D.V.: Morse index theorem in semi-Riemannian geometry. Topology 41, 1123–1159 (2002)
Sirikci ,N.I.: Obstructions to the existence of displaceable Lagrangian submanifolds. Ph.D. Thesis, University of Illinois at Urbana-Champaign, USA (2012)
Şirikçi, N.I.: Displaceability of certain constant sectional curvature Lagrangian submanifolds. Results Math. 75, 158 (2020). https://doi.org/10.1007/s00025-020-01279-0
Viterbo, C.: A new obstruction to embedding Lagrangian tori. Invent. Math. 100, 301–320 (1990)
Waterstraat, N.: A \(K\)-theoretic proof of the Morse index theorem in semi-Riemannian geometry. Proc. Am. Math. Soc. 140, 337–349 (2012)
Weber, J.: Perturbed closed geodesics are periodic orbits: index and transversality. Mathematische Zeitschrift 241, 45–81 (2002)
Ziller, W.: The free loop space of globally symmetric spaces. Inventiones Mathematicae 41, 1–22 (1977)
Funding
Open access funding provided by the Scientific and Technological Research Council of Türkiye (TÜBİTAK). This work is supported by Middle East Technical University Research Fund [BAP-08-11-2017-027].
Author information
Authors and Affiliations
Contributions
All the work in this research article has been done by Nil İpek Şirikçi.
Corresponding author
Ethics declarations
Conflict of interest
The author declares to have no conflict of interest.
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
Şirikçi, N.İ. The Morse Index for Manifolds with Constant Sectional Curvature. Mediterr. J. Math. 21, 139 (2024). https://doi.org/10.1007/s00009-024-02682-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-024-02682-5