Jordan modules and Jordan ideals of reflexive algebras (Q1944786): Difference between revisions

Let \(X\) be a real or complex Banach space and let \(B(X)\) be the algebra of bounded linear operators on \(X\). A collection \(\mathcal{L}\) of closed subspaces of \(X\) is called a subspace lattice on \(X\) if \(\mathcal{L}\) contains \(\{0\}\) and \(X\) and is closed under the operations \(\wedge\) and \(\vee\) of intersection and closed linear span, respectively. Let \(\text{Alg} \mathcal{L}\) denote the subalgebra of \(B(X)\) consisting of the operators leaving invariant all the elements of \(\mathcal{L}\). A subspace \(\mathcal{U}\) of \(\text{Alg} \mathcal{L}\) is called reflexive if \[ \mathcal{U}=\{A\in B(X): Ax\in [\mathcal{U}x] \, \text{ for all } x\in X\}, \] where \([\mathcal{U}x]\) is the closed linear subspace generated by the set \(\{Bx: B\in \mathcal{U}\}\). The algebra \(\text{Alg} \mathcal{L}\) endowed with the Jordan product \(\circ\) defined, for all \(A,B\in \text{Alg} \mathcal{L}\), by \[ A\circ B=AB+BA, \] is a Jordan algebra. The ideals and the \(\text{Alg} \mathcal{L}\)-modules for the Jordan product will be referred to as Jordan ideals and Jordan \(\text{Alg} \mathcal{L}\)-modules, respectively. Clearly, \(\text{Alg} \mathcal{L}\)-modules are Jordan \(\text{Alg} \mathcal{L}\)-modules and ideals are Jordan ideals. But when is it the case that a Jordan \(\text{Alg} \mathcal{L}\)-module (respectively, a Jordan ideal) is necessarily an \(\text{Alg} \mathcal{L}\)-module (respectively, an ideal)? In this paper, the authors succeed in obtaining positive results for this question in the setting of completely distributive subspace lattices. Given a completely distributive subspace lattice \(\mathcal{L}\), the main results show that reflexive Jordan ideals of \(\text{Alg} \mathcal{L}\) are ideals and, if \( \mathcal{L}\) satisfies condition (1) below, then every reflexive Jordan \(\text{Alg} \mathcal{L}\)-module is an \(\text{Alg} \mathcal{L}\)-module. The lattice \(\mathcal{L}\) is said to satisfy condition (1) if \[ \dim (F/F\wedge F_-)\neq 1 \qquad \text{ for all } F\in \mathcal{L}, \] where \( F_{-}=\bigvee\{L\in \mathcal{L}: F\nsubseteq L\}. \) By means of a counter-example, the authors show that condition (1) cannot be removed. It is also shown that, whenever the rank one subalgebra of \(\text{Alg} \mathcal{L}\) is weakly dense in \(\text{Alg} \mathcal{L}\), for the same conclusions to hold it suffices that the Jordan \(\text{Alg} \mathcal{L}\)-modules (respectively, the Jordan ideals) be weakly closed.