Morse theory
The common name for three different theories based on ideas of M. Morse [1] 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 on a smooth manifold
(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 be a function on a smooth manifold
. If the set
does not contain a critical point of
and does not intersect the boundary of
, then
is a smooth manifold with boundary
. If the set
is compact, does not intersect the boundary of
and does not contain a critical point of
, then there is a smooth isotopy
,
(realized by shifting along the trajectories of the gradient of
), such that
and
diffeomorphically maps
onto
. In particular,
is diffeomorphic to
and the inclusion
is a homotopy equivalence.
If is compact, does not intersect the boundary of
and contains precisely one critical point
with Morse index
, then
is diffeomorphic to a manifold obtained from
by glueing a handle of index
(see Morse surgery). In particular, if
is the unique global minimum point of
, then for small
the set
is diffeomorphic to the disc
, where
. Hence it follows that if
is a closed smooth manifold having a function with precisely two critical points (both non-degenerate), then
is obtained by glueing two smooth discs along their common boundary and, therefore, it is homeomorphic (but in general not diffeomorphic) to the sphere
.
Since glueing a handle of index is homotopically equivalent to glueing a cell of dimension
, the following fundamental theorem of Morse theory 1 follows immediately: Corresponding to each Morse function
on a smooth manifold
(without boundary) is a CW-complex homotopically equivalent to
; its cells are in bijective correspondence with the critical points of
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
.
2) Morse theory of geodesics on a Riemannian manifold (briefly, Morse theory 2) describes the homotopy type of the loop space of a smooth manifold
with a Riemannian metric
. 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
is played here by an action functional
(sometimes called energy functional, [5]), defined on the space
of piecewise-smooth paths
,
, whose value on a path
is defined, in local coordinates
, by the formula
![]() |
In the initial construction of Morse theory the length functional
![]() |
was considered, but for many technical reasons turned out to be preferable. At the same time the extremals of
(that is, paths
for which the linear functional
defined by the variation
of
is zero on
) coincide with the geodesics of the metric
(the extremals of the functional
) in their natural parametrization.
Let and
be two (not necessarily distinct) points of
, and let
be the space of piecewise-smooth paths joining
to
. For each
, put
![]() |
If is complete, then
(the interior of
) is a deformation retract of a smooth manifold
whose points are "polygonal geodesics" with a fixed number of links, joining
to
(so that, in particular,
contains all geodesics from
). Here
is a smooth function; for any
the set
is compact and is a deformation retract of
; the critical points of
coincide with the extremals of the functional
and are geodesics of length
joining
and
; the Morse indices of the critical points of
are equal to the Morse indices of the corresponding geodesics; the null space
of
on a geodesic
is finite dimensional and isomorphic to the null space of the Hessian of
at the corresponding critical point; in particular, if
and
are not conjugate on any geodesic
joining them, then
is a Morse function. Applying Morse theory 1, passing to the limit as
and noting that
is homotopically equivalent to the space
of all continuous paths joining
to
, one obtains the following fundamental theorem of Morse theory 2: Let
be a complete Riemannian manifold and let
and
be two points not conjugate on any geodesic joining them. The space
of all paths joining
and
is homotopically equivalent to a CW-complex all cells of dimension
of which are in bijective correspondence with the geodesics of index
joining
to
. Since the homotopy type of
does not depend on the choice of
and
, this theorem gives, in particular, a description of the homotopy type of the loop space
.
It is known
that for a non-contractible manifold the space
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 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
of such a manifold has the type of a zero-dimensional CW-complex, and consequently (in view of the simple connectedness of
) is contractible. Therefore
is contractible, that is, is homotopically equivalent to
. A more precise use of Morse theory shows that
is even diffeomorphic to
(see [3], [5]).
The application of Morse theory to the topology of Lie groups has turned out to be very effective [2]. For example, for any simply-connected Lie group the space
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
-theory and, consequently, in the whole of differential topology. Let
be the limit of the sequence of nested unitary groups
and let
be the limit of the sequence of nested orthogonal groups
. Bott's periodicity theorem asserts that there are homotopy equivalences
,
, where
is the
-th iterate of the functor of passing to the loop space. This theorem allows one to calculate the homotopy groups
and
and, consequently, the homotopy groups
and
for
,
.
More theory 2 generalizes also to the case when instead of points smooth submanifolds
of
are considered. The action functional is studied on the space
of all piecewise-smooth paths
,
,
,
, that are transversal at the end-points to
and
, and a relation between the extremals of this functional and the homotopy type of
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 [9], 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 is replaced by condition
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.
References
[1] | M. Morse, "The calculus of variations in the large" , Amer. Math. Soc. (1934) MR1451874 MR1501555 MR1561686 MR1501489 MR1501428 Zbl 0011.02802 Zbl 60.0450.01 |
[2] | J.W. Milnor, "Morse theory" , Princeton Univ. Press (1963) MR0163331 Zbl 0108.10401 |
[3] | J. Milnor, "Lectures on the ![]() |
[4] | H. Seifert, W. Threlfall, "Variationsrechnung im Groszen (Morsesche Theorie)" , Teubner (1938) |
[5] | D. Gromoll, W. Klingenberg, W. Meyer, "Riemannsche Geometrie im Grossen" , Springer (1968) MR0229177 Zbl 0155.30701 |
[6] | R.L. Bishop, R.J. Crittenden, "Geometry of manifolds" , Acad. Press (1964) MR0169148 Zbl 0132.16003 |
[7] | M.M. Postnikov, "Introduction to Morse theory" , Moscow (1971) (In Russian) MR0315739 |
[8] | M.M. Postnikov, "The variational theory of geodesics" , Saunders (1967) (Translated from Russian) MR0210042 Zbl 0167.50102 |
[9] | J. Eells, "A setting for global analysis" Bull. Amer. Math. Soc. , 72 (1966) pp. 751–807 MR0203742 Zbl 0191.44101 |
[10a] | J.-P. Serre, "Homologie singulière des espaces fibrés I" C.R. Acad. Sci. Paris , 231 (1950) pp. 1408–1410 MR0039253 Zbl 0039.39702 |
[10b] | J.-P. Serre, "Homologie singulière des espaces fibrés. Applications" Ann. of Math. (2) , 54 (1951) pp. 425–505 MR0045386 Zbl 0045.26003 |
[10c] | J.-P. Serre, "Homologie singulière des espaces fibrés II" C.R. Acad. Sci. Paris , 232 (1951) pp. 31–33 MR0039254 Zbl 0042.17401 |
[10d] | J.-P. Serre, "Homologie singulière des espaces fibrés III" C.R. Acad. Sci. Paris , 232 (1951) pp. 142–144 MR0039255 Zbl 0042.17402 |
Comments
A useful survey of Morse theory is [a1]; historical remarks can be found in [a2] and [a3], Sect. 1.7.
There is an analogue (generalization) of (finite-dimensional) smooth Morse theory for suitable spaces with singularities, called stratified Morse theory. Let be a compact Whitney-stratified space contained in a smooth manifold
(cf. (the editorial comments to) Stratification). Let
be the restriction to
of a smooth real-valued function on
. A critical point of
is any critical point of
restricted to a stratum of
. In particular, all the zero-dimensional strata are critical points. The proper smooth function
is called a Morse function on the stratified space
if:
a) all critical values of are distinct;
b) at each critical point of
, the restriction of
to the stratum containing
has a non-degenerate critical point at
;
c) the differential of at a critical point
does not annihilate any limit of tangent spaces to any stratum
other than the stratum containing
.
It follows that the set of critical points is discrete in and that the critical values are discrete in
. If
, the distance function on
from a point
is a Morse function for almost-all
. The Morse functions also form an open dense set in the space of all proper smooth functions with the appropriate topology.
For each , let
. Then (for a Morse function
on
) one has the following analogue of smooth finite-dimensional Morse theory. As
varies in the open interval between two adjacent critical values, the topological type of
does not vary, and as
crosses a critical value
(from below), the topological type of
, with
sufficiently small, is obtained from that of
by glueing in a suitable (stratified) space
along a subspace
. The major difference is that the pair
can be far more complicated than the pair
, where
is the
-dimensional solid ball, of the smooth theory. Also, the pair
is not determined by a single integer. Intersection homology plays an analogous role vis à vis stratified Morse theory as ordinary homology does with respect to the smooth theory, in that if
is the pair belonging to the critical point
, then the intersection homology group
vanishes for all
except
, where
,
and
is the Morse index of
restricted to
at
.
There are two other important generalizations of ordinary finite-dimensional Morse theory:
The non-isolated case.
This applies to functions with non-degenerate critical manifolds. One assumes that restricted to the normal direction is non-degenerate. Cf. [a5].
The equivariant case.
This applies to functions which are equivariant under the action of a Lie group. Cf. [a1]. There are applications e.g. to Yang–Mills theory (cf. Yang–Mills field) in 2 dimensions. Cf. [a4].
References
[a1] | R. Bott, "Lectures on Morse theory, old and new" Bull. Amer. Math. Soc. , 7 : 2 (1982) pp. 331–358 MR0714336 MR0663786 Zbl 0521.58019 Zbl 0505.58001 |
[a2] | R. Bott, "Marston Morse and his mathematical works" Bull. Amer. Math. Soc. , 3 : 3 (1980) pp. 907–950 MR0585177 Zbl 0469.01012 |
[a3] | M. Goreski, R. MacPherson, "Stratified Morse theory" , Springer (1988) |
[a4] | M. Atiyah, R. Bott, "The Yang–Mills equations over Riemann surfaces" Phil. Trans. R. Soc. London A , 308 (1982) pp. 523–615 MR0702806 Zbl 0509.14014 |
[a5] | R. Bott, "Non-degenerate critical manifolds" Ann. of Math. (2) , 60 (1954) pp. 248–261 MR64399 |
[a6] | W. Klingenberg, "Lectures on closed geodesics" , Springer (1978) MR0478069 Zbl 0397.58018 |
[a7] | S. Smale, "Morse theory and a non-linear generalization of the Dirichlet problem" Ann. of Math. , 80 (1964) pp. 382–346 MR0165539 Zbl 0131.32305 |
[a8] | W. Klingenberg, "Riemannian geometry" , de Gruyter (1982) (Translated from German) MR0666697 Zbl 0495.53036 |
Morse theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Morse_theory&oldid=24512