TY - JOUR

T1 - On primitive 3-generated axial algebras of Jordan type

AU - Gorshkov, Ilya

AU - Staroletov, Alexey

PY - 2020/12/1

Y1 - 2020/12/1

N2 - Axial algebras of Jordan type η are commutative algebras generated by idempotents whose adjoint operators have the minimal polynomial dividing (x−1)x(x−η), where η∉{0,1} is fixed, with restrictive multiplication rules. These properties generalize the Peirce decompositions for idempotents in Jordan algebras, where [Formula presented] is replaced with η. In particular, Jordan algebras generated by idempotents are axial algebras of Jordan type [Formula presented]. If [Formula presented] then it is known that axial algebras of Jordan type η are factors of the so-called Matsuo algebras corresponding to 3-transposition groups. We call the generating idempotents axes and say that an axis is primitive if its adjoint operator has 1-dimensional 1-eigenspace. It is known that a subalgebra generated by two primitive axes has dimension at most three. The 3-generated case has been opened so far. We prove that every axial algebra of Jordan type generated by three primitive axes has dimension at most nine. If the dimension is nine and η=1/2 then we either show how to find a proper ideal in this algebra or prove that the algebra is isomorphic to certain Jordan matrix algebras.

AB - Axial algebras of Jordan type η are commutative algebras generated by idempotents whose adjoint operators have the minimal polynomial dividing (x−1)x(x−η), where η∉{0,1} is fixed, with restrictive multiplication rules. These properties generalize the Peirce decompositions for idempotents in Jordan algebras, where [Formula presented] is replaced with η. In particular, Jordan algebras generated by idempotents are axial algebras of Jordan type [Formula presented]. If [Formula presented] then it is known that axial algebras of Jordan type η are factors of the so-called Matsuo algebras corresponding to 3-transposition groups. We call the generating idempotents axes and say that an axis is primitive if its adjoint operator has 1-dimensional 1-eigenspace. It is known that a subalgebra generated by two primitive axes has dimension at most three. The 3-generated case has been opened so far. We prove that every axial algebra of Jordan type generated by three primitive axes has dimension at most nine. If the dimension is nine and η=1/2 then we either show how to find a proper ideal in this algebra or prove that the algebra is isomorphic to certain Jordan matrix algebras.

KW - Axial algebra

KW - Axis

KW - Idempotents

KW - Jordan algebra

KW - Matsuo algebra

UR - http://www.scopus.com/inward/record.url?scp=85089234591&partnerID=8YFLogxK

U2 - 10.1016/j.jalgebra.2020.07.014

DO - 10.1016/j.jalgebra.2020.07.014

M3 - Article

AN - SCOPUS:85089234591

VL - 563

SP - 74

EP - 99

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

ER -