🔢 mathematics

On simple transposed Poisson algebras

This paper establishes a structure theory for finite-dimensional transposed Poisson algebras over algebraically closed fields of characteristic $p>3$ , proving they decompose into unital and nilpotent ideals, classifying the simple ones as Zassenhaus algebras with specific mutations, and determining their representations and isomorphism classes.

Original authors: Amir Fernández Ouaridi

Published 2026-04-30

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Amir Fernández Ouaridi

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 the mathematical world as a giant kitchen where different types of "algebras" are like different recipes for mixing ingredients. Some recipes are very strict (like a rigid cake batter), while others are looser.

This paper is about a specific, somewhat new recipe called a Transposed Poisson Algebra. To understand it, let's break down the ingredients and the chef's discoveries.

The Recipe: What is a Transposed Poisson Algebra?

Usually, in math, there's a famous recipe called a Poisson Algebra. It mixes two ways of combining numbers:

Multiplication: Like normal math (A × B).
Bracketing: A special way of mixing that follows specific rules (like a dance step).

In a standard Poisson recipe, there's a rule called the "Leibniz rule" that tells you how the multiplication and the bracketing interact. Think of it like a rule saying, "If you mix A and B, then dance with C, it's the same as dancing with A and B separately."

The author of this paper, Amir Fernández Ouaridi, looked at this recipe and said, "What if we swap the roles?"
In his Transposed version, the rule is flipped. Instead of the multiplication leading the dance, the dance (the bracket) leads the multiplication. It's like taking a familiar dance and reversing the steps. While it sounds simple, this tiny swap creates a whole new universe of mathematical structures with unique properties.

The Big Discovery: Breaking the Cake Down

The first major part of the paper is about structure. Imagine you have a giant, complex cake (a finite-dimensional algebra). The author proves that no matter how complicated this cake looks, it can always be sliced into two distinct layers:

The "Unit" Layer: A solid, stable base that has a "center" or a "1" (like a standard unit in math).
The "Nilpotent" Layer: A squishy, messy layer that eventually disappears if you keep mixing it with itself (mathematicians call this "nilpotent").

The Analogy: Think of a cocktail. The "Unit" layer is the strong alcohol that defines the drink, and the "Nilpotent" layer is the ice that melts away. The paper proves that every transposed Poisson algebra is essentially a cocktail of these two specific ingredients.

The Main Event: Finding the "Simple" Ones

Mathematicians love finding "Simple" objects. A simple object is one that cannot be broken down further; it has no smaller parts inside it. It's the atomic building block.

The author asked: "What do the simple, unbreakable Transposed Poisson algebras look like?"

He focused on a specific type of math world where the numbers behave differently (called "characteristic p > 3"). In this world, he discovered that:

There is only one family of simple building blocks.
These blocks are based on a specific mathematical structure called the Zassenhaus algebra (think of it as a very specific, rigid lattice).
The "flavor" of these algebras comes from a process called mutation.

The Mutation Metaphor: Imagine you have a standard Lego set (the Zassenhaus algebra). You can build a standard structure. But, if you take a specific Lego brick (let's call it "q") and use it to change how the other bricks connect, you get a new, slightly different structure. The author found that every simple Transposed Poisson algebra in this world is just a standard Zassenhaus algebra that has been "mutated" by a specific brick "q".

He named this family of mutated structures $W_n(q)$ .

The "Isomorphism" Puzzle: Are They the Same?

Once you have a family of structures, a natural question arises: "If I pick a different brick 'q', do I get a completely new structure, or is it just the same structure in disguise?"

The author solved this puzzle. He figured out exactly when two of these mutated algebras are actually the same (mathematically identical, or "isomorphic").

The Rule: Two algebras $W_n(q)$ and $W_n(q')$ are the same if you can transform one into the other using a specific type of mathematical "rotation" or "stretching" (an automorphism).
He provided a "normalized form," which is like a standard ID card for these algebras. No matter how messy the input "q" looks, you can always simplify it to a standard version to see if it matches another.

The Actors: Representations

In math, a "representation" is like casting actors to play the roles of the algebra elements in a play. The author asked: "Who are the actors that can play the roles in these simple algebras?"

He found that for the "unital" (stable) versions of these algebras:

There is a trivial actor: A one-dimensional role where everything is boring and simple.
There is a main cast: A specific set of actors that act exactly like the "regular" way the algebra works on itself.

The Result: He classified every possible "play" (irreducible representation) that these algebras can perform. It turns out there aren't many weird, exotic plays; they are mostly just the standard performance or a variation of it.

Why Should We Care? (The Paper's Own Connections)

The author doesn't just stop at the math; he shows how this connects to other "recipes" in the kitchen:

Weak-Leibniz Algebras: If you take his Transposed Poisson recipe and mix the two ingredients together in a specific way, you get a "Weak-Leibniz" algebra. He shows that the simple ones of these are just his new $W_n(q)$ structures.
Jordan Superalgebras: He shows that if you take his algebra and double it (add a "shadow" version), it creates a "Jordan Superalgebra" that is "special" (meaning it fits neatly into a larger, well-understood framework).
Quasi-Poisson Algebras: He notes that his algebras are a special case of "Quasi-Poisson" algebras, which are used to build "Superconformal" algebras (structures important in theoretical physics).

Summary

In short, this paper takes a newly discovered mathematical structure (Transposed Poisson Algebras), proves that they can always be split into a stable part and a messy part, and then completely classifies the "simple" (unbreakable) versions of them. It turns out they are all variations of a single family of structures ( $W_n(q)$ ) based on a specific lattice, and the author figured out exactly how to tell them apart and how they act.

1. Problem Statement

The paper addresses the classification of simple finite-dimensional transposed Poisson algebras over an algebraically closed field $\mathbb{F}$ of characteristic $p > 3$ .

Context: Transposed Poisson algebras are duals of standard Poisson algebras, where the roles of the associative multiplication ( $\circ$ ) and the Lie bracket ( $[\cdot, \cdot]$ ) in the Leibniz rule are exchanged. The defining identity is:
$2x \circ [y, z] = [x \circ y, z] + [y, x \circ z]$
Motivation: These algebras are equivalent to quasi-Poisson algebras (with the identity map) and commutative Gelfand-Dorfman algebras. They are crucial in constructing simple superconformal Lie algebras and are related to weak-Leibniz algebras and Jordan superalgebras.
The Gap: While the classification of simple Poisson algebras is well-understood (often trivial in the simple case), the structure of simple transposed Poisson algebras in prime characteristic remained open. Previous work showed that in characteristic 0, simple transposed Poisson algebras are trivial. In characteristic $p > 2$ , non-trivial examples exist, but a full classification was lacking.

2. Methodology

The author employs a multi-stage approach combining structural decomposition, cohomological arguments, and representation theory.

A. Structural Decomposition (Section 2)

The paper first establishes a decomposition theorem for finite-dimensional transposed Poisson algebras over algebraically closed fields.

Key Tool: The analysis of $\frac{1}{2}$ -derivations. A linear map $D$ is a $\frac{1}{2}$ -derivation if $2D(xy) = D(x)y + xD(y)$. The transposed Leibniz rule implies that left multiplication operators in the associative part are $\frac{1}{2}$ -derivations of the Lie bracket.
Result: Any finite-dimensional transposed Poisson algebra $P$ $P$ decomposes as a direct sum $P = D \oplus N$ $P = D \oplus N$ , where:
- $D$ is a unital ideal (associative part has a unit).
- $N$ is a nilpotent ideal.
Implication for Simplicity: If $P$ is simple, it cannot be decomposed non-trivially. Thus, a simple transposed Poisson algebra must be either purely unital or purely nilpotent.

B. Identification of the Underlying Lie Algebra (Section 3)

The author restricts the search for simple algebras to those with a specific underlying Lie algebra structure.

Cohomological Argument: Using the transposed Leibniz rule, the author constructs a non-zero commutative 2-cocycle on the underlying Lie algebra $L = (P, [\cdot, \cdot])$ .
Classification of Lie Algebras: It is known that simple Lie algebras admitting non-zero commutative 2-cocycles are restricted. In characteristic $p > 3$ , these are limited to $\mathfrak{sl}_2$ and Zassenhaus algebras $W(1; n)$ .
Exclusion of $\mathfrak{sl}_2$ : The author proves that $\mathfrak{sl}_2$ admits no non-trivial transposed Poisson structures in characteristic $p > 3$ because its centroid coincides with its space of $\frac{1}{2}$ -derivations, forcing the structure to be trivial.
Conclusion: The underlying Lie algebra of any non-trivial simple transposed Poisson algebra in characteristic $p > 3$ must be a Zassenhaus algebra $W(1; n)$ .

C. Construction and Classification (Section 3 & 4)

Construction: The paper constructs transposed Poisson structures on $W(1; n)$ $W (1; n)$ using mutations of an associative commutative algebra.
- Let $(W(1; n), \bullet)$ be a specific commutative algebra structure on the Zassenhaus algebra (isomorphic to the divided powers algebra).
- For a fixed element $q \in W(1; n)$ , a new product is defined: $x \circ_q y = x \bullet q \bullet y$ .
- The Lie bracket remains the standard one on $W(1; n)$ .
- The resulting algebra is denoted $W_n(q)$ .
Isomorphism Problem: The author solves the isomorphism problem for the family $W_n(q)$ . Two algebras $W_n(q)$ and $W_n(q')$ are isomorphic if and only if there exists an automorphism $\Psi$ of the underlying Lie algebra such that $q' = \Psi(e_{-1})^{-2} \bullet \Psi(q)$ .
Normal Forms: Using automorphisms of the divided powers algebra, the author reduces any $q$ to a canonical form involving only specific powers of the generators, effectively classifying the isomorphism classes of these algebras.

D. Representation Theory (Section 5)

The paper determines the irreducible finite-dimensional representations of the unital simple algebras $W_n(q)$ (where $q$ is invertible).

Method: The author utilizes the correspondence between representations of $W_n(q)$ and the "model" algebra $W_n(e_{-1})$ via the invertibility of $q$ .
Key Result: Every irreducible representation of $W_n(q)$ $W_{n} (q)$ is either:
1. The one-dimensional trivial representation.
2. A representation of dimension $p^n$ (the dimension of the algebra itself), constructed via a specific action involving the regular representation of the associative part and a modified Lie action.

3. Key Contributions and Results

Decomposition Theorem: Proved that any finite-dimensional transposed Poisson algebra over an algebraically closed field splits into a unital part and a nilpotent part.
Classification Theorem: Proved that every simple finite-dimensional non-trivial transposed Poisson algebra over an algebraically closed field of characteristic $p > 3$ is isomorphic to an algebra $W_n(q)$ , where the underlying Lie algebra is the Zassenhaus algebra $W(1; n)$ .
Isomorphism Classification: Provided a complete classification of the family $W_n(q)$ up to isomorphism, determining normal forms for the parameter $q$ .
Representation Theory: Determined the complete list of irreducible finite-dimensional representations for the unital case of these algebras.
Conjecture for $p=3$ : Proposed that the classification holds for characteristic 3 as well, though the proof is hindered by the incomplete classification of simple Lie algebras in that specific characteristic.

4. Significance and Applications

Superconformal Algebras: The results provide a modular source for constructing superconformal Lie algebras. The algebras $W_n(q)$ serve as the underlying structures for Billig's construction of superconformal algebras. The paper notes that depending on $q$ , the associated operator $Q = \text{ad}(q^{-1})$ can be nilpotent or diagonalizable, offering a rich variety of modular superconformal structures.
Jordan Superalgebras: The paper proves that the Kantor double of any $W_n(q)$ is a special Jordan superalgebra. This connects transposed Poisson algebras to the theory of special vs. exceptional Jordan superalgebras.
Weak-Leibniz Algebras: The classification yields a complete description of simple finite-dimensional weak-Leibniz algebras in characteristic $p > 3$ , showing they are either associative, Lie, or the "depolarization" of the $W_n(q)$ algebras.
Quasi-Poisson Algebras: Since transposed Poisson algebras are quasi-Poisson algebras with $P=\text{Id}$ , this work classifies a significant subclass of quasi-Poisson algebras, which are fundamental in the study of Hamiltonian operators and integrable systems.

Conclusion

Amir Fernández Ouaridi's paper provides a definitive structure theory for simple transposed Poisson algebras in high prime characteristic. By linking them to Zassenhaus algebras and utilizing the theory of mutations and $\frac{1}{2}$ -derivations, the author not only classifies these algebras but also unlocks their representation theory and their applications in the broader context of non-associative algebra and mathematical physics.