Idempotent words in finite-dimensional simple Jordan algebras

Abstract

We study finite left-nested Jordan products of idempotents in finite-dimensional simple Jordan algebras over a field $\mathbb{F}$ of characteristic different from $2$. Over an algebraically closed field, the structure theorem reduces the problem to the scalar algebra, spin factors, the full matrix Jordan algebras $M_n(\mathbb{F})^+$, the symmetric matrix algebras $H_n(\mathbb{F})$, the symplectic Hermitian algebras $H_{2n}(\mathbb{F},\mathrm{sp})$, and the split Albert algebra. We determine exactly which elements are representable: except in $H_2(\mathbb{F})$, these are all nonscalar elements together with $0$ and $1$, whereas in $H_2(\mathbb{F})$ the nonzero square-zero elements are also not representable. We also study the minimal word length of representable elements. For $M_n(\mathbb{F})^+$ over an arbitrary field, the maximal word length grows logarithmically in $n$, and for $n=2$ we determine the exact length of every nonscalar matrix. The same logarithmic growth holds for $H_{2n}(\mathbb{F},\mathrm{sp})$. The spin-factor and symmetric-matrix results hold over quadratically closed fields, whereas the full matrix, symplectic Hermitian, and split Albert results hold over arbitrary fields of characteristic different from $2$.