Description of orthogonal vector fields over \(W^\ast\)-algebra of type \(I_2\) (Q2516327): Difference between revisions

Let \(H\) be a complex Hilbert space. A bounded linear mapping \(F:\mathcal{A}\rightarrow H\) is called an orthogonal vector field (OVF) if \[ pq =0 \;(p,q \in \mathcal{A}^{pr}) \Rightarrow \langle F(p), F(q)\rangle=0. \] If a linear mapping \(F\) with the above property is continuous in the \(w^*\)-topology of \(\mathcal{A}\) and the weak topology of \(H\), then it is called a \(w^*\)-continuous OVF. Every \(w^*\)- continuous OVF \(F\) is a bounded linear mapping, and thus, it is an orthogonal vector field. A \(w^*\)-continuous OVF \(F\) is called stationary if there exist positive linear functionals \(\phi, \psi\) from the predual space \(\mathcal{A}_{*}\) of the \(W^{*}\)-algebra \(\mathcal{A}\) such that \[ \langle F(x), F(y)\rangle = \varphi(y^{*}x) + \psi(xy^{*}), \quad x,y \in \mathcal{A}. \] In the present paper, the authors give a characterization of a \(w^*\)-continuous orthogonal vector field \(F\) over a \(W^{*}\)-algebra of type \(I_2\) in terms of reductions of \(F\) on the center of the algebra. As an application, they obtain a new proof of the assertion that an arbitrary \(w^{*}\)-continuous orthogonal vector field over a \(W^{*}\)-algebra of type \(I_2\) is stationary.