1. Riemannian Metrics
In this chapter we introduce the spaces and maps that pervade the subject. Without discussing any theory we present several examples of basic Riemannian manifolds and Riemannian maps. All of these examples will be at the heart of future investigations into constructions of Riemannian manifolds with various interesting properties.
The abstract definition of a Riemannian manifold used today dates back only to the 1930s as it wasnt really until Whitneys work in 1936 that mathematicians obtained a clear understanding of what abstract manifolds were other than just being submanifolds of Euclidean space. Riemann himself defined Riemannian metrics only on domains in Euclidean space. Riemannian manifolds where then metric objects that locally looked like a Riemannian metric on a domain in Euclidean space. It is, however, important to realize that this local approach to a global theory of Riemannian manifolds is as honest as the modern top-down approach.
Prior to Riemann, other famous mathematicians such as Euler, Monge, and Gauss only worked with 2-dimensional curved geometry. Riemanns invention of multi-dimensional geometry is quite curious. The story goes that Gauss was on Riemanns defense committee for his Habilitation (doctorate). In those days, the candidate was asked to submit three topics in advance, with the implicit understanding that the committee would ask to hear about the first topic (the actual thesis was on Fourier series and the Riemann integral). Riemanns third topic was On the Hypotheses which lie at the Foundations of Geometry. Evidently, he was hoping that the committee would select from the first two topics, which were on material he had already developed. Gauss, however, always being in an inquisitive mood, decided he wanted to hear whether Riemann had anything to say about the subject on which he, Gauss, was the reigning expert. Thus, much to Riemanns dismay, he had to go home and invent Riemannian geometry to satisfy Gausss curiosity. No doubt Gauss was suitably impressed, apparently a very rare occurrence for him.
From Riemanns work it appears that he worked with changing metrics mostly by multiplying them by a function (conformal change). By conformally changing the standard Euclidean metric he was able to construct all three constant curvature geometries in one fell swoop for the first time ever. Soon after Riemanns discoveries it was realized that in polar coordinates one can change the metric in a different way, now referred to as a warped product. This also exhibits all constant curvature geometries in a unified way. Of course, Gauss already knew about polar coordinate representations on surfaces, and rotationally symmetric metrics were studied even earlier by Clairaut. But those examples are much simpler than the higher-dimensional analogues. Throughout this book we emphasize the importance of these special warped products and polar coordinates. It is not far to go from warped products to doubly warped products, which will also be defined in this chapter, but they dont seem to have attracted much attention until Schwarzschild discovered a vacuum space-time that wasnt flat. Since then, doubly warped products have been at the heart of many examples and counterexamples in Riemannian geometry.
Another important way of finding examples of Riemannian metrics is by using left-invariant metrics on Lie groups. This leads us, among other things, to the Hopf fibration and Berger spheres. Both of these are of fundamental importance and are also at the core of a large number of examples in Riemannian geometry. These will also be defined here and studied further throughout the book.
1.1 Riemannian Manifolds and Maps
A Riemannian manifold ( M , g ) consists of a
-manifold M (Hausdorff and second countable) and a Euclidean inner product g p or g | p on each of the tangent spaces T p M of M . In addition we assume that p g p varies smoothly. This means that for any two smooth vector fields X , Y the inner product
is a smooth function of p .The subscript p will usually be suppressed when it is not needed. Thus we might write
with the understanding that this is to be evaluated at each p where X and Y are defined. When we wish to associate the metric with M we also denote it as g M .The tensor g is referred to as the Riemannian metric or simply the metric . Generally speaking the manifold is assumed to be connected. Exceptions do occur, especially when studying level sets or submanifolds defined by constraints.
All inner product spaces of the same dimension are isometric; therefore, all tangent spaces T p M on a Riemannian manifold ( M , g ) are isometric to the n -dimensional Euclidean space
with its canonical inner product. Hence, all Riemannian manifolds have the same infinitesimal structure not only as manifolds but also as Riemannian manifolds.
Example 1.1.1.
The simplest and most fundamental Riemannian manifold is Euclidean space
. The canonical Riemannian structure
is defined by the tangent bundle identification
given by the map:
With this in mind the standard inner product on
is defined by
A Riemannian isometry between Riemannian manifolds ( M , g M ) and ( N , g N ) is a diffeomorphism
such that F g N = g M ,i.e.,
for all tangent vectors v , w T p M and all p M . In this case F 1 is also a Riemannian isometry.
Example 1.1.2.
Any finite-dimensional vector space V with an inner product, becomes a Riemannian manifold by declaring, as with Euclidean space, that
If we have two such Riemannian manifolds
and
of the same dimension, then they are isometric. A example of a Riemannian isometry