ISRN Algebra

VolumeΒ 2012Β (2012), Article IDΒ 197468, 9 pages

http://dx.doi.org/10.5402/2012/197468

## Tensor Products of Noncommutative -Spaces

Centre of Excellence in Mathematics, CHE, Si Ayutthaya RD, Bangkok 10400, Thailand

Received 27 January 2012; Accepted 1 March 2012

Academic Editor: F.Β Kittaneh

Copyright Β© 2012 Somlak Utudee. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We consider the notion of tensor product of noncommutative spaces associated with finite von Neumann algebras and define the notion of tensor product of Haagerup noncommutative spaces associated with -finite von Neumann algebras.

#### 1. Introduction and Preliminaries

The main goal of this paper is explanation of the notion of tensor products of noncommutative -spaces associated with von Neumann algebras. The notion of tensor products of noncommutative probability spaces was considered by Xu in [1]. We will generalized that notations to the cases of noncommutative -spaces associated with von Neumann algebras.

In this section, we also give some necessary preliminaries on noncommutative -spaces associated with von Neumann algebras and tensor product of von Neumann algebras.

##### 1.1. Noncommutative -Spaces Associated with Semifinite von Neumann Algebras

We denote by an infinite-dimensional von Neumann algebra acting on a separable Hilbert space . Let us define a trace on , the set of all positive elements of .

*Definition 1.1. *Let be a von Neumann algebra.(i)A trace on is a function satisfying the following.(a) for any and any .(b) for any (tracial property).(ii)A trace is faithful if implies .(iii)A trace is normal if for any bounded increasing net in .(iv)A trace is semifinite if for any nonzero there exists a nonzero such that and .(v)A trace is finite if . In this case, we will often assume that it is normalized.

Recall that a von Neumann algebra is called semifinite if any nonzero central projection contains a nonzero finite projection. The following theorem will always used in our construction and can be found in many references (see, e.g., [2β4]).

Theorem 1.2. *A von Neumann algebra is semifinite von Neumann algebra if and only if there exists a faithful normal semifinite trace.*

*Proof. *Let be a von Neumann algebra and a faithful normal semifinite trace. For any nonzero central projection , there exist such that . Then, there exists a nonzero projection and a positive number such that . Thus, is a finite projection. Hence, is semifinite.

Conversely, let be a semifinite von Neumann algebra. We can assume that is a uniform von Neumann algebra, that is, there exists a family of equivalent finite mutually orthogonal projections such that . For each , the von Neumann algebra is finite and it then possesses a finite normal trace . Define a mapping by
where is a partial isometry such that . Then, is a semifinite normal traces on . Since the set of all semifinite normal traces on , obtained in this manner, is sufficient. Then, possesses a faithful normal semifinite trace.

Let be a von Neumann algebra equipped with a faithful normal semifinite trace . For , let
The *noncommutative **-space * associated with is defined as the Banach space completion of . We set equipped with the norm , the operator norm. Note that the usual (commutative) -space is also in the family of noncommutative -space (see, e.g., [1, 5]).

Elements of the noncommutative -space may be identified with unbounded operators.

*Definition 1.3. *Let be a von Neumann algebra equipped with a faithful normal semifinite trace .(i)A linear operator is called affiliated with if for all unitary in the commutant of .(ii)A closed densely defined operator , affiliated with , is called -measurable if for every there exists an orthogonal projection such that and .

For , we have Note that is a Hilbert space with respect to the scalar product .

If is a normal faithful finite trace, then it is normalized, that is, . In this case, is called a *noncommutative probability space*.

##### 1.2. Noncommutative -Spaces Associated with Arbitrary von Neumann Algebras

In this subsection, we will recall the definitions of cross product (see [2]) and Haagerup noncommutative -spaces. For details of the following results in Haagerup noncommutative -spaces, we refer to [1, 5].

Let be a von Neumann algebra on a Hilbert space , the group of all -automorphism of , a locally compact group equipped with its left Haar measure and a homomorphism of group, such that for any , the mapping is continuous for the weak operator topology in . Let be the space of all norm continuous functions defined on and taking values in which have compact supports. We endow it with the inner product: and we denote by the Hilbert space obtained by completion.

For any , the operator is defined by the relations:
whereas for any one defines the unitary operator by the relations
The von Neumann algebra generated in by the operators and , is called the *cross-product* of by the action of and it is denoted by or simply by .

*Remark 1.4. *If is a von Neumann algebra on a separable Hilbert space and is a separable abelian locally compact group acting by -automorphisms of , then the group of the character of acts by -automorphisms of . M. Takesaki has proved that
In particular, if is properly infinite, then .

Let be a von Neumann algebra on a Hilbert space with a faithful normal semifinite weight . Let us recall the noncommutative -space associated with constructed by Haagerup (see, e.g., [1, 5]).

Let denote the one parameter modular automorphism group of on associated with . The group is the only group of -automorphisms of , with respect to which satisfies the KMS-conditions. We consider the cross-product , that is, a von Neumann algebra acting on , generated by the operators , and the operators , defined by It is well known that cross product is semifinite (see [5]). By Theorem 10.29 of [2], there exists a strong operator continuous group of unitary operators in such that

Let be its (unique) faithful normal semifinite trace satisfying
The -algebra of all -measurable operators on affiliated with is denoted by . For each , we define the *Haagerup noncommutative **-spaces* by
We have

For , if and only if , we then define For , is a Banach space equipped with a norm . For , is a quasi-Banach space equipped with a -norm .

It is well known that is independent of up to isometric isomorphism preserving the order and modular structure of (see [6β8]). Sometimes, we denote simply by .

##### 1.3. Tensor Products of von Neumann Algebras

Let be the Hilbert space tensor product of and . For and , the tensor product is the bounded linear operator on uniquely determined by

Let be two von Neumann algebras. The *algebraic tensor product * of and ,
is a -subalgebra of operators on . The von Neumann algebra generated by in is denoted by and it is called *the tensor product of von Neumann algebras * and . Since the map
is a -isomorphism, we can view as a von Neumann subalgebra of . Similarly, we can also view as a von Neumann subalgebra of . By the Tomita commutation theorem, and commute and together generate .

*Example 1.5. *Let be the unit circle equipped with the normalized Lebesque measure dm and a finite von Neumann algebra. Let be consisting of all functions such that
Then, is a finite subdiagonal algebra of (see [5]).

#### 2. Tensor Products of Noncommutative -Spaces Associated with von Neumann Algebras

We first consider the simple case: finite von Neumann algebras.

##### 2.1. Tensor Products of Noncommutative -Spaces Associated with Normal Faithful Finite von Neumann Algebras

Theorem 2.1. *Let and be finite von Neumann algebras equipped with normal faithful normalized traces and , respectively. Then, there exists a normal faithful trace on the tensor product von Neumann algebra such that
*

*Proof. *Since and are normal faithful normalized traces, we can view and as von Neumann algebras acting on and , respectively, by left multiplication. Then, and are the vector states associated to the identities of and of , respectively. That is,
Let be the vector state associated to on . Then, is uniquely determined by for all . Therefore, is tracial and faithful.

is called *the tensor product trace* of and , and we denote it by . Then, we can define the noncommutative -spaces and called it the *noncommutative **-tensor product* of and .

*Example 2.2. *Let us consider two cases (see [1, 5]).(1)Let be a probability space. We can represent as a von Neumann algebra on by multiplication and the integral against is a normal faithful normalized trace on . Let be a noncommutative probability space. Then, is isometric to , the usual -space of -integrable functions from to .(2)Let be equipped with the usual trace Tr and let be a noncommutative probability space. Then, the element of , the noncommutative -tensor product of and can be identified with an infinite matrix with entries in .

##### 2.2. Infinite Tensor Products of Noncommutative -Spaces Associated with Finite von Neumann Algebras

For , let be a von Neumann algebras. The *infinite algebraic tensor product * of is the set of all finite linear combinations of elementary tensors , where and all but finitely many are 1, that is,

First, let us consider infinite tensor products of noncommutative -spaces associated with finite factors.

For , let be a finite factor equipped with a unique normal faithful normalized trace . We have the product state on , defined by
The *infinite von Neumann tensor product * is the weak-closure of the image of the representation of by the left multiplication on the Hilbert space . It is a finite factor with the trace is the extension of , which is the unique normalized trace. is called *the infinite tensor product trace* of and denoted by (see [7]). Then, we can define the noncommutative -spaces and called it the *infinite noncommutative **-tensor product* of .

Next, let us consider the infinite tensor products of noncommutative -Spaces associated with normal faithful finite von Neumann algebras.

Theorem 2.3. *Let be a sequence of finite von Neumann algebras equipped with normal faithful normalized traces . Let . Let be the completion of with respect to the inner product
**
Let be defined by
**
Let be the weak-closure of in . Then, there exists a normal state on such that
*

*Proof. *Let and consider as a von Neumann algebra on by left multiplication. Let
We view as a von Neumann subalgebra of via the inclusion:
Since , . Note that is a unital -algebra and the traces induce a faithful normal state on . Since is faithful, the representation is faithful. Therefore, , and all , can be viewed as subalgebras of . Let the restriction to of the vector state given by . Then, is tracial and faithful. The trace and is the unique normal state on such that

is called *the infinite tensor products of noncommutative **-spaces* of (see [1]).

*Example 2.4. *Let be the full algebra of matrices. Murray and von Neumann proved that the infinite tensor product
produced with respect to the unique normalized trace on , is the unique AFD II-factor (see, e.g., [7]).

##### 2.3. Tensor Products of Noncommutative -Spaces Associated with -Finite von Neumann Algebras

In the case of tensor products of -finite von Neumann algebras, we will apply the *reduction theorem*. This theorem was proved by Haaagerup in 1979 and can be used to reduce the problems on general noncommutative -spaces to the corresponding ones on those associated with finite von Neumann algebras (see, e.g., [6, 8]).

For each , let be a -finite von Neumann algebra. Let be the Haagerup noncommutative -spaces. By the reduction theorem, there exist a Banach space (a quasi Banach space if ), a sequence of finite von Neumann algebras, each equipped with a faithful normal finite trace , and for each an isometric embedding such that(1) for all such that ;(2) is dense in ;(3) is isometric to a subspace of ;(4) and all are 1-complemented in for .

Here, is the tracial noncommutative -space associated with .

Thus, we have a sequence of finite von Neumann algebras. We then have the noncommutative -tensor product . Applying the construction in Section 2.2, we will be able to construct the infinite tensor products of noncommutative -spaces of . Hence, we have the tensor products of noncommutative -spaces of and .

With this setting, if be a sequence of -finite von Neumann algebra, we will also be able to construct the infinite tensor product of noncommutative -spaces associated with -finite von Neumann algebras.

Let be an (arbitrary) von Neumann algebra. Then, admits the following direct sum decomposition: where each is an -finite von Neumann algebra. Using the reduction theorem in general case, the approximation theorem can be extended to the general case as follows.

Let be a general von Neumann algebra and . Let be the Haagerup noncommutative -space associated with . Then, there exist a Banach space (a quasi Banach space if ), a family of finite von Neumann algebras, each equipped with a normal faithful finite trace , and, for each , an isometric embedding such that(1) for all such that ;(2) is dense in ;(3) is isometric to a subspace of ;(4) and all are 1-complemented in for .

Here, is the tracial noncommutative -space associated with .

If we can define the notion of (uncountable) infinite tensor products of noncommutative -spaces associated with finite von Neumann algebras, we should be able to define tensor products of Haagerup noncommutative -spaces.

#### Acknowledgment

This research is supported by the Centre of Excellence in Mathematics, the commission on Higher Education, Thailand.

#### References

- Q. Xu,
*Operator Spaces and Noncommutative L*, Lecture in the Summer School on Banach Spaces and Operator Spaces, Nankai University, China._{p} - S. StrΔtilΔ and L. ZsidΓ³,
*Lectures on von Neumann Algebras*, Abacus Press, Tunbridge Well, Kent, UK, 1979. - G. K. Pedersen, βThe trace in semi-finite von Neumann algebras,β
*Mathematica Scandinavica*, vol. 37, no. 1, pp. 142β144, 1975. View at Google Scholar Β· View at Zentralblatt MATH - M. Takesaki,
*Theory of Operator AlgebrasβI*, Springer, Berlin, Germany, 2003. - G. Pisier and Q. Xu, βNon-commutative ${L}^{p}$-spaces,β in
*Handbook of the Geometry of Banach Spaces*, vol. 2, pp. 1459β1517, North-Holland, Amsterdam, The Netherlands, 2003. View at Publisher Β· View at Google Scholar - U. Haagerup, β${L}_{p}$-spaces associated with an arbitrary von Neumann algebra,β in
*AlgΓ¨bres d'opΓ©rateurs et leurs applications en physique mathΓ©matique (Proc. Colloq., Marseille, 1977)*, vol. 274 of*CNRS International Colloquium*, pp. 175β184, CNRS, Paris, France, 1979. View at Google Scholar Β· View at Zentralblatt MATH - M. Terp,
*L*, Mathematical Institute, Copenhagen University, 1981._{p}Spaces Associated with von Neumann Algebras Notes - U. Haagerup, M. Junge, and Q. Xu, βA reduction method for noncommutative ${L}^{p}$-spaces and applications,β
*Memoirs of the American Mathematical Society*, vol. 331, pp. 691β695, 2000. View at Google Scholar