Simple unital Jordan superalgebras

Abstract: We prove that a simple unital Jordan superalgebra of arbitrary dimension belongs to the list of known simple unital superalgebras or lies in a certain proper subvariety.

• The paper establishes that all simple unital Jordan superalgebras are either isomorphic to known types or confined within a designated proper subvariety, thereby refining earlier classification conjectures.
• The paper employs advanced techniques from PI-theory, primitive decomposition, and the concept of the heart ideal to analyze structural properties and nilpotency indices.
• The paper demonstrates that potential counterexamples must lie within a highly constrained variety, narrowing the scope for discovering new algebraic structures.

Classification of Simple Unital Jordan Superalgebras

Introduction and Context

The paper "Simple unital Jordan superalgebras" (2606.08354) by Shestakov and Zelmanov addresses the structure theory and classification problem for simple unital Jordan superalgebras over an algebraically closed field of zero characteristic. The work situates itself in the broader mathematical program of extending classical results on Jordan algebras and their special and exceptional structures to the superalgebraic context, incorporating $\mathbb{Z}_2$-grading and deploying advanced tools from PI-theory, structure theory, and representation theory.

Preliminaries: Algebraic Structure and Key Examples

The paper begins by reviewing the foundational theory of Jordan algebras, highlighting the essential dichotomy between special and exceptional Jordan algebras. The canonical exceptional case is the Albert algebra $H(\mathbb{O}_3)$, while all other simple Jordan algebras are classified as either special or forms of $H(\mathbb{O}_3)$ as proven previously.

Extending to the superalgebraic framework, the authors recall the classical constructions:

• Superforms and Clifford superalgebras: Subalgebras arising from vector spaces with symmetric and skew-symmetric bilinear forms, highlighting the dichotomy between even and odd parts.
• Hermitian superalgebras: Superinvolution-invariant subalgebras within associative superalgebras, generalizing the notion of forms and involutions.
• Kantor doubles and Cheng-Kac superalgebras: Constructions encoding Poisson and vector-type brackets, with emphasis on the possibility of non-isomorphic twisted doubles and the role of derivations.
• Exceptional examples: Explicit structures like the Kac $K_{10}$ superalgebra, $D_t$ families, the Kaplansky $k_3$ (not unital), and those associated to $CK_6$ superconformal Lie superalgebras.

These classes provide the arithmetic and categorical backdrop for further structure theory—particularly regarding the interplay of special and exceptional cases in the super setting.

Statement and Implications of the Classification Theorem

The central result of the paper establishes the following dichotomy:

Main Theorem: Let $J$ be a simple unital Jordan superalgebra over a field of zero characteristic. Then either $J$ is isomorphic to one of the known superalgebras (explicitly catalogued, including Hermitian, superform, Kantor double, twisted doubles, and Cheng-Kac types, as well as $K_{10}$) or $H(\mathbb{O}_3)$0 lies in a certain proper subvariety $H(\mathbb{O}_3)$1 defined by a specific ideal of identities.

This result sharpens and formalizes a conjecture of Cantarini and Kac, previously shown for various subclasses (e.g., linearly compact, graded of growth one). The theorem also clarifies that any possible counterexamples to the established list must reside within the highly constrained variety $H(\mathbb{O}_3)$2.

The proof proceeds through a meticulous analysis of primitive and unital Jordan superalgebras, decomposing their structure via the heart ideal $H(\mathbb{O}_3)$3 and leveraging the notions of multiplicative length, modular inner ideals, and PI-type arguments. Particularly striking is the result that:

Main Proposition: If $H(\mathbb{O}_3)$4 is a unital primitive Jordan superalgebra with nonzero odd part and finite multiplicative length, then $H(\mathbb{O}_3)$5 is either $H(\mathbb{O}_3)$6-special or isomorphic to $H(\mathbb{O}_3)$7.

Furthermore, the paper recovers and refines prior results, correcting errors noted in classification papers (such as [ShZ]), and deploying new arguments to extend beyond the finite-dimensional case.

Algebraic and Technical Innovations

Several sophisticated structural insights and tools are employed:

• The notion of the heart $H(\mathbb{O}_3)$8 (intersection of nonzero ideals), expanded for superalgebras and analyzed under algebraic and radical decompositions.
• Exact control on nilpotency indices and strong nilpotency of certain subideals, quantified in terms of the multiplicative length.
• The handling of trace forms and absolute zero divisors of rank $H(\mathbb{O}_3)$9, facilitating the reduction to manageable core submodules and algebras.
• The use of PI-theoretic machinery to bound and control the appearance of new (possibly exceptional) structures, proving that any outlying cases are contained within a variety $H(\mathbb{O}_3)$0 constructed in [Zel5] and characterized by a bounded ideal of identities.
• Techniques to deal with infinite-dimensional algebras, circumventing limitations of previous finiteness assumptions by direct consideration of module structure and generation properties.

Major Claims and Contrasts

The work makes several strong and potentially surprising statements, all of which are justified by exhaustive argumentation:

• All simple unital Jordan superalgebras, except for known explicit lists or those lying in the variety $H(\mathbb{O}_3)$1, are $H(\mathbb{O}_3)$2-special or isomorphic to $H(\mathbb{O}_3)$3.
• There do not exist simple unital Jordan superalgebras with even part $H(\mathbb{O}_3)$4, with $H(\mathbb{O}_3)$5 and $H(\mathbb{O}_3)$6 finite-dimensional or of bilinear form type.
• For infinite-dimensional cases with nontrivial odd modules, the odd part must be finitely generated in terms of the even part, and the associative Clifford algebra machinery is deployed to rule out new simple structures.
• The only possible location for counterexamples to the conjectural list—as yet unobserved—are in the variety $H(\mathbb{O}_3)$7, thus effectively reducing the scope of the classification problem.

Connections, Practical and Theoretical Consequences

The result establishes a strong parallel with the classical theory of Jordan algebras, showing that the super case is, with the explicit exceptions cataloged, similarly rigid. Practically, this means that the landscape of possible simple unital Jordan superalgebraic structures (particularly those appearing in supergeometry, superconformal field theory, and related areas of theoretical physics) is strongly bounded.

The methodologies adopted—particularly those involving the heart decomposition, nilpotent radical analysis, and PI control—have direct analogues in the theory of associative and Lie superalgebras, enriching the available toolkit for superalgebraic classification.

The outlined approach strongly suggests that the only potential for new algebraic phenomena arises in the context of the variety $H(\mathbb{O}_3)$8. Going forward, any claimed new examples must be examined for inclusion in this variety, making $H(\mathbb{O}_3)$9 itself a key locus of algebraic investigation.

Future Directions

The present work essentially completes the classification of simple unital Jordan superalgebras outside of the variety $K_{10}$0, reducing the open classification problem to a detailed understanding of the structure and elements of this variety. Further progress would likely require:

• Detailed study of the identities defining $K_{10}$1.
• Explicit construction or nonexistence results for simple algebras within $K_{10}$2.
• Extension of these methods to positive characteristic, in view of known counterexamples at low characteristics.

Conclusion

This paper provides a comprehensive and highly technical account of the classification of simple unital Jordan superalgebras. It demonstrates that, up to explicit and well-understood exceptional cases, all such objects are special (in the appropriate sense), with any as-yet-unknown examples confined to a specified proper subvariety. The combination of rigorous algebraic structure theory, PI-theory, and module-theoretic arguments creates an authoritative backbone for the ongoing study and application of Jordan superalgebras.