The algebraic and geometric classification of commutative post-Lie algebras

TL;DR

This paper provides an algebraic and geometric classification of commutative post-Lie algebras, introducing new identities, and classifying low-dimensional cases, revealing structural properties and limitations.

Contribution

It introduces new identities in CPA, develops classification methods for low-dimensional CPA, and provides algebraic and geometric classifications for specific cases.

Findings

No simple nontrivial CPA exists.

Perfect Lie and centrless perfect commutative associative algebras lack nontrivial CPA structures.

Classified 3- and 4-dimensional nilpotent CPA algebraically and geometrically.

Abstract

We study commutative post-Lie algebras $(${\rm CPA}s$)$ from an algebraic point of view. Firstly, we find some new identities in {\rm CPA}, which shows that the commutative multiplication gives a medial and derived commutative associative algebra. As corollaries, we have that there are no simple nontrivial commutative post-Lie algebras and that perfect Lie and centrless perfect commutative associative algebras do not admit nontrivial {\rm CPA} structures. The identities of depolarized {\rm CPA}s are defined. Based on the obtained identities, we developed a method for the classification of $n$-dimensional {\rm CPA}s and gave the algebraic classification of $3$-dimensional {\rm CPA}. We also developed another method for classifying $n$-dimensional nilpotent {\rm CPA}s from nilpotent {\rm CPA}s of smaller dimension and gave the algebraic classification of $4$-dimensional nilpotent {\rm CPA}s. Based on the obtained results, we present the geometric classifications of complex $3$-dimensional and $4$-dimensional nilpotent {\rm CPA}s.