The algebraic and geometric classification of $3$-Poisson algebras

Hani Abdelwahab; Kobiljon Abdurasulov; Ivan Kaygorodov

Home/Archive/arXiv

arXiv · 2610.27300

The algebraic and geometric classification of $3$-Poisson algebras

Hani Abdelwahab·Kobiljon Abdurasulov·Ivan Kaygorodov

View original source ↗Read source document ↗Export metadata ↓

Abstract

$3$-Poisson (ternary Nambu--Poisson) algebras are the algebras of observables of Nambu mechanics, the generalization of Hamiltonian mechanics in which the time evolution $\dot f=\{f,H_1,H_2\}$ is governed by two Hamiltonians and preserves the phase volume; their $3$-Lie part also gives the gauge algebra of the Bagger--Lambert--Gustavsson model of multiple M2-branes. We give the algebraic classification of complex $4$-dimensional $3$-Poisson algebras (seven algebras) and of complex $5$-dimensional nilpotent $3$-Poisson algebras ($38$ algebras and one one-parameter family) with both multiplications non-zero. We also describe the algebraic counterpart of the Inönü--Wigner contractions of physics: the variety of complex $4$-dimensional $3$-Poisson algebras has dimension $16$ and seven irreducible components, one of which is the orbit closure of the simple $3$-Lie algebra of the M2-brane model, and the variety of complex $5$-dimensional nilpotent $3$-Poisson algebras has dimension $20$ and five irreducible components.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Hani Abdelwahab, Kobiljon Abdurasulov, Ivan Kaygorodov. 2026-10-21. The algebraic and geometric classification of $3$-Poisson algebras. https://arxiv.org/abs/2610.27300

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Directed partial orders on the complex number field

We construct a class of positive cones that make $\mathbb{C}$ into a directed partially ordered ring. The positive cones are defined using integral closures of local rings, associated with a transcendence basis and a chosen real generator. A localization criterion also yields such orders on every transcendental extension of $\mathbb{Q}$. For a fixed coefficient field, we prove that two real generators define the same cone if and only if they differ by an affine map with positive real-algebraic slope and translation algebraic over that field. The nonzero positive elements are closed under inversion.

math.RA↗

arXiv2026

Anti-successors and anti-replicators, Manin products and Koszul duality

We develop an operadic theory of anti-splitting and anti-replicating for binary operads. For a binary operad $\opd$, we define its anti-bisuccessor $\ABSu(\opd)$ and anti-trisuccessor $\ATSu(\opd)$. Each generating operation is recovered as the negative sum of two or three split operations, yielding canonical operad morphisms $\opd\to\ABSu(\opd)$ and $\opd\to\ATSu(\opd)$. For binary quadratic operads, these constructions are described by Manin black products: \[ \ABSu(\opd)\cong\antiprelie\bullet\opd, \qquad \ATSu(\opd)\cong\antipostlie\bullet\opd. \] Dually, we also introduce the canonical quadratic anti-duplicator and anti-triplicator, together with their combinatorial counterparts defined by labeled planar binary trees. We show that they coincide precisely under a full-support condition. As applications, we obtain anti-dupli-com and anti-dupli-Lie algebras. We also display an example in which the two constructions differ. Furthermore, we establish the Koszul duality relations \[ \widehat{\ADup}(\opd^!) \cong\ABSu(\opd)^!, \qquad \widehat{\ATrip}(\opd^!) \cong\ATSu(\opd)^!, \] providing an effective description of the canonical quadratic anti-duplicator in terms of the Manin white product. The framework recovers known constructions, including anti-dendriform, anti-pre-Lie and anti-pre-Poisson algebras, and produces further examples and Koszul dual pairs.

math.RA↗

arXiv2026

On the Connected Components of Structure Graphs of Associative Rings

The article studies the notion of the structure graph of an associative ring with unity. It is known that the structural graph of a ring with $n$ elements has at least $n$ connected components. The article investigates when this lower bound is attained. A hypothesis is stated that the only rings of order $n$ having exactly $n$ connected components are the rings $\mathbb{Z}_2$, $\mathbb{Z}_3$, $\mathbb{Z}_7$, $GF(4)$, and their direct sums. The hypothesis is proved for all rings except residue rings modulo a prime of the form $7+12k$, $k\geq181$, and Galois fields of characteristic~2 with extension degree $\geq17$.

math.RA↗