Spherical isometries are hyporeflexive (Q1806246)

If \(\mathcal M \subset L(H)\), then \(\mathcal W(\mathcal M)\) is the smallest weakly closed subalgebra of \(L(H)\) containing \(\mathcal M\) and Alg Lat \(\mathcal M\) is the algebra of all operators leaving invariant all subspaces which are invariant for all operators from \(\mathcal M\). \(\mathcal M\) is called reflexive if \(\mathcal W(\mathcal M)=\)Alg Lat \(\mathcal M\). \(\mathcal M\) is called hyporeflexive if \(\mathcal W(\mathcal M)=\)Alg Lat \(\mathcal M\cap \mathcal M^\prime\), where \(\mathcal M^\prime= \{S \in L(H) |TS=ST \;(\forall) \;T \in \mathcal M\}\). A spherical isometry is an \(N\)-tuple \(T=(T_1,T_2,...,T_N)\) of mutually commuting operators on \(H\) satisfying \(T_1^{\star} T_1 + . . . +T_n^{\star} T_n=I_H\). The main result of the paper is that a spherical isometry \(T\) is hyporeflexive \((\mathcal W(T)=\)Alg Lat \(T \cap T')\). The proof of this theorem is a consequence of the following lemma: If \(T\) is a spherical isometry, then Alg Lat \(T \cap T^\prime\) has the property D (i.e. every weakly continuous functional \(\varphi\) on \(T \cap T^\prime\) can be written as \(\varphi(A)= \langle Ax, y \rangle\), \(A \in T \;x,y \in H\)) and of a theorem of \textit{D. H. Hadwin} and \textit{E. A. Nordgren} [J. Oper. Theory 7, 3-23 (1982; Zbl 0483.47023)].