Gelfand--Dorfman Algebras: Nilpotency, Solvability, Construction and Classification

Technical Summary: Gelfand–Dorfman Algebras: Nilpotency, Solvability, Construction and Classification

Problem Statement
Gelfand–Dorfman (GD) algebras are algebraic structures combining a Lie bracket and a Novikov product subject to a specific compatibility identity, originating from the study of Hamiltonian operators in integrable systems. While the properties of nilpotency and solvability for related structures—such as Poisson algebras, generalized Poisson algebras, and transposed Poisson algebras—are well-understood and often determined entirely by the properties of their underlying algebras, the behavior of GD algebras remains less clear. Specifically, it is unknown whether the nilpotency and solvability of a GD algebra are strictly determined by the nilpotency and solvability of its underlying Lie and Novikov algebras. Furthermore, a complete structural classification of low-dimensional GD algebras and a systematic understanding of their "speciality" (embeddability into differential Poisson algebras) were lacking.

Methodology
The authors employ a combination of structural algebraic analysis, representation theory, and explicit classification techniques:

1. Structural Analysis: The paper defines the GD derived series and lower central series to characterize solvability and nilpotency. It utilizes the multiplication algebra $M(A)$ generated by left/right Novikov multiplications and Lie adjoint operators to derive necessary and sufficient conditions for nilpotency.
2. Counterexample Construction: To test the hypothesis that GD properties are inherited from underlying algebras, the authors construct explicit 4-dimensional examples where the underlying Lie and Novikov algebras are nilpotent (or solvable), yet the GD algebra itself is not.
3. Cocycle Theory: For simple Lie algebras, the GD compatibility condition is interpreted as a Chevalley–Eilenberg 1-cocycle condition for the right multiplication map. The authors apply Whitehead's first lemma and Schur's lemma to classify GD products on simple Lie algebras, specifically $\mathfrak{sl}_2(\mathbb{C})$.
4. Construction Methods: Several methods are proposed to generate GD algebras, including extensions from differential Poisson algebras, derivations of Novikov algebras, and semidirect products. These constructions are tested against known "special identities" (specifically degree-4 identities) to distinguish between special and non-special GD algebras.
5. Classification: Using the classification of low-dimensional complex Lie algebras, the authors solve the system of polynomial identities imposed by the Novikov and GD compatibility conditions. They reduce the resulting parameter families using automorphism groups to obtain a complete list of isomorphism classes for dimensions 2 and 3.

Key Contributions and Results

• Nilpotency and Solvability Characterization:

  • The paper proves that for GD algebras of dimension $n \le 3$, nilpotency (respectively solvability) is completely determined by the simultaneous nilpotency (respectively solvability) of the underlying Lie and Novikov algebras.
  • Crucially, the authors provide 4-dimensional counterexamples demonstrating that this characterization fails in general. They establish that an additional condition involving the two-sided ideal generated by operators $R_x \text{ad}_y$ is required for nilpotency.
  • An Engel-type theorem is derived: a GD algebra is nilpotent if the underlying Lie and Novikov algebras are nilpotent and the ideal $IR_{ad}$ is a nil ideal.
  • A characterization of solvability is provided via a "skew-derived tower" $S_n(A)$, showing that a GD algebra is solvable if and only if the underlying Novikov algebra is solvable and the skew-derived tower terminates.

• Speciality and Construction:

  • The authors present construction methods that yield both special and non-special GD algebras.
  • They demonstrate that extensions of special GD algebras (via Proposition 5.5) can result in non-special algebras, detected by the failure of degree-4 special identities.
  • Explicit non-special examples are constructed from both finite-dimensional and infinite-dimensional settings.

• GD Structures on Simple Lie Algebras:

  • Contrasting with Poisson and transposed Poisson algebras (which admit only trivial structures on simple Lie algebras), the paper proves that non-trivial GD algebra structures exist on simple Lie algebras.
  • A complete classification of GD products on $\mathfrak{sl}_2(\mathbb{C})$ is provided. These structures are parametrized by rank-one endomorphisms satisfying specific orthogonality conditions with respect to the Killing form.

• Low-Dimensional Classification:

  • The paper provides a complete algebraic classification of complex GD algebras of dimensions 2 and 3.
  • For dimension 2, 11 families of algebras are identified (including abelian and non-abelian cases).
  • For dimension 3, 61 families are classified.
  • For each classified algebra, the authors determine its nilpotency, solvability, and speciality status. A summary table distinguishes special cases from non-special cases across various underlying Lie algebras (e.g., Heisenberg, $\mathfrak{sl}_2$, and solvable families).

Significance
The paper establishes that GD algebras possess a richer and more rigid structure than their Poisson or transposed Poisson counterparts. The discovery that nilpotency and solvability are not solely determined by underlying algebras in dimension 4 highlights a fundamental complexity in GD theory that does not exist in related algebraic varieties. The existence of non-trivial GD structures on simple Lie algebras further distinguishes GD algebras from other Poisson-type structures. Finally, the comprehensive classification of low-dimensional GD algebras provides a foundational reference for future studies in conformal algebras, integrable systems, and the theory of Novikov algebras. The results also recover and extend known criteria for transposed Poisson algebras as a specific subclass of GD algebras.