[Paper Review] Structure of root graded Lie algebras

Malihe Yousofzadeh|arXiv (Cornell University)|Jun 25, 2011

Advanced Topics in Algebra4 references3 citations

TL;DR

This paper provides a complete structural classification of Lie algebras graded by infinite irreducible locally finite root systems, generalizing finite-type root graded Lie algebras. It constructs such Lie algebras from a locally finite split simple Lie algebra, representations, and a coordinate algebra via a uniformity condition on a quotient of a skew-dihedral homology group, establishing a one-to-one correspondence between graded Lie algebras and such data.

ABSTRACT

We give a complete description of Lie algebras graded by an infinite irreducible locally finite root system.

Motivation & Objective

• To extend the classification of root graded Lie algebras from finite to infinite irreducible locally finite root systems.
• To generalize the finite-type structure theory—based on split simple Lie algebras and coordinate algebras—to the infinite case.
• To establish a reconstruction theorem for such Lie algebras using a coordinate quadruple and a uniform subspace of a skew-dihedral homology group.
• To provide a uniform framework that subsumes and generalizes earlier results by Neher, Berman-Moody, and Benkart-Zelmanov.
• To prove that every root-graded Lie algebra over an infinite irreducible locally finite root system arises from this construction, up to isomorphism.

Proposed method

• Define a coordinate quadruple $(\mathfrak{a}, *, \mathcal{C}, f)$ associated with the root system type $X = B_I$ or $C_I$, encoding the algebraic data of the grading.
• Construct a Lie algebra $\mathcal{L}(\mathfrak{a}, \mathcal{K})$ as a direct sum of tensor products $\mathcal{G} \otimes \mathcal{A}$, $\mathcal{S} \otimes \mathcal{B}$, and a quotient $\{\mathfrak{a}, \mathfrak{a}\}_\ell / \mathcal{K}$, where $\mathcal{K}$ is a subspace of the skew-dihedral homology group satisfying the uniform property.
• Define the Lie bracket on $\mathcal{L}(\mathfrak{a}, \mathcal{K})$ using the Lie bracket on $\mathcal{G}$, the action of $\mathcal{G}$ and $\mathcal{S}$, and a modified product $\circ$ on $\mathfrak{a}$, with explicit formulas for all bracket types.
• For $\mathfrak{g} = \mathfrak{o}_B(I)$, use the standard Lie bracket and trace form; for $\mathfrak{g} = \mathfrak{sp}(I)$, use the Jordan product $\circ$ and a normalized trace.
• Introduce the operator $d^{\ell,\mathfrak{a}}_{\alpha_1,\alpha_2}$ to define the action of the quotient algebra on the tensor components.
• Use the uniform property on $\mathcal{K}$ to ensure the Jacobi identity and well-definedness of the Lie algebra structure.

Experimental results

Research questions

• RQ1 How can the structure of Lie algebras graded by infinite irreducible locally finite root systems be fully classified?
• RQ2 What algebraic data—beyond a split simple Lie algebra and representations—determines such a graded Lie algebra?
• RQ3 Can the construction of finite-type root graded Lie algebras be generalized to the infinite case using a coordinate algebra and a uniform subspace?
• RQ4 Is every Lie algebra graded by an infinite irreducible locally finite root system isomorphic to a Lie algebra constructed from a coordinate quadruple and a uniform subspace?
• RQ5 How does the role of the skew-dihedral homology group and the uniform property ensure consistency and closure of the Lie bracket in the infinite setting?

Key findings

• Every Lie algebra graded by an infinite irreducible locally finite root system $R$ of type $B_I$ or $C_I$ decomposes as $\mathcal{L} = \mathcal{M}_1 \oplus \mathcal{M}_2$, where $\mathcal{M}_1$ is a direct sum of irreducible nontrivial $\mathfrak{g}$-modules and $\mathcal{M}_2$ is a trivial module.
• From the $\mathfrak{g}$-module structure of $\mathcal{M}_1$, a coordinate quadruple $\mathfrak{c}$ is canonically derived, which encodes the essential algebraic data of the grading.
• The trivial part $\mathcal{M}_2$ is isomorphic to the quotient $\{\mathfrak{b}_{\mathfrak{c}}, \mathfrak{b}_{\mathfrak{c}}\}/\mathcal{K}$, where $\mathcal{K}$ is a subspace of the skew-dihedral homology group satisfying the uniform property.
• The entire Lie algebra $\mathcal{L}$ is isomorphic to $\mathcal{L}(\mathfrak{b}_{\mathfrak{c}}, \mathcal{K})$, constructed from the coordinate quadruple and the uniform subspace.
• The Lie bracket on $\mathcal{L}(\mathfrak{b}_{\mathfrak{c}}, \mathcal{K})$ is explicitly given by formulas involving the Lie bracket on $\mathcal{G}$, the action of $\mathcal{G}$ and $\mathcal{S}$, and the modified product $\circ$ on $\mathfrak{a}$.
• This construction provides a complete and uniform characterization of root-graded Lie algebras over infinite root systems, generalizing Neher’s framework and unifying earlier classifications.