Definition, characterization, and examples of sub-Lie algebras

Introduction

A sub-Lie algebra is a fundamental concept in Lie algebra theory, serving as a cornerstone for understanding the structural properties of Lie algebras. A Lie algebra over a field $ \mathbb{F} $ is a vector space $ \mathfrak{g} $ equipped with a bilinear, antisymmetric bracket $ [\cdot, \cdot] $ satisfying the Jacobi identity. A sub-Lie algebra $ \mathfrak{h} \subseteq \mathfrak{g} $ is a subspace of $ \mathfrak{g} $ that is closed under the Lie bracket, i.e., $ [\mathfrak{h}, \mathfrak{h}] \subseteq \mathfrak{h} $. This closure condition ensures that $ \mathfrak{h} $ inherits the Lie bracket structure from $ \mathfrak{g} $, making it a natural extension of the original algebra.

The study of sub-Lie algebras is essential for analyzing the relationships between Lie algebras, their representations, and their homomorphisms. In this article, we explore the definition of sub-Lie algebras, their characterization through structural properties, and provide explicit examples to illustrate their role in Lie theory.

Definition of Sub-Lie Algebras

A sub-Lie algebra of a Lie algebra $ \mathfrak{g} $ is a subspace $ \mathfrak{h} \subseteq \mathfrak{g} $ that satisfies two key conditions:

1. Closure under the Lie bracket: For all $ x, y \in \mathfrak{h} $, the Lie bracket $ [x, y] $ must also lie in $ \mathfrak{h} $.
2. Compatibility with the original Lie bracket: The Lie bracket on $ \mathfrak{g} $ is preserved when restricted to $ \mathfrak{h} $, i.e., $ [x, y] \in \mathfrak{h} $ for all $ x, y \in \mathfrak{h} $.

This definition aligns with the broader framework of Lie algebras, where substructures are often studied through their compatibility with the original algebraic structure. Sub-Lie algebras can be finite or infinite-dimensional, and they may or may not be isomorphic to $ \mathfrak{g} $, depending on the specific properties of $ \mathfrak{g} $.

Characterization of Sub-Lie Algebras

The characterization of sub-Lie algebras relies on the interplay between the Lie bracket's properties and the structure of the ambient Lie algebra. A critical condition for a subspace $ \mathfrak{h} $ to be a sub-Lie algebra is that it must be closed under the Lie bracket, which imposes stringent constraints on its dimension and the nature of its elements.

For instance, consider a Lie algebra $ \mathfrak{g} $ over a field $ \mathbb{F} $. If $ \mathfrak{h} $ is a sub-Lie algebra, then $ \mathfrak{h} $ must be a vector space where the Lie bracket $ [\cdot, \cdot] $ is defined and satisfies the Jacobi identity. This ensures that $ \mathfrak{h} $ is not only a subspace but also a "closed" Lie subalgebra in the sense of the original structure.

Moreover, the dimension of $ \mathfrak{h} $ is often constrained by the dimension of $ \mathfrak{g} $, particularly when $ \mathfrak{h} $ is a proper subalgebra. For example, in the case of semisimple Lie algebras, sub-Lie algebras may be characterized by their maximal subalgebras or their decomposition into irreducible components. The classification of sub-Lie algebras often involves examining the root spaces, Cartan subalgebras, and other invariant subspaces of $ \mathfrak{g} $.

Examples of Sub-Lie Algebras

To illustrate the concept of sub-Lie algebras, we consider specific examples from both finite and infinite-dimensional Lie algebras.

1. Subalgebras of Classical Lie Algebras

One of the most straightforward examples is the subalgebra of skew-symmetric matrices in the Lie algebra $ \mathfrak{so}(n) $, which is the Lie algebra of the special orthogonal group. The set of all $ n \times n $ skew-symmetric matrices forms a sub-Lie algebra of $ \mathfrak{so}(n) $, as the Lie bracket of any two such matrices remains skew-symmetric and lies within the subspace of skew-symmetric matrices.

Another example is the Lie algebra of smooth vector fields on a manifold, which is a sub-Lie algebra of the Lie algebra of all vector fields on the manifold. This subalgebra inherits the Lie bracket structure from the original algebra, making it a natural extension of the manifold's differential geometry.

2. Subalgebras of Infinite-Dimensional Lie Algebras

In infinite-dimensional Lie algebras, sub-Lie algebras can be more complex. For instance, consider the Lie algebra $ \