Riemannian submersion
In the mathematical field of differential geometry , a Riemannian submersion is a submersion of one Riemannian manifold to another, which respects the Riemannian metric and which looks locally like an orthogonal projection onto the tangential space of the second manifold.
definition
Let and be two Riemannian manifolds and
a submersion.
Then a Riemannian submersion is called if the isomorphism
is an isometry .
Construction of metrics on quotient spaces
A Lie group works isometric, free and actually discontinuous on a Riemannian manifold . The quotient space is a differentiable manifold and one has an isomorphism .
A Riemannian metric is clearly defined by the condition that this isomorphism should be an isometry . It is known as the quotient metric. With this metric, the quotient mapping becomes a Riemannian submersion.
Examples
The Fubini Study metric on the complex projective space is the quotient metric for the standard effect of the circle group on the "round sphere", that is, the sphere of constant cutting curvature +1. The quotient mapping is with this metric
thus a Riemannian submersion.
For this is the Hopf grain of the standard sphere : the Hopf map
gives a Riemannian submersion.
O'Neill formula
The sectional curvature of the image space of a Riemannian submersion can be calculated from the sectional curvature of the original image space with the O'Neill formula :
- .
Here orthonormal vector fields are on , their horizontal elevations are on , denotes the commutator of vector fields and is the projection of the vector field onto the vertical distribution .
literature
- Jeff Cheeger , David G. Ebin : Comparison theorems in Riemannian geometry. Revised reprint of the 1975 original. AMS Chelsea Publishing, Providence, RI, 2008. ISBN 978-0-8218-4417-5