Definition of Real Lie Algebras

A real Lie algebra is a vector space over the real numbers equipped with a bilinear operation called the Lie bracket, satisfying the Jacobi identity. This structure is fundamental in Lie theory, providing a framework for studying continuous symmetries in differential geometry, physics, and representation theory. The Lie bracket is antisymmetric and satisfies the Jacobi identity:
$$ [\mathrm{[}X, Y\mathrm{]} + \mathrm{[}Y, Z\mathrm{]} + \mathrm{[}Z, X\mathrm{]} = 0, $$
for all vectors $ X, Y, Z $ in the space. The real Lie algebra is often denoted as $ \mathfrak{g} $, and its elements are referred to as generators or Lie brackets. The structure theorem for finite-dimensional real Lie algebras states that every finite-dimensional real Lie algebra is isomorphic to a direct sum of a finite-dimensional semisimple Lie algebra and a solvable Lie algebra, though this theorem is typically discussed in the context of complex Lie algebras.

The real Lie algebra is closely related to its complexification. The complexification of a real Lie algebra $ \mathfrak{g} $ is a complex vector space $ \mathfrak{g}{\mathbb{C}} $, where the Lie bracket is extended by complex conjugation. This process, known as complexification, allows the study of real Lie algebras in the context of complex analysis and representation theory. The complexification map $ \mathfrak{g} \to \mathfrak{g}{\mathbb{C}} $ is a linear map preserving the Lie bracket structure, and it is surjective for finite-dimensional real Lie algebras.

Complexification of Real Lie Algebras

The complexification of a real Lie algebra $ \mathfrak{g} $ is a direct extension of the Lie bracket to a complex vector space $ \mathfrak{g}{\mathbb{C}} $, where the Lie bracket is defined as $ [\mathfrak{g}\mathbb{C}, \mathfrak{g}_\mathbb{C}] $. This operation is compatible with the real structure of $ \mathfrak{g} $, preserving the Lie bracket's antisymmetry and Jacobi identity. The complexification is a powerful tool in Lie theory, as it allows the application of techniques from complex analysis and representation theory to study real Lie algebras.

The complexification process is not unique for every real Lie algebra, but it is always possible to construct a complexification. For example, if $ \mathfrak{g} $ is a finite-dimensional real Lie algebra, its complexification $ \mathfrak{g}_{\mathbb{C}} $ is also finite-dimensional, and the complexification map is a linear isomorphism. The complexification of a real Lie algebra inherits its Lie bracket structure, and the complexification map is often used to analyze the representation theory of $ \mathfrak{g} $.

The complexification of a real Lie algebra is closely tied to its real form. A real form of a complex Lie algebra is a real Lie algebra that is isomorphic to the complex Lie algebra. This relationship is crucial in understanding the structure of complex Lie algebras and their real counterparts. The real form of a complex Lie algebra is unique up to isomorphism, and its existence is guaranteed by the structure theorem for complex Lie algebras.

Real Form of a Complex Lie Algebra

The real form of a complex Lie algebra is a real Lie algebra that is isomorphic to the complex Lie algebra. This concept is central to the study of Lie algebras over the real numbers, as it allows the application of real analysis and geometry to the study of complex Lie algebras. The real form of a complex Lie algebra is often denoted as $ \mathfrak{g}^{(R)} $, and it is a finite-dimensional real Lie algebra with the same Lie bracket as the complex Lie algebra.

The real form of a complex Lie algebra is constructed by taking the complexification of the real Lie algebra and then restricting the Lie bracket to the real numbers. This process ensures that the real form retains the essential properties of the complex Lie algebra, such as the structure of its representation theory and the existence of invariant subspaces. The real form of a complex Lie algebra is also closely related to the structure theorem for complex Lie algebras, which states that every complex Lie algebra is isomorphic to a direct sum of a finite-dimensional semisimple Lie algebra and a solvable Lie algebra.

The real form of a complex Lie algebra is not unique, but it is unique up to isomorphism. This property is crucial in the classification of complex Lie algebras, as it allows the construction of real forms that capture the essential structure of the complex Lie algebra. The real form of a complex Lie algebra is also important in the study of Lie algebras over the real numbers, as it provides a bridge between the complex and real worlds.

Conclusion

The study of real Lie algebras, their complexification, and their real forms is a cornerstone of Lie theory, with profound implications in mathematics and its applications. A real Lie algebra is a vector space over the real numbers equipped with a Lie bracket satisfying the Jacobi identity, and its complexification extends this structure to the complex numbers. The complexification process allows the application of complex analysis and representation theory to the study of real Lie algebras, while the real