This quick post assumes basic knowledge of Lie algebras and category equivalence. I am new to category theory, and appreciative of constructive feedback.

We commonly study smooth manifolds, e.g. Lie groups, by studying their tangent spaces. Since the product map induces a map from one tangent space to another, we can oftentimes just consider the tangent space to a Lie group at the identity. This tangent space can be equipped with a structure induced by the group structure, called a Lie algebra structure.

The Theorems of Lie

The assignment Lie : (G \to )Lie((G)) is functorial. The theorems of Lie in their modern incarnation emerge out of the attempt to see how close this functor is to being an equivalence of categories. Note that we are working in Diff.

Lie proved that the category of local real Lie groups is equivalent to the category of finite-dimensional real Lie algebras.

This equivalence was extended to global cases by Cartan: the category of real Lie algebras is equivalent to the category of simply-connected Lie Groups.

Note: We cannot drop the condition of being simply connected for (G), as, for example, (G = S^1) and (G = \mathbb{R}) have the same Lie algebras but are not isomorphic.

Lie I: Groups (\to) Algebras

The assignment (G \mapsto) Lie((G)) induces a functor Lie: LieGrp (\to) LieAlg and for each morphism (g:G \to H) of Lie groups the following diagram commutes:

The Lie algebra homomorphism Lie((g)) is equivalent to the first order infinitesimal of the group homomorphism.

Lie II: Do You Even Lift, Lie? Alegbras (\to) Groups

Let (G) and (H) be Lie groups with Lie algebras Lie((G)) and Lie((H)), with a Lie algebra homomorphism (f:)Lie((G) \to)Lie((H)).

For notational convenience, we denote Lie((G)) as the lowercase gothic letter (\mathfrak{g}).

Lie II states that there exists a unique morphism (F) lifting (f) such that (f=)Lie((F)).

Lie-Cartan III: Groups (\leftrightarrow) Algebras

The functor Lie cannot be inverted because locally isomorphic Lie groups have isomorphic Lie algebras. However, we can invert Lie on the subcategory of simply connected Lie groups. The essential surjectivity of this functor is the third theorem.

For every finite-dimensional real Lie algebra (\mathfrak{g}) there exists a Lie group (G) with Lie algebra (\mathfrak{g}).

Note that (G) is not necessarily unique.

Sources

Lie’s Three Theorems The Lie group-Lie algebra correspondence Sophus Lie’s Fundamental Theorem - Categorical Aspects Lie’s Third Theorem Lie Theory of Differential Equations and Computer Algebra What is a Dynkin Diagram, and how does it work?