On Arens regularity of projective tensor product of Schatten spaces (Q1983277): Difference between revisions

In the context of normed algebras, Arens regularity means that the two Arens multiplications, defined by \textit{R.~Arens} [Proc. Am. Math. Soc. 2, 839--848 (1951; Zbl 0044.32601)], coincide. \textit{A.~Ülger} [Trans. Am. Math. Soc. 305, No.~2, 623--639 (1988; Zbl 0661.46046)], using bilinear forms on \(A \times B\), when \(A,B\) are Banach algebras, proved that the projective tensor product \(A \otimes^\gamma B\) is Arens regular if and only if any bilinear form on \(A \times B\) is biregular. In particular, he studied Arens regularity for certain Banach algebras, amongst them, for \(1< p<\infty\), \(\ell^p\) under the pointwise multiplication. Based on this, the author turns to the noncommutative analogues of the \(\ell^p\) algebras. So, starting with a Hilbert space \(\mathcal{H}\), he takes the Banach algebra \(S_p(\mathcal{H})\) of all the Schatten \(p\)-class operators on \(\mathcal{H}\) with finite Schatten \(p\)-norm. In his research, the author presents various cases where the projective tensor product of certain Banach algebras fails to be Arens regular. For instance, when \(\mathcal{H}_1, \mathcal{H}_2\) are infinite dimensional Hilbert spaces, then the Banach algebra \(S_2(\mathcal{H}_1) \otimes^\gamma S_2(\mathcal{H}_2)\) is not Arens regular. In the final section of the paper, one of the main results is given, which answers the question for Arens regularity positively. More precisely, when the Hilbert space \(\mathcal{H}\) is separable and \(S_2(\mathcal{H})\) (the Banach algebra of Hilbert-Schmidt operators on \(\mathcal{H}\)) is equipped with the Schur product (defined appropriately via matrices, but unlike the matrix multiplication, it is a commutative one), then it becomes a completely continuous Banach algebra, and in turn, the projective tensor product \(S_2(\mathcal{H}) \otimes^\gamma S_2(\mathcal{H})\) is Arens regular.