Real Lie Algebras and Complex Lie Algebras Correspondence

Introduction

Lie algebras are fundamental structures in mathematics, providing a framework for understanding the local properties of Lie groups. A Lie algebra over a field $ \mathbb{F} $ is a vector space $ \mathfrak{g} $ over $ \mathbb{F} $ equipped with a bilinear operation called the Lie bracket, satisfying the Jacobi identity:
$$ [![x, y]![[z] = [[x, z]][y] - [[y, z]][x]
$$ for all $ x, y, z \in \mathfrak{g} $. The study of Lie algebras has deep connections to geometry, topology, and representation theory. In particular, the correspondence between real and complex Lie algebras is a cornerstone of Lie theory, revealing how algebraic structures over different fields are intertwined.

This article explores the relationship between real Lie algebras and complex Lie algebras, emphasizing their interplay through the process of complexification and the role of the Killing form. The correspondence not only provides a bridge between algebraic and geometric perspectives but also underpins classification theorems and representation theory.

Real Lie Algebras

A real Lie algebra is a Lie algebra over the real numbers $ \mathbb{R} $. These algebras are often studied in the context of finite-dimensional vector spaces, where their structure is governed by the Lie bracket and the Jacobi identity. Key properties include:

  • Dimensionality: Real Lie algebras can be classified by their dimensions, with the dimension denoted $ \dim(\mathfrak{g}) $.
  • Complexification: Every real Lie algebra admits a complexification, a complex vector space $ \mathfrak{g}{\mathbb{C}} $ over $ \mathbb{C} $ such that $ \mathfrak{g} \subset \mathfrak{g}{\mathbb{C}} $ and the Lie bracket is extended to $ \mathbb{C} $. This process is central to the study of Lie algebras over different fields.

Examples of real Lie algebras include:

  • $ \mathfrak{so}(n) $, the Lie algebra of the special orthogonal group, which is nilpotent for $ n \geq 3 $.
  • $ \mathfrak{su}(n) $, the Lie algebra of the special unitary group, which is semisimple for $ n \geq 2 $.
  • $ \mathfrak{g}_2 $, the Lie algebra of the exceptional Lie group $ G_2 $, which is non-compact and simple.

The complexification of these algebras preserves their Lie bracket and the Jacobi identity, ensuring that the structure is maintained across fields.

Complex Lie Algebras

A complex Lie algebra is a Lie algebra over the complex numbers $ \mathbb{C} $. These algebras are often studied in the context of Lie groups over $ \mathbb{C} $, where their structure is governed by the Lie bracket and the Killing form. Key properties include:

  • Dimensionality: Complex Lie algebras are typically studied over $ \mathbb{C} $, with dimensions denoted $ \dim(\mathfrak{g}) $.
  • Structure Theorems: For finite-dimensional complex Lie algebras, the structure theorem states that any such algebra is isomorphic to a direct sum of simple Lie algebras, with the exception of $ \mathfrak{sl}(n, \mathbb{C}) $, which is not semisimple.

Examples of complex Lie algebras include:

  • $ \mathfrak{su}(n, \mathbb{C}) $, the Lie algebra of the special unitary group over $ \mathbb{C} $, which is semisimple for $ n \geq 2 $.
  • $ \mathfrak{so}(n, \mathbb{C}) $, the Lie algebra of the orthogonal group over $ \mathbb{C} $, which is non-compact for $ n \geq 3 $.
  • $ \mathfrak{e}_6, \mathfrak{e}_7, \mathfrak{e}_8 $, the exceptional Lie algebras, which are simple and non-compact.

The complexification of real Lie algebras is a key tool in understanding their properties. For instance, the real Lie algebra $ \mathfrak{so}(3) $ complexifies to $ \mathfrak{so}(3, \mathbb{C}) $, which is isomorphic to $ \mathfrak{su}(2, \mathbb{C}) $. This illustrates how real and complex Lie algebras are deeply connected.

The Correspondence Between Real and Complex Lie Algebras

The correspondence between real and complex Lie algebras arises from the complexification process. Given a real Lie algebra $ \mathfrak{g} $, its complexification $ \mathfrak{g}_{\mathbb{C}} $ is a complex Lie algebra, and vice versa. This correspondence is not only algebraic but also geometric, as it relates to the structure of Lie groups and their representations.

A critical aspect of this correspondence is the role of the Killing form. For a complex Lie algebra $ \mathfrak{g}_{\mathbb{C}} $, the Killing form is defined as:
$$ \langle x, y \rangle = \text{Tr}(\text{ad}_x \text{ad}_y) $$ where $ \text{ad} $ denotes the adjoint representation. For real Lie algebras, the Killing form is non-degenerate if and only if the Lie algebra is semisimple. The complexification preserves the non-degeneracy of the Killing form