HOME

TheInfoList



OR:

In the
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
of Lie theory, Lie's third theorem states that every finite-dimensional
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
\mathfrak over the real numbers is associated to a Lie group ''G''. The theorem is part of the
Lie group–Lie algebra correspondence In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are Isomorphism, isomorphic to each other have Lie algebra ...
. Historically, the third theorem referred to a different but related result. The two preceding theorems of Sophus Lie, restated in modern language, relate to the infinitesimal transformations of a group action on a smooth manifold. The third theorem on the list stated the Jacobi identity for the infinitesimal transformations of a local Lie group. Conversely, in the presence of a Lie algebra of vector fields, integration gives a ''local'' Lie group action. The result now known as the third theorem provides an intrinsic and global converse to the original theorem.


Historical notes

The equivalence between the category of simply connected real Lie groups and finite-dimensional real Lie algebras is usually called (in the literature of the second half of 20th century) Cartan's or the Cartan-Lie theorem as it was proved by Élie Cartan. Sophus Lie had previously proved the infinitesimal version: local solvability of the Maurer-Cartan equation, or the equivalence between the category of finite-dimensional Lie algebras and the category of local Lie groups. Lie listed his results as three direct and three converse theorems. The infinitesimal variant of Cartan's theorem was essentially Lie's third converse theorem. In an influential book Jean-Pierre Serre called it the third theorem of Lie. The name is historically somewhat misleading, but often used in connection to generalizations. Serre provided two proofs in his book: one based on Ado's theorem and another recounting the proof by Élie Cartan.


Proofs

There are several proofs of Lie's third theorem, each of them employing different algebraic and/or geometric techniques.


Algebraic proof

The classical proof is straightforward but relies on Ado's theorem, whose proof is algebraic and highly non-trivial. Ado's theorem states that any finite-dimensional Lie algebra can be represented by matrices. As a consequence, integrating such algebra of matrices via the
matrix exponential In mathematics, the matrix exponential is a matrix function on square matrix, square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exp ...
yields a Lie group integrating the original Lie algebra.


Cohomological proof

A more geometric proof is due to Élie Cartan and was published by . This proof uses induction on the dimension of the center and it involves the Chevalley-Eilenberg complex.


Geometric proof

A different geometric proof was discovered in 2000 by Duistermaat and Kolk. Unlike the previous ones, it is a
constructive proof In mathematics, a constructive proof is a method of mathematical proof, proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also ...
: the integrating Lie group is built as the quotient of the (infinite-dimensional) Banach Lie group of paths on the Lie algebra by a suitable subgroup. This proof was influential for Lie theory since it paved the way to the generalisation of Lie third theorem for Lie groupoids and Lie algebroids.


See also

* Lie group integrator


References

* * *


External links


Encyclopaedia of Mathematics (EoM) article
{{Manifolds Lie algebras Lie groups Theorems about algebras