[Paper Review] Structures Preserved by Exceptional Lie Algebras

T. A. Larsson|ArXiv.org|Jan 7, 2003

Algebraic structures and combinatorial models3 references3 citations

TL;DR

This paper presents a unified geometric realization of exceptional Lie algebras—specifically $\mathfrak{e}_7$, $\mathfrak{e}_6$, $\mathfrak{f}_4$, and $\mathfrak{g}_2$—as subalgebras of vector fields on complex manifolds that preserve specific geometric structures: a contact form and a bilinear form for $\mathfrak{sp}(n+2)$, and a lightcone metric and a bivector-valued two-form for $\mathfrak{e}_7$ and $\mathfrak{e}_6$. The key contribution is showing that these algebras arise naturally as algebras of vector fields preserving simple, invariant structures, making their existence both intuitive and inevitable.

ABSTRACT

For sp(n+2) and each exceptional Lie algebra a realization of depth 2 preserving the spaces spanned by a contact one-form and a bilinear form is given. For e_7 and e_6 a realization of depth 1 preserving a lightcone and the space spanned by a bilinear form is also presented. This makes the origin of the exceptions clear.

Motivation & Objective

• To clarify the origin of exceptional Lie algebras by embedding them as subalgebras of vector fields preserving natural geometric structures.
• To demonstrate that the exceptional Lie algebras $\mathfrak{e}_7$, $\mathfrak{e}_6$, $\mathfrak{f}_4$, and $\mathfrak{g}_2$ arise as algebras of vector fields preserving specific invariant tensors.
• To unify the description of finite-dimensional exceptional Lie algebras with infinite-dimensional classical Lie algebras via the method of Cartan prolongation.
• To show that the depth-1 and depth-2 graded structures of these algebras correspond to preserved geometric objects such as metrics and differential forms.
• To provide a geometric, invariant-theoretic framework that makes the existence of exceptional Lie algebras appear natural and inevitable.

Proposed method

• Realize the negative and zero-grade components $\mathfrak{g}_{-2} + \mathfrak{g}_{-1} + \mathfrak{g}_0$ of the Lie algebra on $\mathbb{C}^n$ using known constructions from prior work.
• Identify the geometric structures (e.g., contact forms, bilinear forms, metrics) preserved by these vector fields using Cartan prolongation techniques.
• Define the full Lie algebra $\mathfrak{g}$ as the subalgebra of $\mathfrak{vect}(n)$ preserving the same structures, ensuring closure and correctness.
• Use tensor calculus with implicit summation, symmetrization, and anti-symmetrization to express the preserved structures and their transformation laws under Lie derivatives.
• Construct explicit generators for $\mathfrak{g}_{-1} + \mathfrak{g}_0$ in terms of partial derivatives and structure constants, and verify invariance under Lie derivatives.
• Demonstrate that the preserved structures—such as $ds^2$, $\beta^{ijkl}$, and $\alpha$—transform via scalar and tensor-valued functions under the action of vector fields in $\mathfrak{g}$.

Experimental results

Research questions

• RQ1 How can the exceptional Lie algebras $\mathfrak{e}_7$ and $\mathfrak{e}_6$ be realized as subalgebras of vector fields preserving geometric structures?
• RQ2 What specific geometric structures are preserved by the vector fields generating $\mathfrak{e}_7$ and $\mathfrak{e}_6$ in their depth-1 realizations?
• RQ3 Why do the exceptional Lie algebras arise naturally as algebras of vector fields preserving certain invariant tensors, and how does this explain their existence?
• RQ4 Can the depth-1 and depth-2 graded structures of exceptional Lie algebras be systematically derived from preserved geometric objects?
• RQ5 To what extent can the method of Cartan prolongation be used to construct and verify the structure of exceptional Lie algebras via their preserved geometric invariants?

Key findings

• The exceptional Lie algebra $\mathfrak{e}_7$ is realized as a subalgebra of $\mathfrak{vect}(27)$ preserving a lightcone metric $ds^2$ and a bivector-valued two-form $\beta^{ijkl}$, with the realization being of depth 1.
• The exceptional Lie algebra $\mathfrak{e}_6$ is realized as a subalgebra of $\mathfrak{vect}(16)$ preserving a lightcone metric $ds^2$ and a bivector-valued two-form $\beta^{ij}_{ab}$, also of depth 1.
• For $\mathfrak{sp}(n+2)$, the paper constructs a depth-2 realization preserving a contact one-form and a bilinear form, generalizing the structure to a family of algebras.
• The generators of $\mathfrak{g}_{-1} + \mathfrak{g}_0$ for $\mathfrak{e}_7$ and $\mathfrak{e}_6$ are explicitly given in terms of partial derivatives and structure constants, confirming the algebraic closure.
• The Lie derivative of the preserved structures transforms as $\mathcal{L}_X ds^2 = f ds^2$ and $\mathcal{L}_X \beta = g \beta$, with $f$ and $g$ depending on the vector field $X$, confirming invariance under the algebra action.
• The method successfully constructs the exceptional Lie algebras as closed subalgebras of $\mathfrak{vect}(n)$, with the preserved structures providing a natural and invariant characterization of the algebras.