🔢 mathematics

Weak representability of actions of non-associative algebras

This paper investigates the weak representability of internal actions in varieties of non-associative algebras over a field by characterizing specific action-accessible quadratic varieties, constructing a partial algebra called the external weak actor to represent split extensions, and analyzing its relationship with the universal strict general actor.

Original authors: Jose Brox, Xabier García-Martínez, Manuel Mancini, Tim Van der Linden, Corentin Vienne

Published 2026-08-11

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Jose Brox, Xabier García-Martínez, Manuel Mancini, Tim Van der Linden, Corentin Vienne

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

The Secret Language of Shapes and Actions

Imagine the universe of mathematics not as a collection of numbers, but as a vast, bustling city of shapes and rules. In this city, there are different neighborhoods, each with its own strict laws of how things can touch, combine, or change. Some neighborhoods, like the city of Groups, are very orderly: if you combine two things, the order doesn't matter too much, and everything has a perfect "undo" button. Others, like the city of Lie Algebras (used to describe how things rotate and twist in physics), are a bit more chaotic but still follow a specific rhythm.

In this mathematical city, a "split extension" is like a special kind of partnership. Imagine you have a base building (let's call it B) and you want to attach a new wing (X) to it. A "split extension" is a way of attaching that wing so perfectly that you can always pull it back off and see the original building clearly. But here's the magic trick: for this to work, the base building B must "act" on the wing X. It's like B giving X a set of instructions on how to move or change.

For a long time, mathematicians wondered: Can we always find a single, special "instruction manual" (an object) that lists every possible way B could act on X? In some neighborhoods, like the city of Groups, the answer is a resounding "yes." The manual is just the list of all possible symmetries of X. But in other neighborhoods, like the city of Commutative Associative Algebras (think of numbers that you can multiply and add in any order), the answer used to be "no." The instructions were too messy to fit into a single, neat manual.

This brings us to the big question: If we can't find a perfect, all-encompassing manual, can we at least find a "weak" manual? A "weak" manual doesn't have to list every possible instruction in the universe, but it must be able to capture any specific instruction we give it without getting confused. It's like having a universal translator that can understand any language you speak, even if it doesn't speak every language itself. This is the quest for Weak Representability of Actions.

The Paper's Journey: Mapping the Weak Manuals

In this paper, the authors (J. Brox, X. García-Martínez, M. Mancini, T. Van Der Linden, and C. Vienne) set out to explore this "weak manual" concept across a wide range of mathematical neighborhoods called varieties of non-associative algebras. These are places where the rules of multiplication are a bit looser than in standard arithmetic; for instance, $(a \times b) \times c$ might not equal $a \times (b \times c)$ .

The authors' first major discovery is a complete map of a specific, interesting set of neighborhoods: those defined by rules that are "quadratic" (involving three items at a time) and either commutative (order doesn't matter, $a \times b = b \times a$ ) or anti-commutative (swapping order flips the sign, $a \times b = -b \times a$ ).

They found that for several of these neighborhoods, the "weak manual" does exist. Specifically, they proved that:

Commutative Associative Algebras (like standard polynomials) are weakly action representable.
Two-step nilpotent commutative algebras (where multiplying three things in a row always results in zero) are weakly action representable.
Two-step nilpotent anti-commutative algebras (a cousin of the famous Lie algebras) are also weakly action representable.

However, they also clarified what doesn't work. They confirmed that while these algebras have a "weak" manual, they do not have a "perfect" manual (action representable). This is a crucial distinction: you can translate the instructions, but you can't compress them into a single, perfect object that acts as the ultimate boss of all actions.

The "External Weak Actor": A Partial Solution

The paper's second, and perhaps most creative, contribution is the construction of a new tool they call the External Weak Actor, denoted as $E(X)$ .

Imagine you are trying to describe how a complex machine works. Instead of building a full, working model of the machine (which might be impossible), you build a "partial" model. This model has all the right gears and levers, but some of the connections are only defined when you touch them in specific ways. If you try to connect two gears that don't fit, the model simply says, "I can't do that right now," rather than breaking.

The authors define $E(X)$ as this partial algebra. It is a space of "potential actions" (pairs of functions) that satisfies the rules of the algebra only where the rules make sense.

They prove that for any object $X$ , there is a one-to-one link between the "split extensions" (the partnerships) and the "homomorphisms" (the maps) into this partial object $E(X)$ .
In simpler terms: Every way you can attach a wing to a building corresponds to a unique way of mapping that building into this partial "instruction space."

The authors show that in many cases, this partial object $E(X)$ is actually a full, working algebra (a "total" object). When this happens, the "weak manual" becomes a real, usable object within the category. For example:

In the world of Lie algebras (which describe rotations), this partial object turns out to be the standard "derivations" (the usual instruction manual), proving the theory works perfectly there.
In the world of Leibniz algebras, it becomes the "biderivations," another known structure.
For Commutative Associative Algebras, they show that the existence of this weak manual is deeply connected to a property called the Amalgamation Property. Think of this as a rule about how you can glue two shapes together. If you can glue any two shapes together without them falling apart, you can build your weak manual. The authors prove that for commutative associative algebras, this gluing rule holds, which is why the weak manual exists.

What Remains Unknown

The paper is careful not to claim that they have solved everything. They explicitly point out that for some varieties, like Alternative Algebras (which include the famous Octonions) or Novikov Algebras, they cannot yet determine if a "total" weak manual exists. They found that for these cases, the partial object $E(X)$ often fails to become a full algebra, leaving the question of weak representability open.

They also raise a fascinating question: Is it possible that every action-accessible neighborhood (one where partnerships are well-behaved) is also weakly representable? They found no counter-examples in their study, but they haven't proven it's impossible. It remains a mystery whether the "weak manual" is a universal feature of these mathematical cities or just a lucky coincidence for the ones they checked.

The Takeaway

In essence, this paper takes a difficult, abstract problem—how to organize the infinite ways mathematical objects can interact—and builds a flexible, "partial" framework to handle them. They show that even when a perfect, all-encompassing solution doesn't exist, a "good enough" solution often does. By constructing this External Weak Actor, they provide a new lens through which to view the structure of non-associative algebras, turning a potential dead-end into a pathway for future exploration. They didn't just find the answer; they built a better map for the journey.

Technical Summary: Weak Representability of Actions of Non-Associative Algebras

Problem Statement
The paper investigates the categorical-algebraic condition of weak representability of actions (WRA) within varieties of non-associative algebras over a field. In semi-abelian categories, internal actions correspond to split extensions. A category is action representable if, for every object $X$ , the functor of split extensions $\text{SplExt}(-, X)$ is naturally isomorphic to $\text{Hom}(-, [X])$ for some object $[X]$ (the actor). While Lie algebras and groups are action representable, many other varieties (e.g., associative algebras) are not.

The authors focus on the intermediate notion of weak representability, introduced by G. Janelidze. A category is WRA if, for every object $X$ , there exists an object $T$ (a weak actor) and a monomorphism of functors $\tau: \text{SplExt}(-, X) \hookrightarrow \text{Hom}(-, T)$ . The paper aims to:

Characterize which operadic, quadratic varieties of non-associative algebras (specifically those satisfying degree-2 identities) are WRA.
Construct a specific "external weak actor" $E(X)$ for these varieties, providing a concrete partial algebra structure that represents actions via a monomorphism into $\text{Hom}(U(-), E(X))$ , where $U$ is the forgetful functor to partial algebras.

Methodology
The authors work within the framework of semi-abelian categories and varieties of non-associative algebras defined by polynomial identities. Their methodology involves:

Classification via $\lambda/\mu$ -rules: They utilize the characterization of action accessible varieties (which are necessary for WRA) via specific linear identities (the $\lambda/\mu$ -rules) relating the associator to permutations of variables.
Analysis of Derived Actions: They analyze split extensions $0 \to X \to A \to B \to 0$ by studying the derived actions (bilinear maps $l: B \times X \to X$ and $r: X \times B \to X$ ) that satisfy the identities of the specific variety.
Construction of External Weak Actors: For a given variety $V$ and object $X$ , they define a vector space $E(X) \subseteq \text{End}(X)^2$ consisting of pairs of maps $(f \cdot -, - \cdot f)$ that satisfy the variety's identities when applied to elements of $X$ .
Partial Algebra Structure: They endow $E(X)$ with a bilinear partial operation $\langle -, - \rangle$ induced by the $\lambda/\mu$ -rules. This structure allows them to map split extensions to homomorphisms of partial algebras.
Amalgamation Properties: In the case of commutative associative algebras, they relate the existence of a weak actor to the Amalgamation Property (AP), specifically proving that if a diagram of commutative subalgebras of the multiplier algebra $M(X)$ admits an amalgam in the category of associative algebras, it also admits one in the category of commutative associative algebras.
Quadratic Case Algorithm: For quadratic varieties, they employ a systematic algorithm using the reduced row echelon form of the matrix of degree-3 identities to determine the constraints on $E(X)$ and the possible definitions of the partial multiplication.

Key Contributions and Results

Classification of Quadratic Varieties:
The paper provides a complete classification of action accessible, operadic, quadratic varieties with degree-2 identities. It proves that the following are weakly action representable:
- The variety of commutative associative algebras ( $\text{CAssoc}$ ).
- The variety of two-step nilpotent commutative algebras ( $\text{Nil}_2(\text{Com})$ ).
- The variety of two-step nilpotent anti-commutative algebras ( $\text{Nil}_2(\text{ACom})$ ).
- The variety of Jacobi–Jordan algebras ( $\text{JJord}$ ) is shown to be weakly representable via the partial algebra of anti-derivations.
Commutative Associative Algebras and Amalgamation:
The authors prove that $\text{CAssoc}$ is WRA. They establish a necessary and sufficient condition: a weak representation exists if and only if the diagram of commutative subalgebras of the multiplier algebra $M(X)$ admits an amalgam in $\text{CAssoc}$ . They prove that if such an amalgam exists in the larger category of associative algebras ( $\text{Assoc}$ ), it necessarily exists in $\text{CAssoc}$ .
Construction of the External Weak Actor $E(X)$ :
The paper introduces the external weak actor $E(X)$ , a partial algebra constructed from the vector space of pairs of endomorphisms satisfying the variety's identities.
- They prove a monomorphism of functors $\text{SplExt}(-, X) \hookrightarrow \text{Hom}_{\text{PAlg}}(U(-), E(X))$ .
- If $E(X)$ happens to be an object of the variety $V$ (i.e., the partial operation is total and satisfies the identities), then $E(X)$ serves as a weak actor in $V$ .
- They relate $E(X)$ to the Universal Strict General Actor (USGA), noting that $E(X)$ is often easier to construct and can be viewed as the "algebraic closure" of the USGA in specific contexts.
Specific Examples and Computations:
- Lie Algebras: $E(X) \cong \text{Der}(X)$ (the actor).
- Leibniz Algebras: $E(X) \cong \text{Bider}(X)$ (the weak actor).
- Alternative Algebras: For unital alternative algebras (e.g., Octonions), $E(X) \cong X$ , showing they are action representable.
- Nilpotent Algebras: For $k$ -step nilpotent associative algebras ( $k \ge 3$ ), $E(X)$ is an associative algebra but generally not $k$ -step nilpotent, suggesting these subvarieties may not be WRA (an open question).
- Quadratic Varieties: The authors provide an algorithmic approach to determine the structure of $E(X)$ and the parameters defining its multiplication, illustrated with examples like symmetric Leibniz algebras and Poisson algebras.

Significance and Claims
The paper claims to advance the understanding of action representability beyond the strict case of Lie algebras and groups. By introducing the external weak actor $E(X)$ , the authors provide a concrete, computable tool to study actions in varieties where a strict actor does not exist.

The significance lies in:

Extending the Scope: Proving that important non-associative varieties, such as commutative associative algebras, are weakly action representable, despite failing the stricter condition of action representability.
Connecting Concepts: Bridging the gap between abstract categorical definitions (WRA) and concrete algebraic constructions (partial algebras, multipliers, and amalgamation).
Systematic Approach: Offering a general method (via $\lambda/\mu$ -rules and matrix reduction) to analyze the representability of actions for any operadic quadratic variety.

The authors modestly note that while they have characterized many quadratic cases, the behavior of WRA under subvarieties (particularly for higher-degree identities) and the existence of action accessible varieties that are not weakly action representable remain open questions. They also highlight the potential of their construction for studying unitary algebras in ideally exact categories.

The Secret Language of Shapes and Actions

The Paper's Journey: Mapping the Weak Manuals

The "External Weak Actor": A Partial Solution

What Remains Unknown

The Takeaway

More like this