Structure of Flat Quadratic Quasi-Frobenius Lie Superalgebras via Double Extensions

1. Problem Statement and Context

The paper addresses the structural classification and construction of Flat Quadratic Quasi-Frobenius (QQF) Lie Superalgebras. These are mathematical objects that simultaneously possess three distinct structures:

1. Lie Superalgebra Structure: A graded generalization of a Lie algebra.
2. Quadratic Structure: A non-degenerate, invariant, symmetric bilinear form $B$.
3. Quasi-Frobenius (Symplectic) Structure: A non-degenerate, closed, antisymmetric bilinear form $\omega$.
4. Flatness Condition: The natural symplectic product associated with $(\mathfrak{g}, \omega)$ must be flat (i.e., the curvature tensor vanishes, making the algebra a left-symmetric algebra).

The Core Problem: While the structure of quadratic Lie algebras and quasi-Frobenius Lie algebras has been studied extensively via "double extensions" (a method to build larger algebras from smaller ones), the simultaneous presence of both quadratic and symplectic structures, particularly under the constraint of flatness and in the super-setting (involving $\mathbb{Z}_2$-grading), presents unique challenges. Specifically, the authors investigate how these structures interact when the parities of the quadratic form $B$ and the symplectic form $\omega$ are either identical or different.

2. Methodology

The authors employ an inductive approach based on double extensions, a technique pioneered by Medina and Revoy for quadratic Lie algebras and later adapted for symplectic and superalgebra contexts.

• Natural Symplectic Product: The authors utilize the unique natural symplectic product $\star$ defined by $\omega(u \star v, w) = \frac{1}{3}(\omega([u,v], w) + (-1)^{|v||w|}\omega([u,w], v))$. Flatness is defined as the condition where this product is left-symmetric ($L_{[u,v]} = [L_u, L_v]$).
• Relation between Structures: A key methodological step is establishing the relationship between the quadratic form $B$ and the symplectic form $\omega$. They prove that a QQF-superalgebra exists if and only if there is an invertible endomorphism $\rho$ such that $B(u, v) = \omega(\rho(u), v)$.
  • If $\rho$ is even, $B$ and $\omega$ share the same parity.
  • If $\rho$ is odd, $B$ and $\omega$ have different parities.
• Inductive Construction: The paper attempts to construct any such algebra by starting from the trivial algebra $\{0\}$ and applying a sequence of extensions. The nature of the extension depends on the parity of $\rho$.

3. Key Contributions and Results

A. Characterization via Endomorphisms

The authors provide a necessary and sufficient condition for a quasi-Frobenius Lie superalgebra $(\mathfrak{g}, \omega)$ to admit a quadratic structure. This occurs if and only if there exists an invertible endomorphism $\rho$ such that:

1. $\rho$ is $\omega$-antisymmetric.
2. The operator $\rho \circ \text{ad}_u$ is $\omega$-symmetric for all $u \in \mathfrak{g}$.

B. The Case of Same Parity ($|\rho| = |\omega|$)

When the quadratic and symplectic structures have the same parity (both even or both odd), the authors adapt the standard flat double extension method.

• Result: Any flat QQF-superalgebra with $|\rho| = |\omega|$ can be constructed inductively from the trivial algebra $\{0\}$ via a finite sequence of flat double extensions (either even or odd extensions).
• Dimension: The total dimension of such algebras is necessarily even.

C. The Case of Different Parity ($|\rho| \neq |\omega|$) - Main Novelty

When the quadratic and symplectic structures have different parities (e.g., $\omega$ is even and $B$ is odd, or vice versa), the standard one-dimensional double extension fails.

• New Concept: The authors introduce the Flat Planar Double Extension. This involves extending the base algebra by a two-dimensional vector superspace (spanned by one even and one odd generator) rather than a one-dimensional space.
• Conditions: They derive a complex system of equations (involving maps $\xi_0, \xi_1$ and elements $b_i, c_i$) that must be satisfied for the extension to preserve both the flatness and the QQF structure.
• Dimension Constraint: A significant result is that if $|\rho| \neq |\omega|$, the total dimension of the Lie superalgebra must be of the form $4n$ (a multiple of 4).
• Classification: They prove that any such algebra can be obtained from $\{0\}$ via a sequence of flat planar double extensions.

D. Low-Dimensional Classification

The paper provides a complete classification of flat QQF-superalgebras in low dimensions:

• Dimension 4:
  • If $\rho$ is even, non-abelian examples exist (specifically isomorphic to extensions of $g_2$ and $g_4$).
  • If $\rho$ is odd, any 4-dimensional flat QQF-superalgebra is necessarily abelian.
• Dimension 6 and 8:
  • Explicit examples are constructed.
  • The smallest dimension for a non-abelian flat QQF-superalgebra with odd $\rho$ is 8. The authors construct an explicit example of dimension 8 using the planar double extension method.

4. Significance

1. Unification of Structures: The paper successfully unifies the theories of quadratic and quasi-Frobenius Lie superalgebras under the constraint of flatness, providing a rigorous framework for their simultaneous existence.
2. Resolution of the Parity Obstacle: By introducing the "planar double extension," the authors overcome a structural barrier where standard extension techniques fail for mixed-parity structures. This is a novel contribution to the theory of Lie superalgebras.
3. Dimensional Constraints: The discovery that mixed-parity flat QQF-superalgebras must have dimensions divisible by 4 ($4n$) provides a strong structural constraint that was previously unknown.
4. Inductive Classification: The work establishes that the entire class of these algebras is generated inductively from the trivial algebra, offering a constructive method for generating new examples and classifying existing ones.
5. Explicit Examples: The provision of explicit examples in dimensions 4, 6, and 8 serves as a concrete foundation for further research and applications in mathematical physics (e.g., in the study of symplectic geometry and supergravity models).

In summary, this paper extends the classical double extension theory to the complex setting of flat quadratic quasi-Frobenius Lie superalgebras, introducing new construction techniques for mixed-parity cases and establishing fundamental dimensional and structural properties.