Solid subalgebras in algebras of Jordan type half

Abstract

The class of algebras of Jordan type $η$ was introduced by Hall, Rehren and Shpectorov in 2015 within the much broader class of axial algebras. Algebras of Jordan type are commutative algebras $A$ over a field of characteristic not $2$, generated by primitive idempotents, called axes, whose adjoint action on $A$ has minimal polynomial dividing $(x-1)x(x-η)$ and where multiplication of eigenvectors follows the rules similar to the Peirce decomposition in Jordan algebras. Naturally, Jordan algebras generated by primitive idempotents are examples of algebras of Jordan type $η=\frac{1}{2}$. Further examples are given by the Matsuo algebras constructed from $3$-transposition groups. These examples exist for all values of $η\neq 0,1$. Jordan algebras and (factors of) Matsuo algebras constitute all currently known examples of algebras of Jordan type and it is conjectured that there are now additional examples. In this paper we introduce the concept of a solid $2$-generated subalgebra, as a subalgebra $J$ such that all primitive idempotents from $J$ are axes of $A$. We prove that, for axes $a,b\in A$, if $(a,b)\notin\{0,\frac{1}{4},1\}$ then $J=\langle\langle a,b\rangle\rangle$ is solid, that is, generic $2$-generated subalgebras are solid. Furthermore, in characteristic zero, $J$ is solid even for the values $(a,b)=0,1$. As a corollary, in characteristic zero, either $A$ has infinitely many axes and an infinite automorphism group, or it is a Matsuo algebra or a factor of Matsuo algebra.

Figures (2)

• Figure 1: Jordan type fusion law $\mathcal{J}(\eta)$
• Figure 2: Jordan type half

Theorems & Definitions (51)

• Conjecture 1
• Theorem 1
• Theorem 2
• Theorem 3
• Conjecture 2
• Definition 2.1
• Definition 2.2
• Definition 2.3
• Definition 2.4
• Definition 2.5