🔢 mathematics

Remarks on quadratic left Bol algebras

This paper introduces and analyzes quadratic left Bol algebras by providing examples, characterizing their two-dimensional real instances as quadratic Lie triple systems, investigating their dual and coadjoint representations, and defining the concept of T*-extensions.

Original authors: A. Nourou Issa

Published 2026-03-19

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: A. Nourou Issa

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 an architect trying to understand the blueprints of a very strange, non-standard building. In the world of mathematics, "Lie groups" are like perfect, symmetrical buildings (like a cathedral) where everything follows strict, predictable rules. But mathematicians also love to explore "loops" and "Bol algebras," which are like wobbly, magical structures where the usual rules of order don't always apply. If you push a door on the left, it might open on the right, or the order in which you walk through rooms changes the outcome.

This paper, written by A. Nourou Issa, is about finding balance in these wobbly structures.

Here is the breakdown of the paper's ideas using simple analogies:

1. The Problem: The Wobbly Structure

Think of a Bol algebra as a complex machine with two types of gears:

Binary Gears: Two gears turning together (like $x \ast y$ ).
Ternary Gears: Three gears interacting at once (like $[[x, y, z]]$ ).

Usually, these machines are chaotic. The author wants to find a special kind of Bol algebra that has a "Quadratic Structure."

The Analogy: Imagine a scale or a balance beam. A "quadratic" structure means the machine has a built-in perfect scale (a symmetric bilinear form) that weighs every part of the machine. If you move a piece here, the scale tells you exactly how it affects the piece there. It brings a sense of "metric" or "distance" to this chaotic world.

2. The Discovery: The Two-Dimensional Limit

The author investigates these balanced machines of different sizes.

The Finding: When the machine is very small (only two dimensions, like a flat sheet of paper), the author proves a surprising fact: You cannot have a "wobbly" binary gear in a balanced two-dimensional machine.
The Metaphor: If you try to build a balanced, two-dimensional Bol algebra where the two gears actually interact (move each other), the balance scale breaks. The only way to keep it balanced in two dimensions is to remove the "wobble" entirely, turning it into a simpler, more rigid structure called a Lie Triple System.
Translation: In 2D, if you want a balanced Bol algebra, it must actually be a Lie Triple System. The "extra" binary operation must vanish.

3. The Mirror: Dual Representations

The paper then looks at these machines from the "other side."

The Concept: Imagine you have a machine (the algebra) and a mirror (the dual space). Usually, if you look at a reflection, the image is distorted.
The Breakthrough: The author shows that if your machine has that perfect balance scale (is quadratic), you can create a perfect, undistorted reflection called the Coadjoint Representation.
The Metaphor: It's like having a magic mirror. If the object is perfectly balanced, the reflection moves in perfect sync. But if the object is unbalanced (not quadratic), the mirror creates a distorted image that doesn't follow the rules of the original machine. The paper provides the specific "instructions" (conditions) needed to make the mirror work even for unbalanced machines, though it's much harder.

4. The Expansion: The $T^*$ -Extension

Finally, the author introduces a way to build bigger balanced machines out of smaller ones. This is called the $T^*$ -Extension.

The Analogy: Imagine you have a small, balanced toy car. The author shows you how to build a giant, balanced truck by attaching a "shadow trailer" to the back of the car.
How it works: You take your original machine ( $T$ ) and attach its "shadow" (the dual space $T^*$ ) to it.
The Catch: To make sure the new giant truck is still balanced, you have to follow strict rules (called cocycles). These rules ensure that the connection between the car and the trailer doesn't throw off the weight distribution.
The Result: If you do this correctly, you get a new, larger balanced machine. You can repeat this process forever, creating an infinite chain of larger and larger balanced Bol algebras, all starting from one small seed.

Summary

In simple terms, this paper is a guidebook for:

Identifying which chaotic mathematical structures can be perfectly balanced.
Proving that in very small sizes, these balanced structures are actually simpler than they look.
Creating a "magic mirror" to study these structures from a new angle.
Building larger, complex balanced structures by attaching "shadow" versions of smaller ones, provided you follow the strict blueprints (the cocycle conditions).

It's essentially about finding order in chaos and showing how to construct complex, balanced mathematical worlds from simple, balanced building blocks.

1. Problem Statement

The paper addresses the structural theory of Bol algebras, which serve as the tangent algebras for local smooth Bol loops (a non-associative generalization of Lie groups). While the theory of Lie algebras and Lie triple systems is well-developed, the study of quadratic structures (invariant non-degenerate symmetric bilinear forms) on Bol algebras remains less explored compared to Lie-Yamaguti algebras.

The specific problems tackled are:

Defining and characterizing quadratic left Bol algebras.
Investigating dual representations (specifically coadjoint representations) for these algebras.
Determining the existence of quadratic structures in low dimensions (specifically 2D).
Constructing new quadratic Bol algebras from existing ones via $T^*$ -extensions.

2. Methodology

The author employs a rigorous algebraic approach grounded in the theory of non-associative algebras and representation theory:

Axiomatic Definition: The paper establishes the definition of a left Bol algebra $(T, *, [[, , ]])$ and introduces the concept of a quadratic structure via a non-degenerate symmetric bilinear form $b$ satisfying specific invariance conditions (associative for the binary operation and invariant for the ternary operation).
Equivalence Proofs: The author proves the equivalence of left and right invariant conditions for the ternary operation in Lie triple systems, a crucial step for defining quadratic Bol algebras consistently.
Representation Theory: The paper extends the definition of representations for Bol algebras (originally defined in [10]) to their dual spaces. It analyzes the conditions under which the dual of a representation constitutes a valid representation.
Cohomological Construction: The paper utilizes $(2,3)$ -cocycles to define the $T^*$ -extension, a method to construct higher-dimensional quadratic algebras from lower-dimensional ones by extending the vector space with its dual.

3. Key Contributions and Results

A. Definition and Classification of Quadratic Bol Algebras

Definition: A quadratic Bol algebra is defined as a pair $(T, b)$ $(T, b)$ where $T$ $T$ is a left Bol algebra and $b$ $b$ is a non-degenerate symmetric bilinear form satisfying:
1. $b(x * y, z) = b(x, y * z)$ (Associativity condition).
2. $b([[x, y, z]], u) = b([[z, u, x]], y)$ (Right invariance, equivalent to left invariance in this context).
2D Classification Result: A significant negative result is proven: There are no quadratic two-dimensional real Bol algebras with a non-zero binary operation.
- The only quadratic 2D real Bol algebras are those where the binary operation vanishes ( $x * y = 0$ ), reducing them to quadratic Lie triple systems.
- This is demonstrated by showing that for Type II algebras (where $e_1 * e_2 \neq 0$ ), any invariant form $b$ must be degenerate.

B. Dual and Coadjoint Representations

Coadjoint Representation: For a quadratic Bol algebra, the author defines the coadjoint representation $(T^*, l^*, -R^*\iota, L-R^*\iota)$ $(T^{*}, l^{*}, - R^{*} ι, L - R^{*} ι)$ .
- It is proven that if $(T, b)$ is quadratic, the adjoint representation is isomorphic to the coadjoint representation via the map induced by the bilinear form $b$ .
General Dual Representations: For non-quadratic Bol algebras, the standard dual maps do not automatically form a representation. The paper derives necessary and sufficient conditions (Equations 3.4 and 3.5) on the original representation $(\rho, \theta)$ for its dual to be a valid representation.

**C. $T^*$ -Extensions**

Construction: The paper introduces the $T^*$ -extension of a quadratic Bol algebra $(T, b)$ $(T, b)$ by a $(2,3)$ $(2, 3)$ -cocycle $(\nu, \omega)$ $(ν, ω)$ .
- The new algebra is defined on the vector space $T \oplus T^*$ .
- New binary and ternary operations are defined involving the cocycles and the dual representation maps.
Invariance Conditions: The paper establishes that the extended algebra admits an invariant non-degenerate bilinear form $\tilde{b}$ if and only if the cocycles satisfy specific symmetry conditions (Equations 4.5 and 4.6).
Chain of Algebras: This construction allows for the generation of a chain of quadratic Bol algebras of increasing dimension starting from a base quadratic Bol algebra.

D. Connections to Other Structures

Maltsev Algebras: The paper demonstrates that quadratic Maltsev algebras induce quadratic structures on their associated Bol algebras.
Lie Triple Systems: It confirms that the theory of quadratic Bol algebras generalizes that of quadratic Lie triple systems. The $T^*$ -extension for Bol algebras reduces to the known $T^*$ -extension for Lie triple systems when the binary operation is zero.

4. Significance

Structural Rigor: The paper provides a foundational framework for studying metric (quadratic) properties in Bol algebras, filling a gap between the theory of Lie algebras and general non-associative loops.
Dimensional Constraints: The proof regarding the non-existence of non-trivial 2D quadratic Bol algebras clarifies the structural limitations of these algebras in low dimensions, distinguishing them sharply from Lie triple systems.
Construction Tool: The introduction of the $T^*$ -extension provides a powerful tool for generating new examples of quadratic Bol algebras, which is essential for testing conjectures and exploring the classification of these structures.
Representation Theory: By clarifying the conditions for dual representations, the paper enables the application of cohomological methods and duality arguments to Bol algebras, which are crucial for deformation theory and the study of their enveloping Lie algebras.

In summary, A. Nourou Issa successfully extends the theory of quadratic algebras to the Bol setting, establishing the existence of coadjoint representations, defining a mechanism for dimensional extension ( $T^*$ -extension), and delineating the specific constraints on low-dimensional instances of these algebras.