Maximal Injective Real W∗-Subalgebras of Tensor Products of Real W∗-Algebras

Abstract

It is known that injective (complex or real) W∗-algebras with particular factors have been studied well enough. In the arbitrary cases, i.e., in noninjective case, to investigate (up to isomorphism) W∗-algebras is hard enough, in particular, there exist continuum pairwise nonisomorphic noninjective factors of type II. Therefore, it seems interesting to study maximal injective W∗-subalgebras and subfactors. On the other hand, the study of maximal injective W∗-subalgebras and subfactors is also related to the well-known von Neumann’s bicommutant theorem. In the complex case, such subalgebras were investigated by S. Popa, L. Ge, R. Kadison, J. Fang, and J. Shen. In recent years, studies have also begun in the real case. Let us briefly recall the relevance of considering the real case. It is known that in the works of D. Topping and E. Stormer, it was shown that the study of JW-algebras (nonassociative real analogues of von Neumann algebras) of types II and III is essentially reduced to the study of real W∗-algebras of the corresponding type. It turned out that the structure of real W∗-algebras, generally speaking, differs essentially in the complex case. For example, in the finite-dimensional case, in addition to complex and real matrix algebras, quaternions also arise, i.e., matrix algebras over quaternions. In the infinite-dimensional case, it is proved that there exist, up to isomorphism, two real injective factors of typeIIIλ(0<λ<1), and a countable number of pairwise nonisomorphic real injective factors of typeIII0, whose enveloping (complex) W∗-factors are isomorphic, is constructed. It follows from the above that the study of the real analogue of problems in the theory of operator algebras is topical. Moreover, the real analogue is a generalization of the complex case, since the class of real linear operators is much wider than the class of complex linear operators. In this paper, the maximal injective real W∗-subalgebras of real W∗-algebras or real factors are investigated. For real factorsQ⊂R, it is proven that ifQ+iQis a maximal injective W∗-subalgebra inR+iR, thenQalso is a maximal injective real W∗-subalgebra inR. The converse is proved in the case “II1”-factors, that is, it is shown that ifRis a real factor of typeII1, then the maximal injectivity ofQimplies the maximal injectivity ofQ+iQ. Moreover, it is proven that a maximal injective real subfactorQof a real factorRis a maximal injective real W∗-subalgebra inRif and only ifQis irreducible inR, i.e.,Q′∩R=ℝIwhereIis the unit. The “splitting theorem” of Ge-Kadison in the real case is also proven, namely, ifR1is a finite real factor,R2is a finite real W∗-algebra, andRis a real W∗-subalgebra ofR1⊗¯R2containingR1⊗¯ℝI, then there is some real W∗-subalgebraQ2⊂R2such thatR=R1⊗¯Q2. Moreover, it is given some affirmative answers to the question of S. Popa for the real case.