Strong Operator Modules and the Haagerup Tensor Product
The paper is mainly devoted to the study of the extended Haagerup tensor product \(X\overline\otimes^h_R Y\) of two spaces. \(B({\mathcal H})\) denotes the space of all bounded linear operators from a Hilbert space \({\mathcal H}\) to itself. For an arbitrary subalgebra \(X_0\) of a von Neumann algebra \(X\), \(X^c_0\) is the relative commutant of \(X_0\) in \(X\). Let \(C\) be the center of the von Neumann algebra \(R\) \((\subseteq B({\mathcal H}))\), and we denote by \(R_\natural\) the space of all normal \(C\)-module homomorphisms from \(R\) to \(C\) equipped with the completely bounded norm. Furthermore, let \((R_\natural\otimes^h_C R_\natural)^\natural\) be the space of all completely bounded \(C\)-module homomorphisms from \(R_\natural\otimes^h_C R_\natural\) to \(C\). The Haagerup tensor product \(X\otimes^h_R Y\) is defined as the quotient of \(X\otimes^h Y\) by the closed subspace generated by all elements of the form \[ xr\otimes y- x\otimes ry\quad (x\in X,\;y\in Y,\;r\in R),\tag{1} \] cf. \textit{B. Magajna} [J. Funct. Anal. 129, No. 2, 325-348 (1995; Zbl 0828.46048)]. By analogy one might conjecture that for weak\(^*\) closed \(R\)-submodules \(X,Y\subseteq B({\mathcal H})\) the tensor product \(X\overline\otimes^h_RY\) coincides with the quotient space of the weak\(^*\) Haagerup tensor product \(X\overline\otimes^h Y\) [of \textit{D. P. Blecher} and \textit{R. R. Smith}, J. Lond. Math. Soc., II. Ser. 45, No. 1, 126-144 (1992; Zbl 0759.46051)] by the weak\(^*\) closed subspace \(N\) generated by all elements of the form (1). However, the author provides with a counterexample. According to Example 3.8, this is not true even in the case \(X= Y= B({\mathcal H})\) if \(R'\) contains no non-zero compact operators for a von Neumann algebra \(R\) \((\subseteq B({\mathcal H}))\). The author shows a variant of the Christensen-Sinclair representation theorem (Theorem 3.9), whereby a result concerning the extension of bilinear maps to the extended Haagerup tensor product is derived. The author proves that if \(R\) is commutative and \(X\), \(Y\) are von Neumann algebras containing \(R\) and contained in \(R'\), then for any subalgebras \(X_0\) of \(X\) and \(Y_0\) of \(Y\) containing \(R\) which are strong as \(R\)-modules, the relative commutant of \(X_0\overline\otimes^h_R Y_0\) in \(X\overline\otimes^h_R Y\) is simply \(X^c_0\overline\otimes^h_R Y^c_0\) (Theorem 5.3). This is a generalization of Blecher-Smith (1992) for the case \(R=\mathbb{C}\). Moreover, the natural map from \(R\overline\otimes^h_C R\) to \((R_\natural\otimes^h_C R_\natural)^\natural\) is shown to be a completely isometric isomorphism (Theorem 7.1). This is also an extension of the result by Blecher-Smith (1992). Lastly all weak\(^*\) closed two-sided ideals of the Banach algebra \(R\overline\otimes^h_C R\) are shown to be determined by central projections (Theorem 8.7). This is a result which is well-known for von Neumann algebras.
- On tensor products of operator modules
- scientific article; zbMATH DE number 1054826
- The Haagerup norm on the tensor product of operator modules
- ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES
- Strongly separable operators on finite dimensional tensor product spaces
- Strongly and weakly separable operators on tensor product spaces
- The Haagerup invariant for tensor products of operator spaces
- Tensor products of operator spaces
- On the tensor products of operators
- Schur tensor product of operator spaces
- Completely bounded module maps and the Haagerup tensor product
- A topology for operator modules over \(W^*\)-algebras
- Duality and normal parts of operator modules
- Duality and operator algebras. I: Automatic weak\(^{\ast}\) continuity and applications
- \(C^*\)-convex sets and completely positive maps
- A characterization and a generalization of \(W^{*}\)-modules
- The Dual of the Haagerup Tensor Product
- Free transport for convex potentials
- The minimal operator module of a Banach module
- A factorization problem for normal completely bounded mappings
- Properly proximal von Neumann algebras
- Fixed points of normal completely positive maps on B\((\mathcal H)\)
This page was built for publication: Strong Operator Modules and the Haagerup Tensor Product
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4344059)
