In this article, we introduce mock-Lie superalgebras, we give some definitions, properties, constructions, and we study their representations. Moreover we introduce pseudo-euclidean mock-Lie superalgebras which are mock-Lie superalgebras with even non-degenerate supersymmetric and invariant bilinear forms. Finally, we study the double extensions and generalized double extensions of mock-Lie superalgebras and their isometries.
- Paper ID: 2510.12805
- Title: Extensions of pseudo-euclidean mock-Lie superalgebras
- Authors: Tahar Benyoussef (University of Sfax), Sami Mabrouk (University of Gafsa)
- Classification: math.RA (Rings and Algebras), math.RT (Representation Theory)
- Publication Date: October 3, 2025 (arXiv preprint)
- Paper Link: https://arxiv.org/abs/2510.12805
This paper introduces the concept of mock-Lie superalgebras, provides relevant definitions, properties, construction methods, and investigates their representation theory. Furthermore, pseudo-euclidean mock-Lie superalgebras are introduced, namely mock-Lie superalgebras equipped with even non-degenerate supersymmetric invariant bilinear forms. Finally, double extensions and generalized double extensions of mock-Lie superalgebras and their isometric mappings are studied.
- Rise of mock-Lie algebras: Mock-Lie algebras, as an instance of Jordan algebras, represent a relatively new class of algebraic structures, also known as Jacobi-Jordan algebras. They are characterized as commutative algebras satisfying the Jacobi identity.
- Need for superalgebraic generalization: Based on the relationship between Lie superalgebras and Jordan superalgebras, there is a natural need to generalize mock-Lie algebras to the superalgebraic setting and establish a theory of mock-Lie superalgebras.
- Importance of quadratic structures: Quadratic Lie algebras hold significant importance in modern mathematical physics, particularly in the Sugawara construction in quantum field theory and applications in conformal field theory.
- Theoretical completeness: Establish a complete theoretical framework for mock-Lie superalgebras, filling theoretical gaps in this field.
- Structural classification: Provide an inductive classification scheme for pseudo-euclidean mock-Lie superalgebras through double extension methods.
- Application expansion: Provide new algebraic tools for supersymmetric field theory and exceptional geometry.
- Introduction of mock-Lie superalgebras: Provides rigorous definitions of mock-Lie superalgebras and establishes a basic theoretical framework.
- Establishment of connection with Jordan superalgebras: Proves that every mock-Lie superalgebra is a Jordan superalgebra satisfying x³ = 0.
- Development of representation theory: Constructs adjoint and dual representations, establishes semidirect product characterizations.
- Definition of pseudo-euclidean structures: Introduces the concept of mock-Lie superalgebras equipped with invariant bilinear forms.
- Construction of extension theory: Develops double extension and generalized double extension methods, providing systematic construction techniques.
- Study of isometric mappings: Provides necessary and sufficient conditions for the existence of isometric mappings between two generalized double extensions.
The central tasks of this paper are to establish a complete theoretical system for mock-Lie superalgebras, including:
- Definition of basic concepts and properties
- Construction of representation theory
- Investigation of cases equipped with bilinear forms
- Development of extension methods for classification
Definition 2.1 (mock-Lie superalgebra): Let J = J₀̄ ⊕ J₁̄ be a Z₂-graded vector space and "•" an even bilinear map. Then (J,•) is called a mock-Lie superalgebra if it satisfies:
- Super-commutativity: x • y = (-1)^|x||y| y • x
- Super-Jacobi identity: (-1)^|x||z| x • (y • z) + (-1)^|x||y| y • (z • x) + (-1)^|y||z| z • (x • y) = 0
Definition 3.3 (pseudo-euclidean mock-Lie superalgebra): A mock-Lie superalgebra (J,•) is called pseudo-euclidean if it is equipped with a pseudo-Riemannian structure B, namely an even supersymmetric non-degenerate invariant bilinear form, satisfying B(x • y, z) = B(x, y • z).
Definition 2.3 (Representation): A representation of a mock-Lie superalgebra (J,•) is a pair (V,π), where V is a Z₂-graded vector space and π: J → End(V) is an even linear map satisfying:
π(x • y) = -π(x)π(y) - (-1)^|x||y| π(y)π(x)
Key results include:
- Adjoint representation: ad(x)(y) = x • y
- Dual representation: π*(x)(f) = (-1)^|f||x| f ∘ π(x)
- Semidirect product construction
Central extensions: Given a mock-Lie superalgebra J and a representation (V,π), along with a 2-cocycle Ω, one can construct a central extension J̄ = J ⊕ V with product:
(x + u) ⋆_Ω (y + v) = x • y + π(x)(v) + (-1)^|x||y| π(y)(u) + Ω(x,y)
Double extensions: For a pseudo-euclidean mock-Lie superalgebra (J₁,•₁,B) and a mock-Lie superalgebra J₂, one can construct a double extension J₂ ⊕ J₁ ⊕ J₂*.
Generalized double extensions: Extensions via a one-dimensional odd mock-Lie superalgebra U = Ku, yielding J̃ = U ⊕ J ⊕ U*.
- Superalgebraic generalization method: Successfully extends classical mock-Lie algebra theory to the superalgebraic setting, handling sign issues arising from Z₂-grading.
- Invariant bilinear forms: Introduces pseudo-euclidean structures, establishing a theoretical framework similar to quadratic Lie superalgebras.
- Inductive classification scheme: Provides systematic construction and classification techniques through double extension methods.
- Characterization of isometric mappings: Provides complete characterization of isometric mappings between generalized double extensions.
Proposition 2.1: Every mock-Lie superalgebra is a Jordan superalgebra satisfying x³ = 0.
Proposition 2.2: For a mock-Lie superalgebra (J,•), we have x² • (y • x) = (x² • y) • x = 0.
Proposition 3.4: A mock-Lie superalgebra J is pseudo-euclidean if and only if its adjoint representation is equivalent to its coadjoint representation and dim(J₁̄) is even.
Corollary 3.6: If (J,•,B) is a pseudo-euclidean mock-Lie superalgebra with J₁̄ ≠ {0}, then Ann(J) ∩ J₁̄ ≠ {0}.
Theorem 4.3: Under appropriate conditions, J = J₂ ⊕ J₁ ⊕ J₂* is a mock-Lie superalgebra with product given by the double extension form.
Theorem 4.8: The generalized double extension J̃ = U ⊕ J ⊕ U* is a mock-Lie superalgebra under appropriate conditions and is equipped with an invariant scalar product.
Theorem 4.10: If (J̃,•̃,B̃) is a pseudo-euclidean mock-Lie superalgebra with dim(J̃₁̄) > 1, then J̃ is a generalized double extension of some pseudo-euclidean mock-Lie superalgebra.
Corollary 4.11: Any pseudo-euclidean mock-Lie superalgebra of dimension greater than 1 can be obtained through finitely many generalized double extensions and/or double extensions.
This paper builds upon the following research foundations:
- Mock-Lie algebra theory: First introduced by Burde and Fialowski 17, with subsequent in-depth research by Agore-Militaru 3,4 and others.
- Quadratic Lie algebras: Pioneering work by Medina-Revoy 25 establishing the double extension method.
- Superalgebraic generalizations: Benamor-Benayadi 15 generalized the theory to the Z₂-graded setting.
- Jordan superalgebras: Representation theory by Martínez-Zelmanov 24 and others provides theoretical foundations for this paper.
- Successfully establishes a complete theoretical framework for mock-Lie superalgebras, including basic definitions, properties, and representation theory.
- Proves the essential connection between mock-Lie superalgebras and Jordan superalgebras.
- Develops double extension theory for pseudo-euclidean mock-Lie superalgebras, providing systematic classification methods.
- Provides complete characterization of isometric mappings, offering important tools for structural classification.
- Dimensional restrictions: The theory primarily addresses finite-dimensional cases; infinite-dimensional generalizations require further research.
- Characteristic restrictions: Requires the base field to have characteristic zero; theory for positive characteristic remains to be developed.
- Concrete classification: While providing an inductive framework, specific low-dimensional classifications still require substantial computational work.
The paper raises important open problems at its conclusion:
- Anti-Leibniz superalgebras: As a "non-commutative version" of mock-Lie superalgebras, deserving deeper investigation.
- Quadratic anti-Leibniz algebras: Theory of anti-Leibniz algebras equipped with symmetric non-degenerate associative bilinear forms.
- Algorithmic construction: Development of explicit algorithms to construct quadratic anti-Leibniz superalgebras.
- Theoretical completeness: Establishes a complete system from basic definitions to classification theory with rigorous logic.
- Methodological innovation: Successfully extends the double extension method to mock-Lie superalgebras with sophisticated technical handling.
- Profound results: The established connections with Jordan superalgebras and classification theorems possess significant theoretical value.
- Clear presentation: Well-structured paper with precise definitions and detailed proofs.
- Lack of applications: The paper is primarily theoretical construction with insufficient concrete physical or geometric application examples.
- Computational complexity: While providing a theoretical framework, specific classification computations remain complex.
- Insufficient examples: Lacks sufficient concrete examples to illustrate theoretical applications.
- Academic contribution: Provides new research directions and tools for non-associative algebra theory.
- Theoretical value: The established framework may have potential applications in supersymmetric theory and mathematical physics.
- Methodological contribution: The generalization of double extension techniques provides insights for studying other algebraic structures.
- Theoretical research: Suitable for researchers in non-associative algebras and superalgebra theory.
- Mathematical physics: May find applications in supersymmetric field theory and conformal field theory.
- Algebraic geometry: May be useful in studying algebraic structures of supermanifolds and supergroups.
The paper cites 27 important references covering major works in mock-Lie algebras, Jordan superalgebras, quadratic algebras, and related fields, providing a solid foundation for theoretical development. Key references include Burde-Fialowski's pioneering work 17, Medina-Revoy's double extension theory 25, and Benamor-Benayadi's superalgebraic generalization 15.
Overall Assessment: This is a high-quality theoretical mathematics paper making significant contributions to mock-Lie superalgebra theory. The paper establishes a complete theoretical framework with rigorous methods and profound results, laying a foundation for further development in this field. While lacking direct applications, its theoretical value and methodological significance are substantial.