The computation of the index of the Hessian of the action functional in semi-Riemannian geometry at geodesics with two variable endpoints is reduced to the case of a fixed final endpoint. Using this observation, we give an elementary proof of the Morse Index Theorem for Riemannian geodesics with two variable endpoints, in the spirit of the original Morse's proof. This approach reduces substantially the effort required in the proofs of the Theorem given in previous articles on the subject. Exactly the same argument works also in the case of timelike geodesics between two submanifolds of a Lorentzian manifold. For the extension to the lightlike Lorentzian case, just minor changes are required and one obtains easily a proof of the focal index theorems of Beem, Ehrlich and Kim.
Motivated by the use of degenerate Jacobi metrics for the study of brake orbits and homoclinics, we develop a Morse theory for geodesics in conformal metrics having conformal factors vanishing on a regular hypersurface of a Riemannian manifold.
Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold.
We prove the Morse relations for the set of all geodesics connecting two non-conjugate points on a class of globally hyperbolic Lorentzian manifolds. We overcome the difficulties coming from the fact that the Morse index of every geodesic is infinite, and from the lack of the Palais-Smale condition, by using the Morse complex approach.
We show that the index of a lightlike geodesic in a conformally standard stationary spacetime is equal to the index of its spatial projection as a geodesic of a Finsler metric associated to the spacetime. Moreover we obtain the Morse relations of lightlike geodesics connecting a point to an integral line of the standard timelike Killing vector field by using Morse theory on the associated Finsler manifold. To this end, we prove a splitting lemma for the energy functional of a Finsler metric. Finally, we show that the reduction to Morse theory of a Finsler manifold can be done also for timelike…
It is proved, that if M is a connected, complete submanifold of a complex space form N and each geodesic of M lies in an 1-dimensional totally geodesic complex submanifold of N, then M is totally geodesic in N and is a real space form or a complex space form.
We investigate submanifolds in space forms such that every geodesic orthogonal to the submanifold intersects a fixed totally geodesic submanifold. We obtain an application to horospheres in Hadamard manifolds.
We give the details of the proof of the equality between the critical groups, with respect the H^1 and C^1 topology, at a non-degenerate critical point of the energy functional of a non-reversible Finsler manifold (M,F), defined on the Hilbert manifold of the H^1 curves connecting two given points on M.
Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant proof of homotopy connectedness theorems for complex submanifolds of Hermitian symmetric spaces. In this work we extend this proof to a larger class of compact complex homogeneous spaces.
We give in this paper bounds for the Morse indices of a large class of simple geodesics on a surface with a generic metric. To our knowledge these bounds are the first that use only the generic hypothesis on the metric.
We give a full description of totally geodesic submanifolds in the tangent bundle of a Riemannian 2-manifold of constant curvature and present a new class of a cylinder-type totally geodesic submanifolds in the general case.
In the present paper we study pseudo-Riemannian submanifolds which have 3-planar geodesic normal sections.We consider W-curves (helices) on pseudo-Riemannian submanifolds. Finally, we give neccessary and sufficient condition for a normal section to be a W-curve on pseudo-Riemannian submanifolds.
In this paper we present the full details of the construction of a Morse-Floer type homology related to the super-quadratic perturbation of the Dirac-geodesic model. This homology is computed explicitly using a Leray-Serre type spectral sequence and this computation leads us to several existence results of Dirac-geodesics.
In this article, relations between the root space decomposition of a Riemannian symmetric space of compact type and the root space decompositions of its totally geodesic submanifolds (symmetric subspaces) are described. These relations provide an approach to the classification of totally geodesic submanifolds in Riemannian symmetric spaces. In this way a classification of the totally geodesic submanifolds in the complex quadric $Q^m := \SO(m+2)/(\SO(2) \times \SO(m))$ is obtained. It turns out that the earlier classification of totally geodesic submanifolds of $Q^m$ by Chen and Nagano is incom…
This is a survey paper on Morse theory and the existence problem for closed geodesics. The free loop space plays a central role, since closed geodesics are critical points of the energy functional. As such, they can be analyzed through variational methods. The topics that we discuss include: Riemannian background, the Lyusternik-Fet theorem, the Lyusternik-Schnirelmann principle of subordinated classes, the Gromoll-Meyer theorem, Bott's iteration of the index formulas, homological computations using Morse theory, $SO(2)$- vs. $O(2)$-symmetries, Katok's examples and Finsler metrics, relations t…
We classify maximal totally geodesic submanifolds in exceptional symmetric spaces up to isometry. Moreover, we introduce an invariant for certain totally geodesic embeddings of semisimple symmetric spaces, which we call the Dynkin index. We prove a result analogous to the index conjecture: for every irreducible symmetric space of non-compact type, there exists a totally geodesic submanifold which is of minimal codimension and whose non-flat irreducible factors have Dynkin index equal to one.
The main goal of this paper is to give a unified treatment to many known cuplength estimates. As the base case, we prove that for $C^0$-perturbations of a function which is Morse-Bott along a closed submanifold, the number of critical points is bounded below in terms of the cuplength of that critical submanifold. As we work with rather general assumptions the proof also applies in a variety of Floer settings. For example, this proves lower bounds for the number of fixed points of Hamiltonian diffeomorphisms, Hamiltonian chords for Lagrangian submanifolds, translated points of contactomorphisms…
In the first part of this expository article, the most important constructions and classification results concerning totally geodesic submanifolds in Riemannian symmetric spaces are summarized. In the second part, I describe the results of my classification of the totally geodesic submanifolds in the Riemannian symmetric spaces of rank 2.
In this article, I classify the totally geodesic submanifolds in the complex 2-Grassmannians and in the quaternionic 2-Grassmannians. It turns out that for both of these spaces, the earlier classification of maximal totally geodesic submanifolds in Riemannian symmetric spaces of rank 2, published by Chen and Nagano (B.-Y. Chen, T. Nagano, "Totally geodesic submanifolds of symmetric spaces, II", Duke Math. J. 45 (1978), 405--425) is incomplete. For example, G_2(H^n) with n >= 7 contains totally geodesic submanifolds isometric to a HP^2, its metric scaled such that the minimal sectional curvatur…
We use the Cartan representations of $SO(3)$ and $SU(3)$, and an irreducible 14-dimensional representation of $Sp(3)$ to construct certain totally geodesic submanifolds in "skew" position in the complex quadrics, the complex 2-Grassmannians and the quaternionic 2-Grassmannians.
We present classifications of totally geodesic and totally umbilical Legendrian submanifolds of $(κ,μ)$-spaces with Boeckx invariant $I \leq -1$. In particular, we prove that such submanifolds must be, up to local isometries, among the examples that we explicitly construct.
In the paper we investigate submanifolds in a tangent bundle endowed with g-natural metric G, defined by a vector field on a base manifold. We give a sufficient condition for a vector field on M to defined totally geodesic submanifold in (TM,G). The parallel vector field is discussed in more detail.
We show that any two non-conjugate points on a forward or backward complete connected Finsler manifold can be joined by infinitely many geodesics which are not covered by finitely many closed ones, provided that the Betti numbers of the based loop space grow unbounded.
Perturbed geodesics are trajectories of particles moving on a semi-Riemannian manifold in the presence of a potential. Our purpose here is to extend to perturbed geodesics on semi-Riemannian manifolds the well known Morse Index Theorem. When the metric is indefinite, the Morse index of the energy functional becomes infinite and hence, in order to obtain a meaningful statement, we substitute the Morse index by its relative form, given by the spectral flow of an associated family of index forms. We also introduce a new counting for conjugate points, which need not to be isolated in this context,…
In this paper I have studied about CR(Cauchy-Riemann)-submanifolds of Lorentzian Concircular Structure manifold ((LCS)n-manifold), Lorentzian Para-Sasakian(LP)-cosymplectic manifold, S-manifold and Generalized Kenmotsu (GKM) manifold. I have discussed some results regarding distribution, structure vector field, totally geodesic submanifold, leaf etc.. I have obtained results on totally umbilical contact CR-submanifold where the anti-invariant distribution has some properties. Next, I have studied some results about D-totally geodesic CR-submanifold (D is the distribution), a contact CR-submani…
One purpose of this article is to establish a general method to determine stability of totally geodesic submanifolds of symmetric spaces. The method is used to determine the stability of the basic totally geodesic submanifolds $M_+,M_-$ introduced and studied by Chen and Nagano in [Totally geodesic submanifolds of symmetric spaces, II, Duke Math. J. 45 (1978), 405--425] as minimal submanifolds. The other purpose is to establish a stability theorem for minimal totally real submanifolds of Kählerian manifolds.
A conformal structure on a manifold $M^n$ induces natural second order conformally invariant operators, called Möbius and Laplace structures, acting on specific weight bundles of $M$, provided that $n\ge 3$. By extending the notions of Möbius and Laplace structures to the case of surfaces and curves, we develop here the theory of extrinsic conformal geometry for submanifolds, find tensorial invariants of a conformal embedding, and use these invariants to characterize various forms of geodesic submanifolds.
We classify totally geodesic submanifolds of Damek-Ricci spaces and show that they are either homogeneous (such submanifolds are known to be "smaller" Damek-Ricci spaces) or isometric to rank-one symmetric spaces of negative curvature. As a by-product, we obtain that a totally geodesic submanifold of any known harmonic manifold is by itself harmonic. We prove that the Cayley hyperbolic plane admits no Einstein hypersurfaces and that the only Einstein hypersurfaces in the Cayley projective plane are geodesic spheres of a particular radius; this completes the classification of Einstein hypersurf…
In this paper we obtain an existence theorem for normal geodesics joining two given submanifolds in a globally hyperbolic stationary spacetime. The proof is based on both variational and geometric arguments involving the causal structure of the spacetime, the completeness of suitable Finsler metrics associated to it and some basic properties of a submersion. By this interaction, unlike previous results on the topic, also non--spacelike submanifolds can be handled.
In this note, we prove that given a submanifold $P$ in a Finsler manifold $(M,F)$, (i) the orthogonal geodesics to $P$ minimize the distance from $P$ at least in some interval, (ii) there exist tubular neighbourhoods around each point of $P$, (iii) the distance from $P$ is smooth in some open neighbourhood of $P$ (but not necessarily in $P$).
The $L^2$-metric or Fubini-Study metric on the non-linear Grassmannian of all submanifolds of type $M$ in a Riemannian manifold $(N,g)$ induces geodesic distance 0. We discuss another metric which involves the mean curvature and shows that its geodesic distance is a good topological metric. The vanishing phenomenon for the geodesic distance holds also for all diffeomorphism groups for the $L^2$-metric.
Given a Lorentzian manifold $(M,g)$, a geodesic $γ$ in $M$ and a timelike Jacobi field $\mathcal Y$ along $γ$, we introduce a special class of instants along $γ$ that we call $\mathcal Y$-pseudo conjugate (or focal relatively to some initial orthogonal submanifold). We prove that the $\mathcal Y$-pseudo conjugate instants form a finite set, and their number equals the Morse index of (a suitable restriction of) the index form. This gives a Riemannian-like Morse index theorem. As special cases of the theory, we will consider geodesics in stationary and static Lorentzian manifolds, where the Jaco…
For $n\geq 4$ we show that generic closed Riemannian $n$-manifolds have no nontrivial totally geodesic submanifolds, answering a question of Spivak. An immediate consequence is a severe restriction on the isometry group of a generic Riemannian metric. Both results are widely believed to be true, but we are not aware of any proofs in the literature.
In this paper we develop a Morse Theory for timelike geodesics parameterized by a constant multiple of proper time. The results are obtained using an extension to the timelike case of the relativistic Fermat Principle, and techniques from Global Analysis on infinite dimensional manifolds. In the second part of the paper we discuss a limit process that allows to obtain also a Morse theory for light rays.
Let M be an irreducible Riemannian symmetric space. The index i(M) of M is the minimal codimension of a totally geodesic submanifold of M. In previous work the authors proved that i(M) is bounded from below by the rank rk(M) of M. In this paper we classify all irreducible Riemannian symmetric spaces M for which the equality holds, that is, rk(M) = i(M). In this context we also obtain an explicit classification of all non-semisimple maximal totally geodesic submanifolds in irreducible Riemannian symmetric spaces of noncompact type and show that they are closely related to irreducible symmetric …
It is well-known that if $ξ$ is a smooth vector field on a given Riemannian manifold $M^n$ then $ξ$ naturally defines a submanifold $ξ(M^n)$ transverse to the fibers of the tangent bundle $TM^n$ with Sasaki metric. In this paper, we are interested in transverse totally geodesic submanifolds of the tangent bundle. We show that a transverse submanifold $N^l$ of $TM^n$ ($1 \leq l \leq n$) can be realized locally as the image of a submanifold $F^l$ of $M^n$ under some vector field $ξ$ defined along $F^l$. For such images $ξ(F^l)$, the conditions to be totally geodesic are presented. We show that t…
We prove that there exists a metric of positive curvature in a three-sphere which admits a given torus knot as a closed geodesic.We also sketch a construction of a metric in a four sphere, very likely of positive curvature, which admits a totally geodesic projective plane with Euler number four. Surpisingly, the technique borrows a lot from the Mostow-Siu-Gromov-Thurston constuction of exotic negatively curved manifolds.
The present article is the final part of a series on the classification of the totally geodesic submanifolds of the irreducible Riemannian symmetric spaces of rank 2. After this problem has been solved for the 2-Grassmannians in my previous papers cited in the present paper as [K1] and [K2], and for the space SU(3)/SO(3) in [K3], Section 6, we now solve the classification for the remaining irreducible Riemannian symmetric spaces of rank 2 and compact type: SU(6)/Sp(3), SO(10)/U(5), E6/(U(1)*Spin(10)), E6/F4, G2/SO(4), SU(3), Sp(2) and G2. Similarly as for the spaces already investigated in the…
Given a smooth function f on R^n and a submanifold M, we prove that the set of diagonal quadratic forms q such that the restriction of f+q to M is Morse is a dense set (in the n-dimensional space of diagonal quadratic forms). The standard transversality argument seems not to work and we need a more refined approach.
In this paper, we define and study CR-lightlike submanifolds of a golden semi-Riemannian manifold. We investigate some properties of geodesic CR-submanifolds of a golden semi-Riemannian manifold. Moreover, we obtain many interesting results for totally geodesic and totally umbilical CR-submanifolds on a golden Riemannian manifold. A non-trivial example of CR-lightlike submanifold of a golden semi-Riemannian manifold is also constructed.
Let $f:M \to \mathbb{R}$ be a Morse-Bott function on a compact smooth finite dimensional manifold $M$. The polynomial Morse inequalities and an explicit perturbation of $f$ defined using Morse functions $f_j$ on the critical submanifolds $C_j$ of $f$ show immediately that $MB_t(f) = P_t(M) + (1+t)R(t)$, where $MB_t(f)$ is the Morse-Bott polynomial of $f$ and $P_t(M)$ is the Poincaré polynomial of $M$. We prove that $R(t)$ is a polynomial with nonnegative integer coefficients by showing that the number of gradient flow lines of the perturbation of $f$ between two critical points $p,q \in C_j$ c…
We prove an equidistribution result for totally geodesic submanifolds in a compact locally symmetric space. In the case of Hermitian locally symmetric spaces, this gives a convergence theorem for currents of integration along totally geodesic subvarieties. As a corollary, we obtain that on a complex surface which is a compact quotient of the bidisc or of the 2-ball, there is at most a finite number of totally geodesic curves with negative self intersection. More generally, we prove that there are only finitely many exceptional totally geodesic divisors in a compact Hermitian locally symmetric …
We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Based on an idea of B. White, we prove an abstract genericity result that employs the infinite dimensional Sard--Smale theorem. Applications are given by proving the genericity of metrics without degenerate geodesics between fixed endpoints in general (non compact) semi-Riemannian manifolds, in orthogonally split semi-Riemannian manifolds and in globally hyperbolic Lorentzian manifolds. We …
