Partially Alternative Real Division Algebras With A Few Imaginary Units

Technical Summary: Partially Alternative Real Division Algebras with a Few Imaginary Units

Problem Statement
This paper addresses the classification of four-dimensional unital real division algebras (RDAs) that satisfy a weakened form of the alternativity axiom, termed "partial alternativity." While the classical Frobenius theorem (1878) classifies finite-dimensional associative real division algebras as $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{H}$, and Zorn's theorem (1930) extends this to alternative algebras by adding the octonions $\mathbb{O}$, the landscape of partially alternative algebras remains less explored.

The specific problem investigated is the classification of four-dimensional partially alternative unital RDAs equipped with a reflection (a nontrivial order-2 automorphism) and possessing at least three distinct imaginary units. The authors aim to determine the isomorphism classes of such algebras and characterize their automorphism groups, extending the work initiated in [5].

Methodology
The authors employ a structural approach combining algebraic definitions, quadratic form analysis, and basis reduction techniques:

1. Definitions and General Framework: The paper defines partial alternativity via the vanishing of specific associators $(x, x, y) = 0$, $(x, y, x) = 0$, and $(y, x, x) = 0$ for all imaginary units $x$ and arbitrary elements $y$. It establishes that such algebras must be even-dimensional and analyzes the eigenspace decomposition of the algebra induced by imaginary units.
2. Multiplication Table Reduction: Starting from a general multiplication table $(T_p)$ with eight real parameters derived in [5], the authors utilize the existence of a third imaginary unit and a reflection to perform a change of basis. This process systematically reduces the general table to a canonical form $(T_d)$ dependent on only two structure constants, $g$ and $h$.
3. Division Conditions: The authors derive necessary and sufficient conditions for the algebra to be a division algebra. This involves analyzing two quadratic forms, $p(\gamma, \delta)$ and $q(\gamma, \delta)$, associated with the determinant of the left multiplication operator. They establish that the algebra is a division algebra if and only if $q$ is positive definite and a strict inequality involving $p$ and $q$ holds.
4. Isomorphism and Automorphism Analysis: By analyzing the action of algebra homomorphisms on the set of imaginary units, the authors determine the conditions under which two algebras defined by parameters $(g, h)$ and $(g', h')$ are isomorphic. They further characterize the automorphism groups by identifying inner automorphisms and reflections.
5. Lie Algebra Association: The paper associates a Lie algebra $L(A)$ with each partially alternative RDA via the commutator bracket $[x, y] = xy - yx$. It classifies these Lie algebras based on the number of imaginary units, utilizing Mubarakzyanov's classification of low-dimensional real Lie algebras.

Key Contributions and Results

• Non-Existence in Odd Dimensions: The paper proves that partially alternative algebras do not exist in odd dimensions, as they admit a linear complex structure, necessitating an even-dimensional vector space.
• Canonical Classification: For four-dimensional partially alternative unital RDAs with a reflection and at least three imaginary units, the authors achieve a complete classification. The algebras are isomorphic to a family $A_{g,h}$ defined by the multiplication table $(T_d)$ with parameters $g, h \in \mathbb{R}$.
• Infinite Isomorphism Classes: Contrary to the uniqueness results of Frobenius and Hurwitz for associative and alternative algebras, this paper demonstrates that there are infinitely many distinct isomorphism classes of such partially alternative algebras. The isomorphism condition is established as: $A_{g,h} \cong A_{g',h'}$ if and only if $g = g'$ and $h = \pm h'$.
• Division Criteria: The condition for $A_{g,h}$ to be a division algebra is explicitly given as $g + h^2/4 < 0$.
• Automorphism Groups: The automorphism groups are fully characterized:
  • If $h = 0$ (which implies $g = -1$), the algebra is isomorphic to the real quaternions $\mathbb{H}$, and the automorphism group is isomorphic to $SO(3)$.
  • If $h \neq 0$, the automorphism group is isomorphic to $\mathbb{Z}_2$, generated by a reflection.
• Lie Algebra Classification:
  • If the algebra has at least three imaginary units, the associated Lie algebra is isomorphic to $\mathfrak{g}_1 \oplus \mathfrak{g}_{3,7}$.
  • If the algebra has exactly two imaginary units, the associated Lie algebra can be $\mathfrak{g}_1 \oplus \mathfrak{g}_{3,7}$ or $\mathfrak{g}_{4,9}$ (with zero parameter). The paper proves that the case $\mathfrak{g}_1 \oplus \mathfrak{g}_{3,5}$ is impossible for division algebras.

Significance and Claims
The paper claims to generalize the classical Frobenius and Hurwitz theorems in the four-dimensional setting by relaxing the alternativity constraint to partial alternativity. The primary significance lies in demonstrating that this relaxation fundamentally alters the classification landscape, replacing the uniqueness of the quaternion algebra with an infinite family of non-isomorphic structures.

The authors explicitly state that their work provides a complete classification for the specific case of algebras with a reflection and at least three imaginary units. They modestly note that the classification remains incomplete for algebras that do not admit a reflection or those with exactly two imaginary units (though they provide partial results and Lie algebra classifications for the latter). The paper concludes by identifying open questions, such as whether partial flexibility implies partial alternativity and whether the assumption of a reflection can be omitted in the classification of four-dimensional real division algebras with non-trivial automorphism groups.