🔢 mathematics

Nilpotency and Frattini theory for transposed Poisson algebras

This paper establishes a comprehensive theory of nilpotency and Frattini subalgebras for transposed Poisson algebras, proving an analogue of Engel's theorem, characterizing nilpotent and solvable structures via tensor products and derivations, and demonstrating key relationships between the Frattini ideal, derived algebra, and nilpotent radical.

Original authors: Jiarou Jia, Yanyong Hong

Published 2026-04-29

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Jiarou Jia, Yanyong Hong

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 a mathematical universe where objects have two distinct personalities living in harmony. One personality is friendly and cooperative (like a group of friends sharing a pizza, where the order of sharing doesn't matter and everyone gets a slice). The other personality is competitive and rule-bound (like a debate club, where the order of speaking matters and there are strict rules for how arguments clash).

In mathematics, these are called Transposed Poisson Algebras. They are special structures where these two personalities (an "associative" multiplication and a "Lie" bracket) are linked by a specific rule, much like two dancers who must move in sync.

This paper by Jiarou Jin and Yanyong Hong is like a detective story investigating the stability and structure of these mathematical objects. The authors ask: "When do these structures fall apart? When are they perfectly stable? And what are the 'core' parts that hold them together?"

Here is a breakdown of their findings using simple analogies:

1. The "Engel's Theorem" (The Test for Stability)

The authors wanted to know how to tell if a Transposed Poisson Algebra is nilpotent. In plain English, "nilpotent" means the structure eventually runs out of steam. If you keep applying its rules over and over, the result eventually becomes zero (nothing).

The Analogy: Imagine a machine with two gears. One gear turns the "friendly" way, and the other turns the "competitive" way. The paper proves that for the whole machine to eventually stop (become nilpotent), both gears must be broken down individually. If even one gear keeps spinning forever, the whole machine won't stop.
The Result: They proved a rule (an analogue of Engel's Theorem) stating: A structure is nilpotent if and only if both its "friendly" part and its "competitive" part are nilpotent on their own.

2. Building Blocks (Constructions)

The paper also shows how to build new stable structures from old ones.

The Analogy: Think of it like mixing ingredients. If you take a "stable" cake (a nilpotent algebra) and mix it with any other cake, the result is still stable. Similarly, if you take a stable cake and apply a specific "recipe" (a derivation), the result remains stable.
The Result: They showed that you can create new nilpotent algebras by combining them (tensor products) or by using specific mathematical recipes (derivations).

3. The "Frattini" Theory (The Non-Essential Parts)

This is the most complex part of the paper, but the authors use a concept called the Frattini Subalgebra.

The Analogy: Imagine a team of workers. Some workers are essential; if you remove them, the team can't function. Others are non-essential; the team can still run perfectly fine without them. The "Frattini Subalgebra" is the collection of all these non-essential workers.
The Findings:
- Where do they hide? The authors found that these "non-essential" parts are always hidden inside the "derived" part of the structure (the part created by the interaction of the two personalities).
- The "All-Ideals" Rule: If a structure is perfectly stable (nilpotent), then every possible sub-group is an "ideal" (a stable subgroup). In this case, the "non-essential" workers (Frattini) are exactly the same as the "derived" part.
- The Reverse Test: They also proved that if you look at a structure and see that every sub-group is an ideal, the structure is either perfectly stable, or it's a very specific mix of a single "boss" (an idempotent) and a stable core.

4. The "Zero Socle" (The Foundation)

Finally, the paper looks at the Socle, which is the sum of the smallest, most fundamental building blocks of the structure.

The Analogy: Think of a building. The "Socle" is the foundation. The "Zero Socle" is the part of the foundation that is made of the most basic, non-conflicting materials.
The Result: The authors proved that for these specific algebras, the "Zero Socle" is exactly the same thing as the "Nilpotent Radical" (the largest stable core).
The Split: If the "non-essential" part (Frattini ideal) is zero (meaning there are no useless workers), the whole structure splits cleanly into two pieces: a stable core and a "foundation" piece. In the case of these algebras, this foundation piece is "abelian," meaning its competitive part is completely peaceful (no arguments happen there).

Summary

In short, Jin and Hong have mapped out the "anatomy" of Transposed Poisson Algebras. They figured out:

How to test if they are stable (both parts must be stable).
How to build new stable ones.
Where the "useless" parts live (inside the derived algebra).
How the structure breaks down when it has no "useless" parts (it splits into a stable core and a peaceful foundation).

They didn't invent a new machine or cure a disease; they simply wrote the instruction manual for understanding how these specific mathematical shapes hold themselves together.

1. Problem Statement

The paper addresses the structural theory of transposed Poisson algebras, a class of algebraic structures introduced as a dual to Poisson algebras. While Poisson algebras (equipped with a commutative associative product and a Lie bracket satisfying the Leibniz rule) have been extensively studied regarding nilpotency, solvability, and Frattini theory, the corresponding theory for transposed Poisson algebras (where the compatibility condition is $2z \cdot [x, y] = [z \cdot x, y] + [x, z \cdot y]$ ) was largely undeveloped.

The authors aim to:

Establish a rigorous theory of nilpotency and solvability for these algebras.
Develop a Frattini theory (concerning non-generators, maximal subalgebras, and the Frattini subalgebra) specific to this structure.
Determine the relationship between the nilpotent radicals of the underlying associative and Lie structures.

2. Methodology

The authors employ a combination of structural algebraic techniques:

Series Analysis: They analyze the lower central series and derived series of transposed Poisson algebras, proving that the lower central series admits a simplified recursive form ( $A^{k+1} = A \cdot A^k + [A, A^k]$ ).
Operator Theory: They utilize left multiplication operators ( $P_x(y) = x \cdot y$ ) and Lie multiplication operators ( $Q_x(y) = [x, y]$ ) to characterize nilpotency, drawing parallels to Engel's theorem in Lie algebras.
Induction and Decomposition: The proofs frequently rely on induction on the dimension of the algebra, the use of minimal ideals, and the decomposition of algebras via idempotents and direct sums.
Tensor Products and Derivations: They construct new examples and counterexamples using tensor products of transposed Poisson algebras and algebras derived from commutative associative algebras equipped with derivations.
Frattini Characterization: They define the Frattini subalgebra $F(P)$ as the intersection of all maximal subalgebras and the Frattini ideal $\phi(P)$ as the largest ideal contained within $F(P)$ , then investigate their properties relative to the derived algebra and nilpotent radicals.

3. Key Contributions and Results

A. Nilpotency and Engel's Theorem

Simplified Lower Central Series: The authors prove that for a transposed Poisson algebra $P$ , the lower central series term $A^{k+1}$ can be generated simply by $A \cdot A^k + [A, A^k]$ , simplifying the standard dialgebra definition.
Engel's Theorem Analogue: A central result is the establishment of an analogue of Engel's theorem: A finite-dimensional transposed Poisson algebra $P$ is nilpotent if and only if both its underlying associative algebra $(P, \cdot)$ and its underlying Lie algebra $(P, [\cdot, \cdot])$ are nilpotent. Equivalently, $P$ is nilpotent if and only if the operators $P_x$ and $Q_x$ are nilpotent for all $x \in P$ .
Nilpotent Radicals: For a finite-dimensional Lie-nilpotent transposed Poisson algebra, the authors prove that the derived Lie subalgebra $[P, P]$ is a nilpotent ideal. Consequently, the nilpotent radical of the transposed Poisson algebra coincides with the nilpotent radical of its underlying associative algebra ( $Nil(P) = Nil_A(P)$ ).
Constructions: They provide methods to construct nilpotent and solvable transposed Poisson algebras via tensor products and via commutative associative algebras with derivations.

B. Frattini Theory

Containment Properties: The Frattini subalgebra $F(P)$ is always contained in the derived algebra $P^1 = P \cdot P + [P, P]$ . The Frattini ideal $\phi(P)$ is always associative nilpotent.
Nilpotent Case: If $P$ $P$ is nilpotent, then:
- All maximal subalgebras are ideals.
- $F(P) = \phi(P) = J(P)$ (where $J(P)$ is the intersection of all maximal ideals).
- $F(P)$ coincides with the derived algebra $P^1$ .
Converse Results (Lie-nilpotent case):
- If all maximal subalgebras are ideals, the algebra is either nilpotent or decomposes as a direct sum of a 1-dimensional algebra generated by an idempotent and the nilpotent radical ( $P = ke \oplus Nil(P)$ ).
- If $F(P) = P^1$ , the algebra is necessarily nilpotent.
Frattini Index: For nilpotent algebras, the Frattini index is bounded by the solvability index.

C. Socles and Decomposition

Zero Socle and Radical: The authors prove that the zero socle (sum of minimal abelian ideals) coincides with the nilpotent radical ($Zsoc(P) = Nil(P)$) under certain conditions.
Splitting Theorem: If the Frattini ideal $\phi(P)$ is zero, the algebra splits into a direct sum of a subalgebra and its zero socle ( $P = Zsoc(P) \dot{+} U$ ). In the Lie-nilpotent case, the subalgebra $U$ is abelian as a Lie algebra.

4. Significance

This paper is significant for several reasons:

Foundational Theory: It fills a gap in the literature by systematically developing the nilpotency and Frattini theories for transposed Poisson algebras, a structure increasingly relevant in mathematical physics and deformation theory.
Unification of Structures: By proving that the nilpotent radical of a Lie-nilpotent transposed Poisson algebra is determined entirely by its associative structure, the paper clarifies the interplay between the two compatible operations.
Generalization of Classical Results: The results successfully extend classical theorems from group theory (Frattini subgroups), Lie algebras (Engel's theorem, properties of maximal subalgebras), and associative algebras to this more complex, dual-structure setting.
Structural Classification: The characterization of algebras where all maximal subalgebras are ideals provides a powerful tool for classifying finite-dimensional transposed Poisson algebras, distinguishing between strictly nilpotent cases and those with a specific idempotent decomposition.

In summary, Jin and Hong establish that transposed Poisson algebras share deep structural similarities with Poisson algebras and Lie algebras regarding nilpotency and maximal subalgebra structures, while also revealing unique properties arising from their specific compatibility condition.