For a connected simply connected source Lie group, every Lie algebra homomorphism integrates uniquely to a Lie group homomorphism. Along a path from the identity, transport its left logarithmic velocity by and solve the corresponding left-invariant differential equation in the target. The Maurer-Cartan equation and preservation of brackets make the endpoint invariant under fixed-endpoint homotopies. Simple connectedness removes path dependence, and path concatenation proves multiplicativity.
For a connected source, first integrate on its universal covering Lie group. The resulting map descends to the original group exactly when it kills the discrete kernel of the covering map. For the circle group, a real-linear map integrates to a circle endomorphism exactly when , since must map into itself. This is a global period condition invisible to the zero bracket of the circle's Lie algebra.

Articles by others on the same topic (0)

There are currently no matching articles.