Peirce gradings and Peirce inner ideals in JBW\(^*\)-triple factors (Q998957)

A Peirce grading of a Jordan\(^*\)-tripe \(A\) consists of subspaces \(J_0\), \(J_1\) and \(J_2\) of \(A\) such that \(A =J_0 \oplus J_1 \oplus J_2\) and they satisfy the usual multiplication laws of the Peirce subspaces generated by a tripotent. A Peirce inner ideal of \(A\) is an inner ideal \(J\) such that both \(J\) and its algebraic annihilator \(J^\perp\) are complemented (according to the notion introduced by \textit{O. Loos} and \textit{E. Neher} [J. Algebra 166, No. 2, 255--295 (1994; Zbl 0827.17032)]) and the generalized Peirce decomposition that they give rise to, \(A =J_0 \oplus J_1 \oplus J_2\), where \(J_0 = J^\perp\), \(J_2 =J\) and \(J_1\) is the intersection of the kernel of \(J\) and \(J^\perp\), is actually a Peirce grading. In the paper under review, the authors prove that when \(A\) is a JBW\(^*\)-factor, for any Peirce grading \((J_0, J_1, J_2)\) of \(A\) in which both \(J_0\) and \(J_2\) are non-zero, both \(J_0\) and \(J_2\) are Peirce inner ideals such that \[ (J_0)_0 =J_2, (J_0)_1 =J_1, (J_0)_2=J_0, \, (J_2)_0 = J_0, (J_2)_1 =J_1, (J_2)_2 = J_2. \] When \(A\) is a rectangular or a continuous hermitian factor every weak\(^*\)-closed inner ideal \(J\) in \(A\) is Peirce, and, provided that \(J^\perp\) is non-zero, \(J^{\perp \perp}\) coincides with \(J\), and the above result is hardily surprising. On the other hand, when \(A\) is a spin triple or one of the two exceptional Cartan factors, most of the weak\(^*\)-closed inner ideals in which are not Peirce, and therefore they cannot occur as the constituents of a Peirce grading.