[Paper Review] Classification of six-dimensional Leibniz algebras ${\mathcal E}_3

Ladislav Hlavatý|arXiv (Cornell University)|Mar 13, 2020

Advanced Topics in Algebra9 references16 citations

TL;DR

This paper classifies six-dimensional Leibniz algebras E3 derived from three-dimensional Bianchi Lie algebras, identifying two main types: (1) six-dimensional Lie algebras extending semi-Abelian Drinfel'd doubles, and (2) unique Leibniz extensions of unimodular Bianchi algebras. It provides explicit generalized frame fields for all cases and extends the framework to non-unimodular Bianchi algebras via a twisted frame field formalism, enabling a complete classification of E3 algebras relevant to U-duality in string theory.

ABSTRACT

Leibniz algebras ${\mathcal E}_n$ were introduced as algebraic structure underlying U-duality. Algebras ${\mathcal E}_3$ derived from Bianchi three-dimensional Lie algebras are classified here. Two types of algebras are obtained: Six-dimensional Lie algebras that can be considered extension of semi-Abelian four-dimensional Drinfeld double and unique extensions of non-Abelian Bianchi algebras. For all of the algebras explicit forms of generalized frame fields are given.

Motivation & Objective

• To classify all six-dimensional Leibniz algebras E3 derived from three-dimensional Bianchi Lie algebras.
• To determine which of these algebras can be interpreted as extensions of Drinfel'd doubles.
• To derive explicit generalized frame fields satisfying the generalized Lie derivative algebra for all classified E3 algebras.
• To extend the formalism to non-unimodular Bianchi algebras using a modified algebraic structure and twisted frame fields.

Proposed method

• Use of the Leibniz algebra construction from n-dimensional Lie algebras via a product rule on a [n + n(n−1)/2]-dimensional space, with structure constants derived from the original Lie algebra.
• Application of Leibniz identity conditions to restrict allowed algebras to unimodular Bianchi types (a = 0), yielding two distinct classes of E3 algebras.
• Explicit computation of generalized frame fields in block-triangular matrix form using right-invariant vector fields and Nambu-Poisson tensors.
• Introduction of a modified algebraic product (20) with a twist parameter Z_a to include non-unimodular Bianchi algebras.
• Derivation of twisted generalized frame fields via a transformation matrix T_J^I to satisfy the modified algebraic relations.
• Verification of frame field consistency by checking the generalized Lie derivative condition (13) and (22) for both standard and twisted cases.

Experimental results

Research questions

• RQ1 Which six-dimensional Leibniz algebras E3 arise from three-dimensional Bianchi Lie algebras, and how are they classified?
• RQ2 Can the E3 algebras be interpreted as extensions of Drinfel'd doubles, and under what conditions?
• RQ3 What are the explicit forms of generalized frame fields for all E3 algebras, and how do they satisfy the generalized Lie derivative algebra?
• RQ4 How can the formalism be extended to include non-unimodular Bianchi algebras, and what modifications are required?
• RQ5 Are there linear transformations connecting the different classes of E3 algebras, and if not, what does this imply for non-Abelian U-dualities?

Key findings

• Seven inequivalent E3 algebras are classified: two from the Abelian Bianchi algebra B1, and five from unimodular Bianchi algebras B2, B60, B70, B8, B9.
• The first class consists of six-dimensional Lie algebras that extend semi-Abelian four-dimensional Drinfel'd doubles.
• The second class consists of unique Leibniz extensions of unimodular Bianchi algebras, with non-antisymmetric products.
• For all unimodular cases, explicit generalized frame fields are derived in block-triangular form, with the Nambu-Poisson tensor encoding the structure constants.
• For non-unimodular Bianchi algebras (B3, B4, B5, B6a, B7a), a modified algebra (20) with Z_a = -f_ab^b is introduced to satisfy Leibniz identities.
• Twisted generalized frame fields are constructed via a transformation matrix T_J^I = diag(13, e^{2a x1}13), ensuring consistency with the modified algebraic structure.