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() is defined to be , where is the unique Lie Group Homeomorphism from the Real Numbers to the Lie Group such that its velocity at time 0 is .

On a Riemannian Manifold, exp is a Map from the Tangent Bundle of the Manifold to the Manifold, and exp() is defined to be , where is the unique Geodesic traveling through the base-point of such that its velocity at time 0 is .

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 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 , the Circle, if we think of the tangent space to 1 as being the
Imaginary axis (*y*-Axis) in the Complex Plane, then

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

© 1996-9

1999-05-25