Riemannian geometry in the large
The branch of Riemannian geometry that examines the connections between the local and global characteristics of Riemannian manifolds. The term "Riemannian geometry in the large" usually refers to a specific range of problems and methods characteristic for geometry in the large. Fundamental to Riemannian geometry in the large is the study of the connection between the curvature and the topology of a Riemannian manifold. Thus, problems relating to the topological and the metric structure of Riemannian manifolds with given conditions on the curvature are studied, e.g. the question of the existence of a Riemannian metric with prescribed properties of the curvature on a given smooth manifold (the sectional curvature ; the Ricci curvature Ric; the scalar curvature
). The major part of the results obtained relate to spaces with curvatures of constant sign. Riemannian geometry in the large is closely connected with the theory of homogeneous spaces (cf. Homogeneous space) and the variational theory of geodesics (cf. Geodesic line). For submanifolds of Riemannian manifolds, see Isometric immersion and Geometry of immersed manifolds.
The methods of Riemannian geometry in the large are of a synthetic character. In addition to local differential geometry, wide use is made of the theory of differential equations and Morse theory. The main achievements are those of the discovery of successful constructions, such as the construction of closed geodesics, of minimal films or of films of geodesics, of horospheres, and of convex sets. The study of the topology of Riemannian manifolds is usually preceded by the study of their metric properties. The latter is often accomplished by comparing a Riemannian manifold with a suitable standard space (see below: Comparison theorems).
Topological structure.
For closed surfaces the connection between the curvature and the topology is essentially determined by the Gauss–Bonnet formula (cf. Gauss–Bonnet theorem). Among the closed surfaces, only the sphere and the projective plane
can carry a metric of positive curvature; only the torus and the Klein bottle can carry a metric of curvature zero. The structure of a Riemannian manifold of dimension
is less well known (1991). Examples of known theorems are given below.
A complete simply-connected Riemannian manifold with
is diffeomorphic to
(the Hadamard–Cartan theorem); moreover, for any point
the exponential mapping
is a diffeomorphism of the tangent space
onto
.
For closed Riemannian manifolds with , the sphere theorem is valid: A complete Riemannian manifold
with
is called
-pinched; if it is simply connected and
, then
is homeomorphic to
. For even
this bound is precise. When
there are manifolds
that are not homeomorphic to
: these are the symmetric spaces of rank 1 and only these (cf. Symmetric space). For odd
the theorem about the homeomorphism of
to
is true even if
. When
,
, homeomorphism to
implies diffeomorphism. When
, diffeomorphism to the sphere is established with a stronger pinching than in the sphere theorem (it is sufficient to take
, while if
,
). It is also known that with an even stronger pinching (it is sufficient to take
and
as
) a non-simply connected
is diffeomorphic to a space of constant curvature (the quotient space of
by a discrete subgroup of isometries). There are a number of results concerning the conditions on
that guarantee homeomorphism to a symmetric space of rank 1 (see [14], [15]).
An open, that is to say, complete non-compact, Riemannian manifold with is always diffeomorphic to
. A set
is called absolutely convex if each geodesic with ends in
lies entirely in
. Let
be an open Riemannian manifold with
. Then in
there is a totally geodesic absolutely convex closed submanifold
such that
is diffeomorphic to the space
of the normal bundle of
in
(if
, then
). When
or
, and always for homogeneous spaces,
is even isometric to
with the standard metric of the normal bundle. When
, this gives a complete classification of open Riemannian manifolds with
.
A straight line is a complete geodesic that is a shortest curve on any segment of it. The cylinder theorem states: An open with
is isometric to the direct metric product
,
, where
does not contain straight lines. The condition
can here be replaced by
.
Fundamental group.
When and
is even, a closed
is either orientable and simply connected or non-orientable and the fundamental group
; when
is odd, it is always orientable but little is known about
beyond the limits of the sphere theorem. Even for
of constant curvature
, the full description of the possible structures of
for odd
turned out to be a difficult problem (see [9]).
If , then the universal covering
of
is isometric to
and the fundamental group
is isomorphic to a discrete group of isometries of
without fixed points; it contains the subgroup of translations as a subgroup of finite index. (Thus,
permits a finite isometric covering by a flat torus.)
If on
, then
is diffeomorphic to
. Therefore all homotopy groups
for
are trivial and the homotopy type is determined by
. If
, then
is completely non-commutative in the sense that any of its Abelian (and even any of its solvable) subgroups is an infinite cyclic group. When
, the following is known. Let
be a solvable subgroup of
. Then
is isomorphic to a discrete group of isometries of
(without fixed points) and
contains a compact totally geodesic submanifold which is isometric to
. Instead of
it is sufficient in this case to require the absence of conjugate points on the geodesics.
For two manifolds of the same constant negative curvature and the same dimension , isomorphism of their
's implies isometry (Mostow's rigidity theorem).
Riemannian manifolds for which are called
-flat. For an arbitrary
such manifolds can be topologically different from locally flat manifolds. For them, for any
, there is an
such that for an
-flat
there is a nilpotent subgroup of finite index in
. In this case
permits a finite (with multiplicity dependent only on
) covering diffeomorphic to the quotient space of a nilpotent Lie group by a discrete subgroup of it (see [8]).
A complete Riemannian manifold with curvature has finite
and thus a finite group
. If
for a closed
, there is a finite normal subgroup
such that
is a discrete group of isometries of
,
; moreover,
decomposes into the direct metric product
, where
is closed, the decomposition is invariant relative to
and
is trivial in
.
In addition to the study of , several estimates of the Betti numbers
have been made using the theory of harmonic differential forms for
-pinched
. Thus,
when
and
is odd.
Comparison theorems.
Many global properties of Riemannian manifolds are proved by comparing the structures in the Riemannian manifolds under consideration to similar structures on a standard space. This usually is a manifold of constant curvature, or, more rarely, another symmetric space. Below, a -plane is
when
, the sphere
of radius
when
and the Lobachevskii plane of curvature
when
.
The Toponogov theorem on the comparison of angles has many applications: In a Riemannian manifold , let all
, let
be the angles of a triangle made of shortest curves, and let
be the corresponding angles of a triangle with sides of the same length in the
-plane; then
. If
and if any two points of the sides of the triangle in
in question can be joined by a single shortest curve, then
. This theorem is equivalent to the following convexity condition: If in
the shortest curves
form the same angle as the shortest curves
of the same length in the
-plane, then
. What is being compared here is essentially the rate of divergence of the shortest curves.
Rauch's comparison theorem compares the rate of movement of the end points and
of two shortest curves
,
in two Riemannian manifolds
and
when
and
turn around their origins
,
with the same rate, under conditions when (in a natural comparison) the sectional curvatures in
are not less than in
. Then the rate of movement of
is not greater than the rate of
. In the fundamental case (comparison with a
-plane), Rauch's theorem is equivalent to the infinitesimal version of the theorem on the comparison of angles.
There are theorems similar to Rauch's in which the points ,
move on hypersurfaces to which
,
remain orthogonal. There are also comparison theorems for volumes of tubular neighbourhoods of submanifolds (see [13], [16]).
Extremal theorems.
Comparison theorems lead to estimates of such characteristics of as the diameter, the radius of injectivity, the length of a closed geodesic, the volume of a sphere of given radius, etc. Extremal theorems give answers to questions concerning cases of achieving equality in such estimates.
For with
one always has
. Equality is achieved only for the unit sphere. If
is closed and
when
is even or
when
is odd, then the radius of injectivity
and the length of a closed geodesic
. If in this case there is a closed geodesic
of length
in
, then, if
is even, there is a totally geodesic surface in
which contains
and which is isometric to
, while if
, independently of the parity of
,
is isometric to
(see [6]). The volume of a sphere
of radius
in an
with
is not less (not greater) than the volume of the sphere
of the same radius in the space of constant curvature
, with equality only if
is isometric to
.
Extremal theorems are not always connected with estimates of the curvature. For example, for any point in a closed surface , let the set of points conjugate to it consist of a single point. Then
is isometric to a sphere.
Finiteness of topological types.
Among the closed Riemannian manifolds with uniformly bounded curvatures and radii of injectivity bounded from below, ,
,
, only finitely many are homotopically pairwise non-equivalent, and if
is changed into
, only finitely many of them are pairwise non-homeomorphic. In this statement the condition
can be replaced by the conditions
,
, which imply it but are more easily verifiable (see [14]).
For a Riemannian manifold with of fixed sign, the conditions that guarantee the finiteness of its topological type are simplified. For example, for even
and
the condition
is sufficient.
When , for
with
the estimate
is true. Therefore, when
, the number of topological types of closed Riemannian manifolds that satisfy the conditions
,
, is finite. But when
, there is an infinite number of pairwise non-homeomorphic
satisfying these conditions (see [12]).
Metrics with prescribed curvature.
Let be the Euler characteristic of a closed surface
. In order that a smooth function
on
be the curvature of a Riemannian metric in
it is necessary that
when
,
when
and
changes sign or
when
. These conditions are also sufficient. The condition
is necessary and sufficient for the
-form
to be the curvature form
of a Riemannian metric in
. If
is an open submanifold of a closed manifold
, then any smooth
on
is the curvature of a (possibly incomplete) Riemannian metric in
. Necessary and sufficient conditions under which
is the curvature of a complete Riemannian metric in a non-compact surface have been ascertained for finitely-connected surfaces.
As the dimension increases, the number of independent components of the curvature tensor increases faster than the number of components of the metric tensor. The conditions under which the given tensor field is, at least locally, the field of the curvature tensor of a certain metric are unknown (1991). But for the scalar curvature, when , each smooth function
on a closed
for which
is the scalar curvature of a Riemannian metric in
(see [4]). There are manifolds which do not permit a metric with a positive scalar curvature, as is the case with a three-dimensional torus (see [5]).
Convex functions.
The existence of a scalar function on a Riemannian manifold
that is convex along any geodesic imposes strict limitations on the structure of such an
. For example, if there is a convex function
on
, then
. If
is strictly convex and if for any
the sets
are compact, then
is diffeomorphic to
.
Convex functions can be constructed in a number of cases. For example, when , the functions
,
,
, are convex. If
and
is an isometry, then the function
is convex. When
, there are convex
with compact
; this is connected with the absolute convexity (when
) of the complements to horospheres and with the fact that if
, then the convexity of a set
implies the convexity of the set
.
Problems of Riemannian geometry in the large have also been studied for Riemannian manifolds with additional structures, such as for Kähler manifolds (see [10]).
References
[1] | D. Gromoll, W. Klingenberg, W. Meyer, "Riemannsche Geometrie im Grossen" , Springer (1968) |
[2] | Yu.D. Burago, V.A. Zalgaller, "Convex sets in Riemannian spaces of non-negative curvature" Russian Math. Surveys , 32 : 3 (1977) pp. 1–57 Uspekhi Mat. Nauk , 32 : 3 (1977) pp. 3–55 |
[3] | J. Cheeger, D.G. Ebin, "Comparison theorems in Riemannian geometry" , North-Holland (1975) |
[4] | , Research on the metric theory of surfaces , Moscow (1980) (In Russian; translated from English and French) |
[5] | R. Schoen, S.-T. Yau, "Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with non-negative scalar curvature" Ann. of Math. , 110 (1979) pp. 127–142 |
[6] | V.A. Toponogov, "Extremal theorems for Riemann spaces with curvature bounded above I" Sib. Math. J. , 15 : 6 (1974) pp. 954–971 Sibirsk. Mat. Zh. , 15 : 6 (1974) pp. 1348–1371 |
[7] | M. Gromov, H.B., jr. Lawson, "Spin and scalar curvature in the presence of a fundamental group I" Ann. of Math. , 111 : 2 (1980) pp. 209–230 |
[8] | P. Buser, H. Karcher, "Gromov's almost flat manifolds" Astérique , 81 (1981) |
[9] | J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1977) |
[10] | S.I. Goldberg, "Curvature and homology" , Acad. Press (1962) |
[11] | A.L. Besse, "Manifolds all of whose geodesics are closed" , Springer (1978) |
[12] | W. Thurston, "The geometry and topology of 3-manifolds" , Princeton Univ. Press (1978) (Preprint) |
[13] | E. Heintze, H. Karcher, "A general comparison theorem with applications to volume estimates for submanifolds" Ann. Sci. Ecole Norm. Sup. , 11 : 4 (1978) pp. 451–470 |
[14] | J. Cheeger, "Pinching theorems for a certain class of Riemannian manifolds" Amer. J. Math. , 91 : 3 (1969) pp. 807–834 |
[15] | Min-Do, E. Ruh, "Comparison theorems for compact symmetric spaces" Ann. Sci. Ecole Norm. Sup. , 12 (1979) pp. 335–353 |
[16] | A. Gray, "Comparison theorems for the volumes of tubes as generalizations of the Weyl tube formula" Topology , 21 : 2 (1982) pp. 201–228 |
Comments
For some more results on the interrelations between curvature and fundamental group cf. (the editorial comments to) Polycyclic group and Polynomial and exponential growth in groups and algebras.
Let be a unit length tangent vector at
. Let
be its geodesic. For sufficiently small
the distance between the starting point
and
is
, but this may fail for larger
. The cut value function (on the sphere subbundle of the tangent bundle) is defined by
![]() |
The cut locus of is by definition the set of points
, where
runs over all unit length tangent vectors at
and
is the exponential mapping at
; cf. Exponential mapping and the subsection "Exponential mapping" in Riemannian geometry.
The radius of injectivity, , at
is defined as
, and the global radius of injectivity of
is
. It is always positive if
is compact, but can be zero if
is non-compact.
The cut locus was introduced by H. Poincaré under the name "ligne de partage" . Every compact surface admits a Riemannian metric of constant curvature. "Cutting up" a higher-genus surface along a cut locus yields a particularly nice representation of
as a domain bounded by a polygon on which edges are pairwise identified, [a3]. For the sphere, the genus 0 case, the cut locus of a point is the single diametrically-opposite point.
References
[a1] | M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) pp. Sect. 11.4 (Translated from French) |
[a2] | W. Klingenberg, "Riemannian geometry" , de Gruyter (1982) pp. Chapt. 2 (Translated from German) |
[a3] | S. Gallot, D. Hulin, J. Lafontaine, "Riemannian geometry" , Springer (1987) (Translated from French) |
[a4] | W.M. Boothby, "An introduction to differentiable manifolds and Riemannian geometry" , Acad. Press (1975) |
[a5] | W. Greub, S. Halperin, R. Vanstone, "Connections, curvature, and cohomology" , 1–3 , Acad. Press (1972–1976) |
Riemannian geometry in the large. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riemannian_geometry_in_the_large&oldid=48559