Rank one subspaces of bimodules over maximal abelian selfadjoint algebras (Q1268075)

Consider Hilbert spaces \(H\) and \(K\), and maximal Abelian selfadjoint algebras \(A\) and \(B\) of operators on \(H\), and \(K\), respectively. Next, let \(X\) be a linear space of linear operators from \(H\) to \(K\) which is an \(A,B\)-bimodule in the sense that \(AXB\subset X\). These bimodules are the subject matter of this paper; they generalize the much studied CSL algebras, as well as the CSM spaces introduced more recently by the \textit{J. A. Erdos} [Proc. Lond. Math. Soc., III. Ser. 52, 582-600 (1986; Zbl 0609.47053)]. The rank one subspace of \(X\) is the linear space generated by the rank one operators which belong to \(X\). The module \(X\) is said to be strongly reflexive if it is the reflexive hull (in an appropriate sense introduced by Loginov and Shulman) of its rank one subspace. Among other equivalent conditions, it is shown that \(X\) is strongly reflexive if and only if the rank one subspace is dense in \(X\) in the weak operator topology. Examples are given showing that strong reflexivity does not imply weak density of the unit ball of the rank one subspace in the unit ball of \(X\). The authors provide other examples which are new even in the context of CSL algebras. In an appendix the authors provide a ``coordinate-free'' proof (i.e., a proof not using the representation of a maximal Abelian selfadjoint operators as a function algebra) of a result of W. Arveson concerning transitive algebras. The result is in fact extended to modules.