Extremal maps of a Hilbert space equipped with a natural cone (Q1074097): Difference between revisions

Let \({\mathcal M}\) be a von Neumann algebra on H with a cyclic separating vector. Endow H with the natural positive cone \(H^+\) deduced from the Tomita-Takesaki theory. A continuous linear operator \(\Phi\) on H is called an o. d. homomorphism if \(\Phi (H^+)\subset H^+\) and \((\Phi (\xi),\Phi (\eta))=0\) whenever \(\xi,\eta \in H^+\) and \((\xi,\eta)=0\). Denote by \({\mathcal L}(\xi,\eta,H^+)\) the set of all continuous linear operators \(\Phi\) saisfying \(\Phi (H^+)\subset H^+\) and \(\Phi (\xi)=\eta\) where \(\xi\) and \(\eta\) are two positive cyclic separating vectors. It is proved in this paper that all o. d. homomorphisms in \({\mathcal L}(\xi,\eta,H^+)\) are extreme points, and that \({\mathcal M}\) is abelian if and only if for any positive cyclic separating vectors \(\xi\) and \(\eta\), the set of extreme points in \(L(\xi,\eta,H^+)\) equals the set of o. d. homomorphisms in \({\mathcal L}(\xi,\eta,H^+)\).