# Morse theory

The common name for three different theories based on ideas of M. Morse  and describing the relation between algebraic-topological properties of topological spaces and extremal properties of functions (functionals) on them. Morse theory is a branch of variational calculus in the large (calculus of variations in the large); however, the latter is broader: for example, it includes the theory of categories (cf. Category (in the sense of Lyusternik–Shnirel'man)).

1) Morse theory of critical points (cf. Critical point) of smooth functions $f$ on a smooth manifold $M$( briefly, Morse theory 1) is divided into two parts: local and global. The local part is related to the idea of a critical point of a smooth function, the Hessian of a function at its critical point, the Morse index of a critical point, etc. The basic result is the Morse lemma, which describes the structure of a smooth function in a neighbourhood of a non-degenerate critical point.

The study of smooth functions in neighbourhoods of degenerate points does not properly belong to Morse theory, it does rather belong to the separate theory of singularities of differentiable mappings.

The basic results in global Morse theory are as follows. Let $f$ be a function on a smooth manifold $M$. If the set $f ^ { - 1 } ( a)$ does not contain a critical point of $f$ and does not intersect the boundary of $M$, then $M ^ {a} = f ^ { - 1 } ( - \infty , a)$ is a smooth manifold with boundary $f ^ { - 1 } ( a)$. If the set $f ^ { - 1 } [ a , b ]$ is compact, does not intersect the boundary of $M$ and does not contain a critical point of $f$, then there is a smooth isotopy $h _ {t} : M \rightarrow M$, $0 \leq t \leq 1$( realized by shifting along the trajectories of the gradient of $f$), such that $h _ {0} = \mathop{\rm id} _ {M}$ and $h _ {1}$ diffeomorphically maps $M ^ {b}$ onto $M ^ {a}$. In particular, $M ^ {b}$ is diffeomorphic to $M ^ {a}$ and the inclusion $M ^ {a} \subset M ^ {b}$ is a homotopy equivalence.

If $f ^ { - 1 } [ a , b ]$ is compact, does not intersect the boundary of $M$ and contains precisely one critical point $p \in f ^ { - 1 } ( a , b )$ with Morse index $\lambda$, then $M ^ {b}$ is diffeomorphic to a manifold obtained from $M ^ {a}$ by glueing a handle of index $\lambda$( see Morse surgery). In particular, if $p$ is the unique global minimum point of $f$, then for small $\epsilon > 0$ the set $M ^ { f ( p) + \epsilon }$ is diffeomorphic to the disc $D ^ {n}$, where $n = \mathop{\rm dim} M$. Hence it follows that if $M$ is a closed smooth manifold having a function with precisely two critical points (both non-degenerate), then $M$ is obtained by glueing two smooth discs along their common boundary and, therefore, it is homeomorphic (but in general not diffeomorphic) to the sphere $S ^ {n}$.

Since glueing a handle of index $\lambda$ is homotopically equivalent to glueing a cell of dimension $\lambda$, the following fundamental theorem of Morse theory 1 follows immediately: Corresponding to each Morse function $f$ on a smooth manifold $M$( without boundary) is a CW-complex homotopically equivalent to $M$; its cells are in bijective correspondence with the critical points of $f$ and the dimension of a cell is equal to the index of the corresponding critical point. The Morse inequalities are an immediate consequence of this theorem. An analogous theorem is valid for a Morse function on a triple $( W ; V _ {0} , V _ {1} )$.

2) Morse theory of geodesics on a Riemannian manifold (briefly, Morse theory 2) describes the homotopy type of the loop space $\Omega M$ of a smooth manifold $M$ with a Riemannian metric $g _ {ij}$. Its aim is to transfer the results of Morse theory 1 to this space (more correctly, to a suitable model of it). The role of $f$ is played here by an action functional $E$( sometimes called energy functional, ), defined on the space $\mathop{\rm PS} ( M)$ of piecewise-smooth paths $\omega : t \rightarrow \omega ( t)$, $0 \leq t \leq 1$, whose value on a path $\omega \in \mathop{\rm PS} ( M)$ is defined, in local coordinates $x ^ {1} \dots x ^ {n}$, by the formula

$$E ( \omega ) = \ \int\limits _ { 0 } ^ { 1 } g _ {ij} d x ^ {i} d x ^ {j} .$$

In the initial construction of Morse theory the length functional

$$L ( \omega ) = \ \int\limits _ { 0 } ^ { 1 } \sqrt {g _ {ij} d x ^ {i} d x ^ {j} }$$

was considered, but for many technical reasons $E$ turned out to be preferable. At the same time the extremals of $E$( that is, paths $\omega \in \mathop{\rm PS} ( M)$ for which the linear functional $E _ {*}$ defined by the variation $\delta E$ of $E$ is zero on $T _ \omega$) coincide with the geodesics of the metric $g _ {ij}$( the extremals of the functional $L$) in their natural parametrization.

Let $p$ and $q$ be two (not necessarily distinct) points of $M$, and let $\Omega ^ { \mathop{\rm PS} } ( M ; p , q ) \subset \mathop{\rm PS} ( M)$ be the space of piecewise-smooth paths joining $p$ to $q$. For each $l \in \mathbf R$, put

$$\Omega _ {l} = \ \Omega _ {l} ^ { \mathop{\rm PS} } ( M ; p , q ) = E ^ {-} 1 [ 0 , l ] \cap \Omega ^ { \mathop{\rm PS} } ( M ; p , q ) .$$

If $M$ is complete, then $\Omega _ {l} ^ {0} = E ^ {-} 1 [ 0 , l ) \cap \Omega _ {l}$( the interior of $\Omega _ {l}$) is a deformation retract of a smooth manifold $B$ whose points are "polygonal geodesics" with a fixed number of links, joining $p$ to $q$( so that, in particular, $B$ contains all geodesics from $\Omega _ {l} ^ {0}$). Here $E ^ \prime = E \mid _ {B} : B \rightarrow \mathbf R$ is a smooth function; for any $a < l$ the set $B ^ {a} = ( E ^ \prime ) ^ {-} 1 [ 0 , a ]$ is compact and is a deformation retract of $\Omega _ {a}$; the critical points of $E ^ \prime$ coincide with the extremals of the functional $E : \Omega _ {l} ^ {0} \rightarrow \mathbf R$ and are geodesics of length $< \sqrt l$ joining $p$ and $q$; the Morse indices of the critical points of $E ^ \prime$ are equal to the Morse indices of the corresponding geodesics; the null space $N _ \gamma$ of $E _ {**}$ on a geodesic $\gamma \in \Omega _ {l} ^ {0}$ is finite dimensional and isomorphic to the null space of the Hessian of $E ^ \prime$ at the corresponding critical point; in particular, if $p$ and $q$ are not conjugate on any geodesic $\gamma$ joining them, then $E ^ \prime$ is a Morse function. Applying Morse theory 1, passing to the limit as $l \rightarrow \infty$ and noting that $\Omega ^ { \mathop{\rm PS} } ( M ; p , q )$ is homotopically equivalent to the space $\Omega ( M ; p , q )$ of all continuous paths joining $p$ to $q$, one obtains the following fundamental theorem of Morse theory 2: Let $M$ be a complete Riemannian manifold and let $p$ and $q$ be two points not conjugate on any geodesic joining them. The space $\Omega ( M ; p , q )$ of all paths joining $p$ and $q$ is homotopically equivalent to a CW-complex all cells of dimension $\lambda$ of which are in bijective correspondence with the geodesics of index $\lambda$ joining $p$ to $q$. Since the homotopy type of $\Omega ( M ; p , q )$ does not depend on the choice of $p$ and $q$, this theorem gives, in particular, a description of the homotopy type of the loop space $\Omega M$.

It is known

that for a non-contractible manifold $M$ the space $\Omega M$ has non-trivial homology groups in arbitrarily high dimension. By the fundamental theorem of Morse theory 2 it follows that non-conjugate points in a complete Riemannian non-contractible manifold are joined by infinitely many geodesics (by the example of the sphere it is clear, in general, that these geodesics may be segments of one periodic geodesic).

In the description of the homotopy type given by the fundamental theorem, Jacobi fields (cf. Jacobi equation and Jacobi vector field) (implicitly) appear, therefore Morse theory establishes a connection between the curvature of a manifold and its topology. For example, if $M$ is a complete simply-connected Riemannian manifold of non-positive curvature in all two-dimensional directions, then any Jacobi field vanishing at two points of a geodesic is identically zero. Therefore the loop space $\Omega M$ of such a manifold has the type of a zero-dimensional CW-complex, and consequently (in view of the simple connectedness of $M$) is contractible. Therefore $M$ is contractible, that is, is homotopically equivalent to $\mathbf R ^ {n}$. A more precise use of Morse theory shows that $M$ is even diffeomorphic to $\mathbf R ^ {n}$( see , ).

The application of Morse theory to the topology of Lie groups has turned out to be very effective . For example, for any simply-connected Lie group $G$ the space $\Omega G$ has the homotopy type of a CW-complex with only odd-dimensional cells. The apotheosis here is the Bott periodicity theorem, which plays a fundamental role in $K$- theory and, consequently, in the whole of differential topology. Let $U$ be the limit of the sequence of nested unitary groups $\dots \subset U _ {n} \subset U _ {n+} 1 \subset \dots$ and let $O$ be the limit of the sequence of nested orthogonal groups $\dots \subset O _ {n} \subset O _ {n+} 1 \subset \dots$. Bott's periodicity theorem asserts that there are homotopy equivalences $\Omega ^ {2} U \sim U$, $\Omega ^ {8} O \sim O$, where $\Omega ^ {n}$ is the $n$- th iterate of the functor of passing to the loop space. This theorem allows one to calculate the homotopy groups $\pi _ {i} U$ and $\pi _ {i} O$ and, consequently, the homotopy groups $\pi _ {i} U _ {n}$ and $\pi _ {j} O _ {n}$ for $i < 2 n$, $j < n$.

More theory 2 generalizes also to the case when instead of points $p , q$ smooth submanifolds $V _ {0} , V _ {1}$ of $M$ are considered. The action functional is studied on the space $\Omega ^ { \mathop{\rm PS} } ( M ; V _ {0} , V _ {1} )$ of all piecewise-smooth paths $\omega : t \rightarrow \omega ( t)$, $0 \leq t \leq 1$, $\omega ( i) \in V _ {i}$, $i = 0 , 1$, that are transversal at the end-points to $V _ {0}$ and $V _ {1}$, and a relation between the extremals of this functional and the homotopy type of $\Omega ( M ; V _ {0} , V _ {1} )$ has been established. The corresponding fundamental theorem is analogous to the above-mentioned fundamental theorem of Morse theory 2; the difficulty is in the geometric interpretation of the Morse index of a geodesic.

3) The natural development of Morse theory 2 is Morse theory for critical points of smooth functions on Banach (infinite-dimensional) manifolds — Morse theory 3, which is no longer an analogue, but a direct generalization of Morse theory 1. At present (1989) Morse theory 3 is at an initial stage and has been constructed only in a very preliminary context under very strong (and clearly not necessary) conditions on the model Banach space (on separable- and Hilbert-type spaces), when no specifically functional-analytic difficulties arise , although there have been attempts at a construction of Morse theory 3 in fairly general situations. Therefore, in its modern form, Morse theory 3 is an almost verbatim re-iteration of Morse theory 1. The only difference worth mentioning is that in Morse theory 3 the compactness of $f ^ { - 1 } [ a , b ]$ is replaced by condition $C$ of Palais–Smale (see Morse function), which, besides, is not satisfied in all situations of interest. In addition, although it is possible to glue to a Banach manifold a handle of infinite index, in view of the homotopic triviality of infinite-dimensional spheres this handle has no effect on the homotopy type. Therefore only critical points of finite index occur in the fundamental theorem of Morse theory 3.

## Contents

How to Cite This Entry:
Morse theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Morse_theory&oldid=47906
This article was adapted from an original article by M.M. PostnikovYu.B. Rudyak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article