Overview
This research investigates properties of finite-dimensional Lie algebras over a field of characteristic zero, drawing parallels with injective and projective objects in the category of modules. The study focuses on how extensions of Lie algebras split, considering two distinct notions: trivial and semi-trivial splitting. It identifies completeness as an "injective-type" property for Lie algebras and introduces cocompleteness as a related concept for central extensions. The work explores the existence and characterization of Lie algebras exhibiting these properties, culminating in algorithmic approaches for their tabulation.
Research Context
In module theory, injective and projective objects are defined by the splitting behavior of short exact sequences. The category of finite-dimensional Lie algebras, however, is not abelian, which introduces complexities when considering extensions. Specifically, extensions in this category admit two different types of splitting: trivial and semi-trivial. This distinction forms the basis for exploring analogous properties to injectivity and projectivity within this specific algebraic structure. Jacobson's classical theorem provides an initial context for understanding completeness in Lie algebras.
Approach
The research defines and investigates two primary properties:
- Injective-type property (Completeness): A Lie algebra $\A$ is considered to have an "injective-type" property if it trivially splits every extension by it. This definition is proposed to be the converse of Jacobson's classical theorem.
- Projective-type property (Non-existence for general extensions): The study investigates whether a dual property exists where a Lie algebra $\Cc$ trivially splits into every extension by it.
- Cocompleteness (for central extensions): Restricting to central extensions, a Lie algebra $\Cc$ is defined as cocomplete if every central extension of it splits trivially.
Each of these properties is also explored through equivalent homomorphism-lifting reformulations, which is a method paralleling the lifting properties associated with injective and projective modules. For almost abelian Lie algebras, cocompleteness is reduced to an explicit spectral condition related to the defining derivation. The theoretical characterizations underpin the development of algorithms to tabulate Lie algebras with these properties.
Findings
- A Lie algebra $\A$ trivially splits every extension by it if and only if $\A$ is complete. This finding establishes completeness as the "injective-type" property in the category of finite-dimensional Lie algebras, noting it is seemingly weaker than category-specific injectivity. This result represents the converse of Jacobson's classical theorem.
- No nontrivial Lie algebra possesses the dual "projective-type" property for general extensions. Specifically, for every nontrivial Lie algebra $\Cc$, there exists at least one extension of $\Cc$ that does not split trivially. This implies that a direct analogue to projective modules does not exist in this general context.
- For central extensions, a workable dual notion, termed cocompleteness, exists. A Lie algebra $\Cc$ is cocomplete if and only if its second cohomology group with coefficients in the field $\K$ is trivial, i.e., $H^2(\Cc, \K) = 0$.
- Semisimple Lie algebras are identified as being both complete and cocomplete.
- Each of these results – completeness, the non-existence of a general projective-type analogue, and cocompleteness – has an equivalent formulation in terms of homomorphism-lifting properties.
- For the specific case of almost abelian Lie algebras, cocompleteness is characterized by an explicit spectral condition on their defining derivation.
- The characterizations presented in the research led to the development of three algorithms. These algorithms provide tabulations for:
- Complete Lie algebras of dimension at most 4.
- Cocomplete Lie algebras of dimension at most 4.
- Almost abelian cocomplete Lie algebras of dimension at most 4.
Potential Applications
The study provides algorithms for tabulating Lie algebras based on completeness, cocompleteness, and almost abelian cocompleteness up to dimension 4. These algorithms could be utilized for further classification and study of small-dimensional Lie algebras with these specific structural properties.