Isometries of Riemannian manifolds
[4/100%]Let be a local isometry between connected Riemannian manifolds and . Show that if is complete, so is and is a covering map.
Let be an isometry of a Riemannian manifold .
Show that each component of is an embedded totally geodesic submanifold of .
Give an example in which the components of have different dimensions.
The space of real matrices forms an -dimensional Euclidean space, in which the dot product between and is given by
Let be the unit sphere in , and define as the map sending in to the symmetric matrix .
Show that maps into the sphere of radius centered at the origin in .
Prove that is a local isometry (i.e., the pull-back via of the dot-product metric defined above on is the standard one on ).
Let be any isometry, that is, a map such that the Euclidean distance between any two points is equal to the distance between their images . Show that is affine linear, that is, there exists a vector and an orthogonal matrix such that for all , .