[Paper Review] Root Graded Lie Superalgebras

Malihe Yousofzadeh|arXiv (Cornell University)|Jul 29, 2015

Advanced Topics in Algebra13 references3 citations

TL;DR

This paper introduces a generalized framework for root graded Lie superalgebras, unifying prior notions by extending root grading to locally finite root supersystems. It establishes a recognition theorem for Lie superalgebras graded by the $BC(I,J)$ root supersystem and demonstrates their role in constructing extended affine Lie superalgebras via centerless cores, generalizing classical root graded Lie algebra theory to the superalgebra setting.

ABSTRACT

We define root graded Lie superalgebras and study their connection with centerless cores of extended affine Lie superalgebras; our definition generalizes the known notions of root graded Lie superalgebras.

Motivation & Objective

• To generalize the concept of root graded Lie algebras to the superalgebra setting, incorporating both existing definitions of root graded Lie superalgebras.
• To establish a recognition theorem for Lie superalgebras graded by the locally finite root supersystem of type $BC(I,J)$, extending known results to infinite-dimensional superalgebras.
• To clarify the structural connection between root graded Lie superalgebras and the centerless cores of extended affine Lie superalgebras.
• To provide a unified framework that generalizes the construction of extended affine Lie superalgebras using root graded superalgebras as a foundational step.

Proposed method

• Defining root graded Lie superalgebras via a weight space decomposition relative to a Cartan subalgebra, with grading by the root lattice of a locally finite root supersystem.
• Using the structure of the Lie superalgebra $\mathfrak{osp}(I,J)$ as a foundational model for constructing the root graded superalgebras.
• Applying a decomposition method based on finite subsets $I_0 \subseteq I$ and $J_0 \subseteq J$, and constructing subalgebras $\mathfrak{L}^{\lambda,\gamma}$ indexed by these subsets.
• Establishing a tensor product decomposition $\mathfrak{L}^{0,0} = (\mathfrak{g}^{0,0} \otimes \mathcal{A}) \oplus (\mathfrak{s}^{0,0} \otimes \mathcal{B}) \oplus (\mathfrak{u}^{0,0} \otimes \mathcal{C}) \oplus \mathcal{D}$, where $\mathcal{A}, \mathcal{B}, \mathcal{C}$ are superspaces with induced superalgebraic structures.
• Proving that the full Lie superalgebra $\mathfrak{L}$ is isomorphic to the direct sum of tensor products of irreducible modules and a trivial module, using module-theoretic arguments and flatness of vector spaces.
• Leveraging results from prior works (e.g., [24]) to extend the recognition theorem to the $BC(I,J)$-graded case by induction over finite substructures.

Experimental results

Research questions

• RQ1 How can the notion of root graded Lie superalgebras be generalized to unify existing definitions based on Cartan subalgebras and root systems of basic classical Lie superalgebras?
• RQ2 What structural properties must a Lie superalgebra satisfy to be recognized as graded by the $BC(I,J)$ root supersystem?
• RQ3 How do root graded Lie superalgebras relate to the centerless cores of extended affine Lie superalgebras?
• RQ4 Can a recognition theorem for $BC(I,J)$-graded Lie superalgebras be established using finite approximations and module decomposition?

Key findings

• A recognition theorem is established for Lie superalgebras graded by the $BC(I,J)$ root supersystem, showing that such algebras decompose into tensor products of irreducible modules and superspaces.
• The centerless core of an extended affine Lie superalgebra is shown to be a root graded Lie superalgebra, generalizing the classical case of root graded Lie algebras.
• The full Lie superalgebra $\mathfrak{L}$ is realized as a direct sum $ (\mathfrak{g}^{0,0} \otimes \mathcal{A}) \oplus (\mathfrak{s}^{0,0} \otimes \mathcal{B}) \oplus (\mathfrak{u}^{0,0} \otimes \mathcal{C}) \oplus \mathcal{D} $, where $\mathcal{D}$ is a trivial module.
• The superalgebraic structure on $\mathcal{A} \oplus \mathcal{B} \oplus \mathcal{C}$ is derived from the Lie superalgebra structure of $\mathfrak{L}$, enabling a consistent grading.
• The construction generalizes known results from [24] to the superalgebra setting, particularly extending the recognition theorem to infinite-dimensional root systems.
• The method of finite approximations via index sets $\Lambda$ and $\Gamma$ allows the extension of local results to the global structure of $\mathfrak{L}$.