Graded Lie superalgebras from embedding tensors

This paper establishes the relationship between various constructions of $\mathbb{Z}$-graded Lie superalgebras by demonstrating how an embedding tensor, viewed as a degree -1 element, links a degree 0 Lie algebra and a degree 1 odd module to endow the latter with a Leibniz algebra structure.

The Gist

Imagine you are an architect trying to build a massive, multi-story skyscraper. In the world of advanced mathematics and theoretical physics, this skyscraper is a Lie superalgebra—a complex structure that organizes symmetries and transformations.

This paper is essentially a construction manual that explains how two different teams of architects have been building these skyscrapers using slightly different blueprints, and it proves that, under the right conditions, they are actually building the exact same building.

Here is the breakdown of the paper's story, using everyday analogies:

1. The Ingredients: The "Gang," the "Crew," and the "Manager"

To build this mathematical structure, you need three specific ingredients:

• The Lie Algebra ($\mathfrak{g}$): Think of this as the Foundation and the Core Team. It's a stable, well-understood group of rules (like the laws of physics or the rules of a game) that sits at the ground floor (degree 0).
• The Module ($V$): This is the Crew or the "workers." They are a group of elements that the Core Team can direct and move around. They live on the first floor (degree 1).
• The Embedding Tensor ($\Theta$): This is the Manager. It's a special rulebook that tells the Crew how to interact with the Core Team. It lives in the basement (degree -1).

2. The Golden Rule: The "Quadratic Constraint"

The Manager ($\Theta$) isn't just a random rulebook; it has to follow a strict Golden Rule (the quadratic constraint).

• The Analogy: Imagine the Manager assigns a task to a worker. The worker then tries to assign a task to another worker. The Golden Rule says: "The result of the Manager assigning a task to a worker, who then assigns a task to another, must be exactly the same as if the Manager had directly assigned the second task to the second worker."
• Why it matters: If this rule holds, the Crew ($V$) automatically gains a special structure called a Leibniz algebra. Think of this as the Crew learning a new, slightly more flexible way to dance together that isn't perfectly symmetrical but still follows a pattern.

3. The Two Construction Methods

The paper compares two famous ways of building the skyscraper:

Method A: The "Universal Blueprint" (Kantor's Construction)

• How it works: You start with the Crew ($V$) and ask, "What is the biggest, most complete building we can possibly build using these workers?" You keep adding floors (degrees) as high as the rules allow.
• The Result: This creates a massive, "universal" tower called $P(V, T)$. It's like building a skyscraper that goes up to the clouds, including every possible room that could exist.

Method B: The "Minimalist Blueprint" (The Lie-Leibniz Triple)

• How it works: You start with the Manager ($\Theta$) and the Crew. You build the tower floor by floor, but you stop adding new rooms as soon as the rules say you don't need them anymore. You cut off the top of the building if it gets too messy or redundant.
• The Result: This creates a "minimal" tower called $L(g, V, \Theta)$. It's a sleek, efficient building that only has the rooms necessary for the Manager's specific instructions.

4. The Big Discovery: They Are the Same!

For a long time, mathematicians wondered: "Are these two buildings actually the same, or are they totally different?"

The authors of this paper prove that if the Core Team is "simple" (very organized) and the Manager is doing something meaningful (not zero), then the two buildings are identical.

• The Catch: The "Universal Blueprint" building might have a few extra, useless attics (degrees 3 and higher) that the "Minimalist Blueprint" building doesn't have. But if you knock those extra attics off, the two buildings are isomorphic—meaning they are structurally identical, room for room.

5. Why Should You Care? (The "So What?")

You might ask, "Who cares about imaginary skyscrapers?"

• Physics Connection: These structures are used to describe Supergravity (a theory trying to unify gravity with quantum mechanics). The "Manager" ($\Theta$) is actually an Embedding Tensor, a tool physicists use to figure out how to "gauge" (turn on) forces in the universe.
• The "Coquecigrue" Problem: The paper mentions a famous unsolved puzzle called the "Coquecigrue problem." It's like trying to find the "parent" of a Leibniz algebra, just as a Lie group is the parent of a Lie algebra. This paper suggests that by understanding these "Manager-Crew" relationships, we might finally solve this puzzle and find the missing link in mathematics that connects these abstract shapes to real-world geometry.

Summary Analogy

Think of the paper as a detective story.

• Suspect A (The Universal Construction) builds a giant, cluttered warehouse.
• Suspect B (The Minimal Construction) builds a tidy, efficient office.
• The Detective (The Authors) investigates and finds that if you remove the storage room (the clutter) from the warehouse, it is exactly the same office.
• The Conclusion: Both methods work, but they just look at the problem from different angles. Now, physicists and mathematicians can use whichever method is easier for them, knowing they will get the same result.

In short, this paper connects two different mathematical languages to show they are describing the same beautiful, underlying structure of the universe.

Technical Summary

1. Problem Statement

The paper addresses a gap in the mathematical understanding of embedding tensors, a concept originating in theoretical physics (specifically gauged supergravity) to describe how gauge algebras are embedded into global symmetry algebras.

Mathematically, an embedding tensor $\Theta: V \to \mathfrak{g}$ (where $\mathfrak{g}$ is a Lie algebra and $V$ is a $\mathfrak{g}$-module) satisfying a specific quadratic constraint induces a Leibniz algebra structure on $V$. This data gives rise to two distinct constructions of graded Lie superalgebras found in the literature:

1. Tensor Hierarchy Algebras ($P(V, T)$): Constructed by Lavau [16] via the minimal extension of a local Lie superalgebra defined by a subspace $T \subset \text{Hom}(V, \text{End } V)$. This approach often includes "representation constraints" motivated by supersymmetry.
2. Canonical Lie Superalgebras ($L(\mathfrak{g}, V, \Theta)$): Constructed by Lavau and Palmkvist [18, 19] via a functorial relationship with differential graded Lie algebras (DGLAs), focusing strictly on the quadratic constraint without representation constraints.

The Core Problem: It was previously unclear under what conditions these two constructions yield isomorphic algebras. The paper aims to elucidate these conditions and unify the algebraic frameworks.

2. Methodology

The authors employ a rigorous algebraic approach based on the theory of graded Lie superalgebras, specifically utilizing:

• Kantor's Construction: The theory of universal graded Lie superalgebras associated with a vector space.
• Prolongation Theory: Extending local Lie superalgebras to global ones, distinguishing between maximal (free) and minimal extensions.
• Lie–Leibniz Triples: Formalizing the data $(\mathfrak{g}, V, \Theta)$ where $\Theta$ satisfies the quadratic constraint $\Theta(\Theta(u) \cdot v) = [\Theta(u), \Theta(v)]$.
• Differential Graded Lie Algebras (DGLAs): Analyzing the structure via Maurer–Cartan elements and twisted differentials.

The methodology involves:

1. Reviewing the definitions of local, maximal, and minimal extensions of Lie superalgebras.
2. Defining the universal graded Lie superalgebra $U$ associated with a vector space $U_1$ (shifted $V$).
3. Constructing reduced prolongations by specifying subspaces at negative degrees and factoring out specific ideals.
4. Comparing the algebra $L(\mathfrak{g}, V, \Theta)$ (derived from the DGLA perspective) with the tensor hierarchy algebra $P(V, T)$ (derived from the minimal extension perspective).

3. Key Contributions

A. Unification of Constructions

The paper establishes a precise isomorphism between the two previously distinct constructions.

• Main Theorem (Theorem 4.9): If $\mathfrak{g}$ is a simple Lie algebra, $V$ is a faithful $\mathfrak{g}$-module, and $\Theta \neq 0$, then the canonical Lie superalgebra $L = L(\mathfrak{g}, V, \Theta)$ is isomorphic to the tensor hierarchy algebra $P(V, T)$ for a specific subspace $T_{-1} \subset \text{Hom}(V, \text{End } V)$.
• This isomorphism holds modulo ideals concentrated in degrees 3 and higher.

B. Characterization of Lie–Leibniz Triples

The authors formalize the algebraic properties of the triple $(\mathfrak{g}, V, \Theta)$:

• They prove that any Lie–Leibniz triple induces a Leibniz algebra structure on $V$ via the product $u \bullet v = \Theta(u) \cdot v$.
• Conversely, any Leibniz algebra can be reconstructed from a surjective and faithful Lie–Leibniz triple.
• They define strict Lie–Leibniz triples (where $\Theta$ is $\mathfrak{g}$-equivariant) and show that surjective triples are always strict.

C. Structural Analysis via Prolongation

The paper clarifies the relationship between Kantor's universal algebra, prolongation, and embedding tensors:

• The algebra $L(\mathfrak{g}, V, \Theta)$ is identified as a reduced prolongation of the universal algebra associated with $V[-1]$.
• The "reduction" is achieved by factoring out a specific ideal $K$ generated by the kernel of the symmetric part of the Leibniz product.
• The paper distinguishes between maximal extensions (free generation) and minimal extensions (factoring out ideals intersecting the local part trivially), showing that $L(\mathfrak{g}, V, \Theta)$ is the minimal extension of its local part under specific transitivity conditions.

D. DGLA Perspective

The authors demonstrate that the embedding tensor $\Theta$ acts as a Maurer–Cartan element in the graded Lie superalgebra.

• The quadratic constraint $[\Theta, \Theta] = 0$ allows the definition of an inner differential $d_\Theta = [\Theta, \cdot]$.
• This turns the Lie superalgebra into a Differential Graded Lie Algebra (DGLA), providing a functorial link between Lie–Leibniz triples and DGLAs.

4. Key Results

1. Isomorphism Conditions: The isomorphism between the tensor hierarchy algebra and the canonical algebra requires $\mathfrak{g}$ to be simple and $V$ to be faithful. If these conditions are met, the two approaches yield the same algebraic structure up to degree 2.
2. Transitivity: The resulting Lie superalgebra $L(\mathfrak{g}, V, \Theta)$ is $(-2, 2)$-transitive (meaning it has no non-trivial ideals in degrees $\geq -2$ or $\leq 2$ that intersect the local part trivially).
3. Leibniz Algebra Reconstruction: The paper provides a constructive proof that the category of Leibniz algebras is equivalent to the category of surjective, faithful Lie–Leibniz triples.
4. Examples: The paper analyzes specific cases, including:
   • Lie Algebra Crossed Modules: Where $V$ is a Lie algebra and $\Theta$ is equivariant.
   • Augmented Leibniz Algebras: Where the ideal of squares plays a central role.
   • Hemi-semidirect Products: A specific construction of Leibniz algebras from Lie algebras and modules.

5. Significance

• Mathematical Physics: The work provides a rigorous mathematical foundation for the "tensor hierarchy" structures used in gauged supergravity and M-theory. It clarifies that the representation constraints often used in physics (to ensure supersymmetry) are distinct from the quadratic constraints that define the underlying algebraic structure, though they can be related in specific contexts.
• Abstract Algebra: It advances the understanding of Leibniz algebras (non-antisymmetric generalizations of Lie algebras). By linking them to graded Lie superalgebras and DGLAs, it offers new tools for studying their integration and cohomology.
• The Coquecigrue Problem: The paper suggests a pathway to solving the "Coquecigrue problem" (finding a global integration of Leibniz algebras analogous to Lie's third theorem for Lie algebras). By establishing a functorial correspondence between Lie–Leibniz triples and DGLAs, it proposes that integrating the associated DGLA could yield a "Lie-group rack" structure, offering a functorial solution where previous attempts failed.
• Lie $\infty$-algebras: The results hint at a deeper connection to Lie $\infty$-algebras, suggesting that the tensor hierarchy can be viewed as a truncation or specific realization of a higher algebraic structure, bridging the gap between finite-dimensional supergravity models and infinite-dimensional algebraic structures.

In summary, this paper successfully unifies two major algebraic approaches to embedding tensors, proving their equivalence under natural conditions and providing a robust framework for future research in both mathematical physics and non-associative algebra.