🔢 mathematics

Free Reductive Lie Algebra Pairs of Lie-Yamaguti algebras

This paper establishes a left adjoint to the restriction functor from reductive Lie algebra pairs to Lie-Yamaguti algebras to address the non-functoriality of the enveloping algebra construction, while demonstrating that this construction becomes a right adjoint when restricted to surjective morphisms.

Original authors: Saïd Benayadii, Martin Bordemann, Friedrich Wagemann

Published 2026-06-05

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Saïd Benayadii, Martin Bordemann, Friedrich Wagemann

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand two different ways of describing the same complex geometric shape, like a twisted mountain range.

The Two Languages
The paper is about translating between two specific "languages" used by mathematicians to describe these shapes:

The "Reductive Lie Algebra Pair" (RLP) Language: Think of this as describing the mountain by looking at the whole structure. You have a big mountain (a Lie algebra), a specific peak (a subalgebra), and the surrounding valley floor (a complementary space). The rules here are strict: the valley floor must behave nicely when you move around the peak.
The "Lie-Yamaguti Algebra" (LY) Language: This is a more abstract description. Instead of looking at the whole mountain, you only look at the valley floor. You describe it using two tools:
- A twist (a bilinear operation, like how two paths cross).
- A curve (a trilinear operation, like how three paths interact to create a bend).
- These tools must follow six specific rules (like traffic laws) to ensure the geometry makes sense.

The Problem: The One-Way Street
Mathematicians have known for a long time how to translate from the Mountain view (RLP) to the Valley view (LY). It's easy: you just take the valley floor and write down the twist and curve rules. This is a smooth, reliable translation.

However, trying to go the other way—starting with the Valley rules (LY) and building the Mountain (RLP)—has been a nightmare.

The Old Method (The "Enveloping Algebra"): There was a famous recipe to build a mountain from a valley. But the authors discovered a fatal flaw: it doesn't work as a translator. If you have two valleys that are connected by a map, the mountains built from them using this old recipe often break the connection. It's like trying to build two houses based on blueprints, but the doorways don't line up even though the blueprints were compatible. The paper proves this with a specific counter-example (involving matrices) showing the old method fails to be "functorial" (mathematical-speak for "consistent translation").

The Solution 1: The "Free" Mountain (Left Adjoint)
Since the old recipe failed, the authors built a brand new, custom machine to translate from Valley to Mountain.

The Construction: They take the valley floor and create a "Free Reductive Lie Algebra Pair." Imagine taking the valley and building a massive, temporary scaffolding around it. They add extra "bracing" (mathematical ideals) to ensure that when you try to map this new mountain to any other mountain, the doors always line up perfectly.
The Result: This new machine is a Left Adjoint. In plain English, this means it creates the most "generic" or "universal" mountain possible for a given set of valley rules. It's the "purest" mountain you can build from those rules, containing no unnecessary extra features. It's a perfect, one-way bridge from the abstract valley to a concrete mountain structure.

The Solution 2: The "Surjective" Fix (Right Adjoint)
The authors realized that the old, broken recipe (the Enveloping Algebra) wasn't completely useless; it just needed stricter rules to work.

The Restriction: They decided to only allow "surjective" maps. Think of this as only allowing translations where you don't lose any information—every part of the destination must be covered by the source.
The Result: When they restrict the world to only these "full coverage" maps, the old, broken recipe suddenly works! It becomes a Right Adjoint. Now, the old method is a valid translator, but it only works if you promise to keep every single detail intact.

The Big Picture
The paper establishes a perfect mathematical relationship between these two worlds:

From Valley to Mountain: You can build a "Free Mountain" (a universal construction) that perfectly respects the rules.
From Mountain to Valley: You can always strip a mountain down to its valley floor.
The Connection: These two processes are "adjoints." This means they are two sides of the same coin. If you build a Free Mountain from a Valley, and then strip it back down to a Valley, you get exactly what you started with.

A Final Note on the "Heisenberg" Twist
The paper points out a curious difference between their new "Free Mountain" and the old "Enveloping Mountain."

If you start with a "flat" valley (where there is no twist or curve), the old method builds a flat, boring mountain.
The new method, however, builds a mountain that has a hidden "Heisenberg" structure (a specific type of twist). It's like taking a flat piece of paper and folding it into a complex 3D shape just to make sure the translation rules hold up.

In Summary
The authors fixed a broken translation tool between two mathematical languages. They built a new, universal machine to go from abstract rules to concrete structures, and they showed that the old, broken machine can be saved if you promise to keep all the details intact. This allows mathematicians to move freely between these two ways of thinking, knowing the connection is solid.

Technical Summary: Free Reductive Lie Algebra Pairs of Lie-Yamaguti Algebras

Problem Statement
The paper addresses a fundamental categorical disconnect between two classes of algebraic structures: Reductive Lie Algebra Pairs (RLP) and Lie-Yamaguti (LY) algebras. While there exists a well-known construction, denoted as $G'$ , that maps an RLP $(\mathfrak{g}, \mathfrak{h}, \mathfrak{m})$ to an LY algebra $(\mathfrak{m}, T, R)$ by projecting Lie brackets, the reverse direction is problematic. Specifically, the classical construction of an "enveloping Lie algebra" $\hat{\mathfrak{g}}(E)$ for a given LY algebra $E$ fails to be functorial. The authors demonstrate that this assignment cannot be extended to a functor from the category of LY algebras to RLPs because it does not preserve morphisms in the general case. The central problem is to establish a rigorous functorial relationship between these categories and to resolve the non-functoriality of the enveloping algebra construction.

Methodology
The authors employ category theory, specifically the theory of adjoint functors, to restructure the relationship between these algebraic categories. The methodology proceeds in three main stages:

Counter-Example Construction: The authors first provide an explicit counter-example (Example 4) demonstrating that the assignment $E \mapsto \hat{\mathfrak{g}}(E)$ is not functorial. They construct a diagram of Lie triple systems (a specific type of LY algebra) where a morphism $i$ and a surjection $p$ satisfy $p \circ i = \text{id}$ . However, applying the enveloping algebra construction to this diagram leads to a contradiction regarding the injectivity and surjectivity of the induced maps, proving that no such functor $H: \text{LY} \to \text{RLP}$ exists.
Construction of a Left Adjoint (Free Object): To overcome the lack of a direct functor, the authors construct a "free" reductive Lie algebra pair generated by an LY algebra.
- They begin with an LY algebra $(E, T, R)$ and form a preliminary non-associative algebra $\tilde{\mathfrak{g}}(E) = E \oplus \Lambda^2 E$ .
- The bracket on $\tilde{\mathfrak{g}}(E)$ is defined using the LY operations $T$ and $R$ . This bracket is shown to satisfy the Leibniz identity but is not necessarily antisymmetric.
- The authors utilize the theory of Leibniz algebras to identify the specific obstructions to the Lie bracket axioms. They define two-sided ideals $\tilde{I}_1$ (generated by the failure of antisymmetry) and $\tilde{I}_2$ (generated by specific cyclic sum identities derived from the LY axioms).
- By quotienting $\tilde{\mathfrak{g}}(E)$ by the ideal $\tilde{I}(E) = \tilde{I}_1 + \tilde{I}_2$ , they obtain a Lie algebra $\mathfrak{g}(E)$ . This yields a reductive pair $(\mathfrak{g}(E), \mathfrak{h}(E), E)$ where $\mathfrak{h}(E) = \tilde{\mathfrak{g}}(E)/\tilde{I}(E)$ .
- This construction defines a functor $F: \text{LY} \to \text{mRLP}$ (where mRLP is the subcategory of $m$ -generated RLPs).
Restriction to Surjective Morphisms: To recover the classical enveloping algebra $\hat{\mathfrak{g}}(E)$ as a functor, the authors restrict the categories to subcategories containing only surjective morphisms ( $\text{LY}_s$ and $\text{mRLP}_s$ ). They demonstrate that under this restriction, the classical assignment becomes a well-defined covariant functor.

Key Contributions and Results

The Left Adjoint Functor ( $F$ ): The primary result (Theorem 9) is the explicit construction of a functor $F: \text{LY} \to \text{mRLP}$ which is the left adjoint to the restriction functor $G: \text{mRLP} \to \text{LY}$ . This establishes that for any LY algebra $E$ , there exists a universal "free" reductive Lie algebra pair $F(E)$ such that morphisms from $F(E)$ to any $m$ -generated RLP correspond naturally to morphisms from $E$ to the underlying LY algebra of that RLP.
- The construction relies on the quotient of $E \oplus \Lambda^2 E$ by specific ideals derived from Leibniz algebra theory.
- The unit of this adjunction is a natural isomorphism, while the counit is a surjective morphism.
The Right Adjoint Functor ( $\hat{g}$ ): The second main result (Theorem 10) situates the classical enveloping Lie algebra $\hat{\mathfrak{g}}(E)$ within a categorical framework. By restricting to surjective morphisms, the assignment $E \mapsto \hat{\mathfrak{g}}(E)$ becomes a covariant functor $\hat{g}: \text{LY}_s \to \text{mRLP}_s$ .
- This functor $\hat{g}$ is the right adjoint to the restriction of $G$ to the subcategory of surjective morphisms.
- The counit of this second adjunction is an isomorphism, and the unit is a surjective morphism.
Relationship between $F$ and $\hat{g}$ : The paper clarifies the distinction between the free construction $F(E)$ and the classical enveloping algebra $\hat{\mathfrak{g}}(E)$ . For an abelian LY algebra $E$ , $F(E)$ yields a non-abelian Heisenberg-type Lie algebra ( $E \oplus \Lambda^2 E$ ), whereas $\hat{\mathfrak{g}}(E)$ remains abelian. The paper establishes a chain of central extensions connecting these objects for any $m$ -generated RLP:
$\mathfrak{g}(m) \xrightarrow{\epsilon_g} \mathfrak{g} \xrightarrow{\eta_{sg}} \hat{\mathfrak{g}}(m)$
where the kernels of these maps are central ideals.

Significance
The paper claims that its significance lies in resolving the non-functoriality of the enveloping algebra construction through the lens of category theory. By identifying the correct adjoints, the authors provide a "universal construction" (the free RLP) that allows for the translation of properties between LY algebras and RLPs.

The work generalizes previous sketches regarding Lie triple systems (a special case of LY algebras) to the full generality of Lie-Yamaguti algebras. Furthermore, it demonstrates that while the classical enveloping algebra is not a functor in the general category, it regains functoriality and becomes a right adjoint when the morphisms are restricted to surjections. This provides a rigorous categorical foundation for the relationship between the differential geometry of reductive homogeneous spaces (modeled by RLPs) and their algebraic tangent space descriptions (modeled by LY algebras).

More like this