info prev up next book cdrom email home

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 $\Bbb{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

$\displaystyle \mathop{\rm exp}\nolimits _{\rm Riemannian\ geometry}(v)$ $\textstyle =$ $\displaystyle \mathop{\rm exp}\nolimits _{\rm Lie\ Groups}(v)$  
  $\textstyle =$ $\displaystyle \mathop{\rm exp}\nolimits _{\rm complex\ analysis}(v),$  

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

See also Exponential Function




© 1996-9 Eric W. Weisstein
1999-05-25