Left-symmetric superalgebras and Lagrangian extensions of Lie superalgebras in characteristic 2

Basic Information

• Paper ID: 2501.15432
• Title: Left-symmetric superalgebras and Lagrangian extensions of Lie superalgebras in characteristic 2
• Authors: Saïd Benayadi, Sofiane Bouarroudj, Quentin Ehret
• Classification: math.RT (Representation Theory)
• Publication Date: January 26, 2025
• Paper Link: https://arxiv.org/abs/2501.15432

Abstract

This paper pursues a twofold research objective: First, it introduces the concepts of left-symmetric and left-alternative structures on superspaces in characteristic 2, describes their principal properties, and provides a complete classification in dimension 2. It is proven that left-symmetric structures can be oddified if and only if they are left-alternative. Second, the paper develops the theory of Lagrangian extensions of Lie superalgebras with flat torsion-free connections in characteristic 2. It is demonstrated that any strongly polarized quasi-Frobenius Lie superalgebra can be obtained as a Lagrangian extension, and that Lagrangian extensions are classified by a certain cohomology space introduced in the paper. To illustrate the construction, all Lagrangian extensions in dimension 4 are described.

Research Background and Motivation

Problem Background

1. Lie superalgebra theory in characteristic 2: Lie superalgebras in characteristic 2 possess unique structures, including the squaring map s: g₁ → g₀, which necessitates the development of new methods for studying these structures. Many Lie superalgebras exist only in characteristic 2 and have no analogues in other characteristics.
2. Development of Lagrangian extension theory: Bordemann introduced the concept of T*-extensions, which was later developed into Lagrangian extension theory by Baues and Cortés. While this theory has been supersymmetrized for characteristic ≠ 2, the characteristic 2 case still requires specialized treatment.
3. Importance of left-symmetric algebras: Left-symmetric algebras are closely related to flat torsion-free connections and play important roles in geometric structures such as affinely flat manifolds and homogeneous cones.

Research Motivation

• To fill the gap in Lagrangian extension theory in characteristic 2
• To establish connections between left-symmetric superalgebras and the oddification process
• To provide new construction methods for Lie superalgebras in characteristic 2

Core Contributions

1. Introduction and classification of left-symmetric superalgebras in characteristic 2: A complete classification in dimension 2 is provided, establishing relationships with left-alternative structures
2. Establishment of oddification theory: It is proven that left-symmetric structures can be oddified if and only if they are left-alternative
3. Development of Lagrangian extension theory in characteristic 2: The theory is adapted to accommodate the presence of the squaring map, establishing a complete theoretical framework
4. Construction of Lagrangian cohomology: It is proven that Lagrangian extensions are classified by specific cohomology spaces
5. Complete 4-dimensional classification: Explicit examples of all 4-dimensional Lagrangian extensions are provided

Detailed Methodology

Fundamental Definitions

Lie superalgebras in characteristic 2

Over a field K of characteristic 2, a Lie superalgebra is a Z/2Z-graded vector superspace g = g₀ ⊕ g₁, where:

• The even part g₀ is a Lie algebra
• The odd part g₁ is a two-sided g₀-module
• There exists a squaring map s: g₁ → g₀

The bracket product of odd elements is defined by the squaring map:

[x,y] := s(x+y) - s(x) - s(y), ∀x,y ∈ g₁

Left-symmetric superalgebras

A left-symmetric superalgebra (V,⊲) is a vector superspace V equipped with a bilinear product ⊲ satisfying:

1. The associator is left-symmetric in the first two variables
2. Special associativity conditions are satisfied for odd elements

Core Constructions

Lagrangian extensions

Given a Lie superalgebra (h,∇) equipped with a flat torsion-free connection, two classes of extensions can be constructed:

1. T-extensions*: Defining an orthogonal-orthogonal form on h ⊕ h*
2. ΠT-extensions*: Defining a surrounding form on h ⊕ Π(h*)

The Lie superalgebra structure of the extension is determined by 2-cocycles (α,γ), where α is a bilinear map and γ is a squaring map.

Lagrangian cohomology

Lagrangian cohomology groups are defined:

• XH²ₗ(h,h*): Classifying T*-extensions
• XH²ₗ(h,Π(h*)): Classifying ΠT*-extensions

Technical Innovations

1. Handling the squaring map: The squaring map, which is characteristic of characteristic 2, is systematically considered in all constructions
2. Oddification process: Connections are established between oddification of left-symmetric algebras and restricted Lie algebra theory
3. Adaptation of connection theory: The concepts of connections, torsion, and curvature are adapted to the characteristic 2 superalgebra setting

Experimental Setup

Computational tools for classification

• The SuperLie software package is used for computational verification
• Invariant tables are employed to distinguish non-isomorphic algebraic structures
• All possible parameter combinations are systematically checked

Classification scope

• Complete classification of all left-symmetric structures on 2-dimensional Lie superalgebras
• Construction of explicit examples of all 4-dimensional Lagrangian extensions
• Computation of corresponding Lagrangian cohomology groups

Experimental Results

2-dimensional classification results

Classification of left-symmetric structures

For each 2-dimensional Lie superalgebra, the paper provides all compatible left-symmetric structures:

Type L¹₁|₁:

• Basic structure: e₁e₂ = e₂
• Parametrized structures: e₁e₁ = εe₁; e₁e₂ = e₂ (ε ≠ 0,1)
• Some structures are left-alternative, others are not

Type L²₁|₁:

• Main structure: e₂e₂ = e₁
• All structures are left-alternative

4-dimensional extension results

Superalgebras of dimension (2|2)

The paper constructs multiple series of 4-dimensional Lie superalgebras:

• ΠT*-extensions from L¹₀|₂: 3 basic types
• T*-extensions from L¹₁|₁: 5 parametrized families
• ΠT*-extensions from L¹₁|₁: 4 parametrized families

Superalgebras of dimension (4|0)

• T*-extensions from L¹₂|₀: 18 distinct types
• T*-extensions from L²₂|₀: 12 distinct types

Isomorphism relations

The paper also determines isomorphism and symplectic isomorphism relations among these extensions, for example:

• L^{tt}₂|₂ ≅ L^{pp}₂|₂
• L^f₂|₂ ≅ L^s₂|₂

Related Work

Historical development

1. Bordemann's T-extensions*: Originally introduced on non-associative algebras in characteristic 0
2. Baues-Cortés Lagrangian extensions: Developed the theory for Lie algebras
3. Bouarroudj-Maeda supersymmetrization: Extended the theory to Lie superalgebras in characteristic ≠ 2

Research on left-symmetric algebras

• Applications by Vinberg and Koszul in homogeneous cones and affinely flat manifolds
• Pre-Lie algebras in Hochschild cohomology by Gerstenhaber
• Various classification works: contributions by Segal, Burde, Bai, and others

Specificity of characteristic 2

• Classification work on characteristic 2 Lie superalgebras by Lebedev and others
• Development and application of oddification methods

Conclusions and Discussion

Main conclusions

1. Complete 2-dimensional classification: A complete classification of all left-symmetric structures on 2-dimensional Lie superalgebras is provided
2. Oddification theorem: It is proven that left-symmetric structures can be oddified if and only if they are left-alternative
3. Lagrangian extension theory: The theory is successfully adapted to the characteristic 2 case
4. Complete 4-dimensional description: Explicit constructions of all 4-dimensional Lagrangian extensions are provided

Limitations

1. Dimensional restrictions: Detailed classifications are limited to low-dimensional cases
2. Computational complexity: Classification in higher dimensions becomes computationally difficult
3. Scope of applications: Results are primarily theoretical; practical applications require further development

Future directions

The paper proposes several open problems:

1. Investigation of whether Hamiltonian-type Lie superalgebras admit invertible derivations
2. Determination of whether they admit left-symmetric structures
3. Development of classification theory in higher dimensions

In-depth Evaluation

Strengths

1. Theoretical completeness: Systematically develops Lagrangian extension theory in characteristic 2
2. Technical innovation: Skillfully addresses technical challenges posed by the squaring map
3. Computational thoroughness: Provides extensive concrete classification results and examples
4. Clear structure: Well-organized paper that progresses systematically from basic concepts to advanced results

Weaknesses

1. Limited applications: Primarily pure theoretical results lacking concrete applications
2. Computational intensity: Some proofs rely on extensive computations with relatively limited theoretical insights
3. Readability challenges: High technical detail makes understanding difficult for non-specialists

Impact

1. Theoretical contribution: Fills the gap in Lagrangian extension theory in characteristic 2
2. Methodological value: Provides new tools for handling characteristic 2 superalgebras
3. Classification value: Provides important classification results for subsequent research

Applicable scenarios

• Research in characteristic 2 Lie superalgebra theory
• Classification problems for left-symmetric algebras
• Applications in affine and differential geometry
• Supersymmetric theories in mathematical physics

References

The paper cites 40 important references, covering:

• Foundational Lie superalgebra theory: Lebedev, Bouarroudj, and others
• Left-symmetric algebra theory: Burde, Bai, Vinberg, and others
• Lagrangian extension theory: Bordemann, Baues-Cortés, and others
• Computational tools: SuperLie software package

Summary: This is a high-quality pure mathematics paper making significant contributions to Lie superalgebra theory in characteristic 2. While highly technical, it provides important theoretical foundations and classification results for the field. The paper's principal value lies in its theoretical completeness and methodological innovations, establishing a solid foundation for subsequent research.