Peirce inner ideals in general position (Q351406)

This note presents some recent advances on Peirce inner ideals and generalized Peirce decomposition. The classical Peirce decomposition associated with a tripotent element \(e\) in a JBW\(^*\)-triple \(A\) is the motivation to introduce and study Peirce inner ideals in \(A\). More concretely, for each element \(J\) in \(\mathcal{I}(A)\), the complete lattice of all weak\(^*\)-closed inner ideals in \(A\), the kernel \(\ker (J )\) of \(J\) is defined to be the set of elements \(a\) in \(A\) satisfying \(\{J, a, J\}=0\), while the annihilator, \(J^{\perp}\), of \(J\) is defined to be the set of elements \(a\) in \(A\) for which \(\{J, a, A\}=0\). For each \(J\) in \(\mathcal{I}(A)\), the JBW\(^*\)-triple \(A\) admits a generalized Peirce decomposition in the form \(A = J_0 \oplus J_1 \oplus J_2\), where, \(J_0 = J^\perp\), \(J_2 = J\), and \(J_1 = \ker(J ) \cap \ker(J^{\perp}).\) The classical Peirce rules hold for the generalised Peirce subspaces, except perhaps the inclusions \(\{ J_j J_k J_l\} \subseteq J_{j-k+l}\), when \((j, k, l)\) coincides with a triplet in the list \((0, 1, 1)\), \((1, 1,0)\), \((1, 0, 1)\), \((2, 1, 1)\), \((1, 1, 2)\), \((1, 2, 1),\) and \((1, 1, 1)\). \(J\) is said to be a Peirce inner ideal when the classical Peirce rules hold in all cases. The author of this note describes the supreme, \(U \vee V \vee W\), of three elements \(U, V,\) and \(W\) in the complete lattice \(\mathcal{I}(A),\) in terms of the Peirce subspaces associated with \(U\), \(V\), and \(W\). This supreme is satisfactorily described in the case in which the triplet \((U,V,W)\) is in general position (that is, \((U, V)\) form a rigidly collinear pair, and \((U,W)\) and \((V,W)\) form orthogonal pairs), the three inner ideals are Peirce and three additional (technical) conditions are satisfied. The author also exhibits an example in the Albert JBW\(^*\)-triple \(H_3 (\mathbb{O})\) to show that none of the assumptions is redundant and, therefore, the result obtained is the best possible.