*** Welcome to piglix ***

Exponential map (Riemannian geometry)


In Riemannian geometry, an exponential map is a map from a subset of a tangent space TpM of a Riemannian manifold (or pseudo-Riemannian manifold) M to M itself. The (pseudo) Riemannian metric determines a canonical affine connection, and the exponential map of the (pseudo) Riemannian manifold is given by the exponential map of this connection.

Let M be a differentiable manifold and p a point of M. An affine connection on M allows one to define the notion of a geodesic through the point p.

Let v ∈ TpM be a tangent vector to the manifold at p. Then there is a unique geodesic γv satisfying γv(0) = p with initial tangent vector γv(0) = v. The corresponding exponential map is defined by expp(v) = γv(1). In general, the exponential map is only locally defined, that is, it only takes a small neighborhood of the origin at TpM, to a neighborhood of p in the manifold. This is because it relies on the theorem of existence and uniqueness for ordinary differential equations which is local in nature. An affine connection is called complete if the exponential map is well-defined at every point of the tangent bundle.

Intuitively speaking, the exponential map takes a given tangent vector to the manifold, runs along the geodesic starting at that point and goes in that direction, for a unit time. Since v corresponds to the velocity vector of the geodesic, the actual (Riemannian) distance traveled will be dependent on that. We can also reparametrize geodesics to be unit speed, so equivalently we can define expp(v) = β(|v|) where β is the unit-speed geodesic (geodesic parameterized by arc length) going in the direction of v. As we vary the tangent vector v we will get, when applying expp, different points on M which are within some distance from the base point p—this is perhaps one of the most concrete ways of demonstrating that the tangent space to a manifold is a kind of "linearization" of the manifold.


...
Wikipedia

...