TOPICS
Search

Exponential Map


On a Lie group, exp is a map from the Lie algebra to its Lie group. If you think of the Lie algebra as the tangent space to the identity of the Lie group, exp(v) is defined to be h(1), where h is the unique Lie group homeomorphism from the real numbers to the Lie group such that its velocity at time 0 is v.

On a Riemannian manifold, exp is a map from the tangent bundle of the manifold to the manifold, and exp(v) is defined to be h(1), where h is the unique geodesic traveling through the base-point of v such that its velocity at time 0 is v.

The three notions of exp (exp from complex analysis, exp from Lie groups, and exp from Riemannian geometry) are all linked together, the strongest link being between the Lie groups and Riemannian geometry definition. If G is a compact Lie group, it admits a left and right invariant Riemannian metric. With respect to that metric, the two exp maps agree on their common domain. In other words, one-parameter subgroups are geodesics. In the case of the manifold S^1, the circle, if we think of the tangent space to 1 as being the imaginary axis (y-axis) in the complex plane, then

exp_(Riemannian geometry)(v)=exp_(Lie Groups)(v)
(1)
=exp_(complex analysis)(v),
(2)

and so the three concepts of the exponential all agree in this case.


See also

Exponential Function, Matrix Exponential

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

References

Huang, J.-S. "The Exponential Map." §7.3 in Lectures on Representation Theory. Singapore: World Scientific, p. v, 1999.

Referenced on Wolfram|Alpha

Exponential Map

Cite this as:

Weisstein, Eric W. "Exponential Map." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ExponentialMap.html

Subject classifications