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).
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 , ).
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 .
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 ).
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 ).
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.
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 , ).
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 ). 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 ).
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 ).
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 ). There are manifolds which do not permit a metric with a positive scalar curvature, as is the case with a three-dimensional torus (see ).
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 ).
|||D. Gromoll, W. Klingenberg, W. Meyer, "Riemannsche Geometrie im Grossen" , Springer (1968)|
|||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|
|||J. Cheeger, D.G. Ebin, "Comparison theorems in Riemannian geometry" , North-Holland (1975)|
|||, Research on the metric theory of surfaces , Moscow (1980) (In Russian; translated from English and French)|
|||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|
|||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|
|||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|
|||P. Buser, H. Karcher, "Gromov's almost flat manifolds" Astérique , 81 (1981)|
|||J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1977)|
|||S.I. Goldberg, "Curvature and homology" , Acad. Press (1962)|
|||A.L. Besse, "Manifolds all of whose geodesics are closed" , Springer (1978)|
|||W. Thurston, "The geometry and topology of 3-manifolds" , Princeton Univ. Press (1978) (Preprint)|
|||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|
|||J. Cheeger, "Pinching theorems for a certain class of Riemannian manifolds" Amer. J. Math. , 91 : 3 (1969) pp. 807–834|
|||Min-Do, E. Ruh, "Comparison theorems for compact symmetric spaces" Ann. Sci. Ecole Norm. Sup. , 12 (1979) pp. 335–353|
|||A. Gray, "Comparison theorems for the volumes of tubes as generalizations of the Weyl tube formula" Topology , 21 : 2 (1982) pp. 201–228|
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.
|[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. Yu.D. BuragoV.A. Toponogov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Riemannian_geometry_in_the_large&oldid=12137