The Exponential Map - Examples and Constructions
Concrete examples of the exponential map for classical Lie groups illustrate its behavior and provide computational tools. These examples demonstrate both the power and limitations of the exponential map.
For and :
The exponential map is the standard matrix exponential. For : This always produces an invertible matrix, with .
For , we have , and precisely when .
For :
The Lie algebra is . For : satisfies (orthogonality) and for connected components.
For , if , then: This gives all rotations in the plane, so is surjective.
For , the exponential map is surjective but not injective. Every rotation can be written as for some , but infinitely many different can give the same rotation (due to periodicity in the rotation angle).
For :
The Lie algebra is . For any :
For , writing with : where . The map is surjective.
Rodrigues' formula for provides an explicit formula for rotations. For with (rotation angle):
The Heisenberg group: For , the exponential is: The exponential map is a global diffeomorphism, characteristic of nilpotent groups.
Computational methods: For practical computation of matrix exponentials, several methods exist:
- Diagonalization: If , then
- Scaling and squaring: Compute (easy for small matrices), then square times
- Padé approximations: Rational function approximations to the exponential
These examples show that while the exponential map is always a local diffeomorphism, its global properties depend sensitively on the structure of the Lie group.