A DECOMPOSITION OF E 0 -SEMIGROUPS Remus Floricel Abstract. Any E 0 -semigroup of a von Neumann algebra can be uniquely decomposed as the direct sum of an inner E 0 -semigroup and a properly outer E 0 -semigroup. This decomposition is stable under conjugacy and cocycle conjugacy. Introduction An E 0 -semigroup of a von Neumann algebra M is a σ-weakly continuous semigroup ρ = {ρ t : t R + } of unital normal *-endomorphisms of M with ρ 0 = Id. To avoid the classical case of semigroups of automorphisms, it is preferable to assume that ρ t (M) M for all positive t. The study of E 0 -semigroups was initiated by R. Powers in late eighties [Po1], and since then many beautiful results have been obtained, especially in the case of the factor of type I (see [Ar1], [Po2] and the references therein). Special classes of E 0 -semigroups acting on arbitrary von Neumann algebras were also considered and successfully investigated [Ar2], [Ar3]. The aim of this paper is to analyze the structure of E 0 -semigroups that act on arbitrary von Neumann algebras, and to show that the study of such semigroups can be reduced to the study of two canonical classes of E 0 -semigroups. The outline of the paper is as follows: in Section 1 we state background definitions and results that will be needed in the sequel. In Section 2 we introduce the class of inner E 0 -semigroups and the class of properly outer E 0 -semigroups and we prove the main result of this paper: any E 0 -semigroup can be decomposed as the direct sum of an inner E 0 -semigroup and a properly outer E 0 -semigroup. This decomposition is unique. In the last section we discuss the stability of this decomposition under conjugacy and cocycle conjugacy. Finally, we emphasize that all von Neumann algebras we consider in this paper have separable preduals, and all Hilbert spaces are separable. 1. Preliminaries In this section, we collect basic notations and facts about inner endomorphisms of von Neumann algebras. For a detailed treatment of this subject, we refer the reader to [Ro], [Fl]. 1991 Mathematics Subject Classification. Primary 46L40; Secondary 46L55. Key words and phrases. von Neumann algebras, semigroups of endomorphisms. 1
2 REMUS FLORICEL Let M be a von Neumann algebra with center Z(M) and set of projections P(M), and let End(M) be the semigroup of all unital normal *-endomorphisms of M. For ρ, σ End(M), we consider the set of intertwiners Hom M (ρ, σ) = {a M : σ(x)a = aρ(x) for all x M}. Recall ([Ro]) that a Hilbert space in M is a norm-closed linear subspace H of M satisfying the following relations: (1) u u C 1, for every u H; (2) xh {0}, for every x M, x 0. A Hilbert space H in M becomes a genuine (complex) Hilbert space with respect to the following inner product: u, v M 1 = v u, u, v H. An orthonormal basis for H is then given by a family {u i } i I of isometries of M satisfying the Cuntz relations [Cu]: (1.1) u i u j = δ i, j 1 and i I u i u i = 1 where, if I =, then the last sum is understood as convergence with respect to the strong topology of M. As noted by J. Roberts ([Ro, Lemma 2.2]), any Hilbert space H in M gives rise to an endomorphism ρ H of M, uniquely determined by the condition (1.2) H Hom M (Id, ρ H ). In fact, if {u i } i I is an orthonormal basis for H, then ρ H has the following form: (1.3) ρ H (x) = i I u i xu i, x M. Endomorphisms implemented in this way by Hilbert spaces in von Neumann algebras are generically called inner endomorphisms. In order to distinguish among inner endomorphisms implemented by Hilbert spaces having different dimensions, we introduce the following definition: Definition 1.1. Let M be a von Neumann algebra and k N { }. A k-inner endomorphism ρ of M is an endomorphism implemented by a k-dimensional Hilbert space H in M. An orthonormal basis of H will be referred to as an implementing set of ρ. The set of all k-inner endomorphisms of M will be denoted by End k (M). The above definition is consistent in the following sense: Proposition 1.2 ([Fl]). Let M be a von Neumann algebra and k, l N { }. Let ρ 1 End k (M), ρ 2 End l (M), and let {u i } i=1, k, respectively {v j } j=1, l, be an implementing set of ρ 1, respectively ρ 2.Then the following conditions are equivalent: (1) ρ 1 = ρ 2 ; (2) k = l, and there exists a unitary matrix (a ij ) i, j=1,k with coefficients in the center of M such that v j = k i=1 u ia ij, for every j = 1, 2,..., k. The existence of k-inner endomorphisms depends on the type of the von Neumann algebra on which the endomorphisms are acting. For example, if M is a properly infinite von Neumann algebra, then for any k N { } there exists k- inner endomorphisms acting on M. If M is a type I factor, then any ρ End(M)
A DECOMPOSITION OF E 0-SEMIGROUPS 3 is a k-inner endomorphism, where k is the Powers index of ρ, i.e. that k such that Hom M (ρ, ρ) is isomorphic to a factor of type I k ([Ar1], [Po1]). A finite von Neumann algebra does not have k-inner endomorphisms, except for k = 1. Obviously, the 1-inner endomorphisms are exactly the inner automorphisms of M. 2. Two classes of E 0 -semigroups The following proposition gives a characterization of an E 0 -semigroup whose elements are k-inner endomorphisms. Proposition 2.1. Let M be a von Neumann algebra. If {ρ t : t R + } is an E 0 -semigroup acting on M such that then {ρ t : t R +} End (M). {ρ t : t R +} k 2 End k (M), Proof. For any k N { }, k 2, we define A k = {t R + : ρ t End k (M)}. By Proposition 1.2, the sets A k are mutually disjoint sets, some of them possible empty, and (2.1) R + = k 2 A k. Let now k 0 = min{k A k }, and assume k 0 <. If t A k0, then let t 1, t 2 > 0 be such that t = t 1 + t 2. By (2.1), there exist k 1, k 2 {2, 3,... } such that ρ ti End ki (M), i = 1, 2. We then have ρ t = ρ t1 ρ t2 End k1k 2 (M). But ρ t End k0 (M), so, by Proposition 1.2, k 0 = k 1 k 2. This contradicts the minimality of k 0. Thus k 0 =. This proposition leads naturally to the following definition: Definition 2.2. Let M be a von Neumann algebra. We say that an E 0 - semigroup ρ = {ρ t : t R + } of M is inner if ρ t End (M), for all t R +. We shall denote by Einn(M) the set of all inner E 0 -semigroups acting on the Neumann algebra M. We note that the existence of an inner E 0 -semigroup of M makes sense only if M is a properly infinite von Neumann algebra. Remark 2.3. In [Ar1], W. Arveson showed that any E 0 -semigroup of a type I factor is inner. Moreover, we can easily prove that if M is a properly infinite factor acting on some Hilbert space H, then any inner E 0 -semigroup of M can be extended to an E 0 -semigroup of B(H) [Fl]. Therefore we expect to have, and we have large similarities between the class of inner E 0 -semigroups and the class of E 0 - semigroups acting on a type I factor. For example, the inner E 0 -semigroups can be completely characterized in terms of product systems in von Neumann algebras [Fl], similar to Arveson s characterization of E 0 -semigroups of a type I factor [Ar1]. They also can be classified in a way similar to Powers classification [Po2]. We wish to discuss more about these results in a future publication.
4 REMUS FLORICEL We introduce the class of properly outer E 0 -semigroups as follows: Definition 2.4. We say that an E 0 -semigroup ρ = {ρ t : t R + } acting on a von Neumann algebra M is properly outer, if for any central projection p M ρ := {x M : ρ t (x) = x for all t R + }, the E 0 -semigroup ρ Mp := {ρ t Mp : t R + } is not an inner E 0 -semigroup of the von Neumann algebra Mp. Remark 2.5. We can infer from the above definition that any E 0 -semigroup acting on a type II 1 factor is properly outer. E 0 -semigroups on the hyperfinite type II 1 factor were constructed in [Po1]. Proposition 2.6. Let M be a von Neumann algebra and ρ = {ρ t : t R + } be an E 0 -semigroup acting on M. If Q( ρ) := {p P(M) Z(M) M ρ : ρ Mp Einn(Mp)}, then the set Q( ρ) is closed under taking suprema. Proof. We prove this proposition by using a maximality argument, similar to the one in [Ka, Lemma 1.9]. Let {p i } i I Q( ρ) be an arbitrary family of projections, and define p = i I p i. Then p is a central projection of M sitting in M ρ, and we want to show that ρ Mp Einn(Mp). For proving this, we choose by Zorn s lemma a maximal (countable) family {q j } j J of mutually orthogonal central projections of M having the following property: for any j J, there exists i I such that q j p i. As in [Ka, Lemma 1.9], the maximality of the family {q j } j J implies that p = j J Since a direct sum of inner E 0 -semigroups is still an inner E 0 -semigroup, in order to finish this proof it suffices to show that for any j J, (2.2) q j. ρ Mqj Einn(Mq j ). For this, we fix j J and t > 0, and let i I be such that q j p i. Since we can choose an implementing set ρ t Mpi End (Mp i ), {u k (t)} k N Hom Mpi (Id, ρ t Mpi ) of the endomorphism ρ t Mpi. By using (1.3), we have ρ t (q j ) = u k (t)q j u k (t) = q j u k (t)u k (t) = q j p i = q j. k=1 Therefore ρ t Mqj is an endomorphism of Mq j. Moreover, we can easily check that the u k (t)q j satisfy the Cuntz relations (1.1) in Mq j. It then follows that ρ t Mqj is an -inner endomorphism of the von Neumann algebra Mq j with implementing set {u k (t)q j } k N. This establishes (2.2). The proposition is proved. j=1
A DECOMPOSITION OF E 0-SEMIGROUPS 5 Definition 2.7. Let ρ be an E 0 -semigroup acting on a von Neumann algebra M. We define p( ρ) = Q( ρ). Thus p( ρ) is the largest central projection p M ρ such that ρ Mp is an inner E 0 -semigroup of the von Neumann algebra Mp. The two classes of E 0 -semigroups introduced above can be characterized in terms of the projection p( ρ): an E 0 -semigroup ρ is inner if and only if p( ρ) = 1. It is properly outer if and only if p( ρ) = 0. Moreover, the properties of the projection p( ρ) allow us also to decompose the E 0 -semigroup ρ as follows: Theorem 2.8. Let M be a von Neumann algebra and let ρ = {ρ t : t R + } be an E 0 -semigroup acting on M. Then M can be decomposed as a direct sum of von Neumann subalgebras M = M 1 M 2, and, for any t R +, ρ t can be decomposed as a direct sum of endomorphisms such that ρ t = ρ t ρ t, (1) {ρ t : t R + } is an inner E 0 -semigroup acting on M 1, (2) {ρ t : t R + } is a properly outer E 0 -semigroup acting on M 2. This decomposition is unique Proof. First of all, we show the existence of such a decomposition. Indeed, if we define and M 1 := Mp( ρ), M 2 := M(1 p( ρ)), ρ t = ρ t M1, ρ t = ρ t M2, then it is easily seen that this setting gives the required decomposition. Next, we prove that such a decomposition can be uniquely realized. For this, let q M ρ be a central projection of M such that (a) ρ Mq Einn(Mq); (b) ρ M(1 q) is a properly outer E 0 -semigroup of M(1 q). The maximality of the projection p( ρ) implies that q p( ρ), and we claim that we have equality. Indeed, if q p( ρ), then p( ρ)(1 q) is a non-zero central projection in M ρ. By using (b), we obtain that ρ Mp( ρ)(1 q) Einn(Mp( ρ)(1 q)). On the other hand, since Mp( ρ)(1 q) Mp( ρ), relation (a) and an argument similar to that used in the proof of Proposition 2.6 imply that ρ Mp( ρ)(1 q) is an inner E 0 -semigroup acting on Mp( ρ)(1 q). This is a contradiction. The theorem is proved.
6 REMUS FLORICEL 3. Conjugacy and cocycle conjugacy We recall the notions of conjugacy and cocycle conjugacy of E 0 -semigroups acting on von Neumann algebras (cf. [Po1], [Ar1]): Definition 3.1. Let ρ = {ρ t : t R + } and σ = {σ t : t R + } be E 0 - semigroups acting on the von Neumann algebra M, respectively N. We say that ρ and σ are conjugate if there exists a *-isomorphism θ of M onto N such that θ ρ t = σ t θ, for all t R +. ρ and σ are said to be cocycle conjugate if there exists a strongly continuous family of unitaries {u t : t R + } of N such that (i) u s+t = u s σ s (u t ), s, t R + ; (ii) ρ is conjugate to the E 0 -semigroup {Ad(u t ) σ t t R + }. A strongly continuous family of unitaries satisfying (i) will be called a σ-cocycle. The general problem of conjugacy of two arbitrary E 0 -semigroups can be reduced in the following way: Theorem 3.2. Let M be a von Neumann algebra and ρ = {ρ t : t R + }, σ = {σ t : t R + } be two E 0 -semigroups of M decomposed as in Theorem 2.8: ρ t = ρ t ρ t, σ t = σ t σ t, t R +. Then ρ and σ are conjugate if and only if the following conditions are satisfied: (1) The inner E 0 -semigroups ρ = {ρ t : t R + } and σ = {σ t : t R + } are conjugate; (2) The properly outer E 0 -semigroups ρ = {ρ t : t R + } and σ = {σ t : t R + } are conjugate. Proof. ( ) Assume that ρ and σ are conjugate E 0 -semigroups, and let θ Aut(M) be such that θ ρ t = σ t θ, for all t R +. It follows that for any t > 0, we have θ 1 σ t θ Mp( ρ) = ρ t Mp( ρ) = ρ t End (Mp( ρ)). In particular, this last relation implies that θ(p( ρ)) M σ. We claim that σ Mθ(p( ρ)) is an inner E 0 -semigroup of the von Neumann algebra Mθ(p( ρ)). For proving this claim, let t > 0 be fixed, and let {u k (t)} k N Hom Mp( ρ) ( Id, ρt Mp( ρ) ) be an implementing set of the -inner endomorphism ρ t Mp( ρ). x Mp( ρ) and i, j, k N, we have as well as σ t (θ(x))θ(u k (t)) = θ(ρ t (x)u k (t)) = θ(u k (t))θ(x), θ(u i (t)) θ(u j (t)) = δ i,j θ(p( ρ)) and Then for any θ(u k (t))θ(u k (t)) = θ(p( ρ)). In conclusion, {θ(u k (t))} k N Hom Mθ(p( ρ)) ( Id, σt Mθ(p( ρ)) ) and the θ(uk (t)) satisfy the Cuntz relations (1.1). Hence k=1 σ t Mθ(p( ρ)) End (Mθ(p( ρ))),
A DECOMPOSITION OF E 0-SEMIGROUPS 7 so σ Mθ(p( ρ)) is an inner E 0 -semigroup. It then follows from the definition of the projection p( σ) that θ(p( ρ)) p( σ). Since θ is an automorphism, we also have that Thus This relation implies that the mappings ρ Mθ 1 (p( σ)) Einn ( Mθ 1 (p( σ)) ). θ(p( ρ)) = p( σ). θ Mp( ρ) : Mp( ρ) Mp( σ) and θ M(1 p( ρ)) : M(1 p( ρ)) M(1 p( σ)) are *-isomorphisms of von Neumann algebras. By construction, θ Mp( ρ), respectively θ M(1 p( ρ)), implements the conjugacy between ρ = ρ Mp( ρ) and σ = σ Mp( σ), respectively between ρ = ρ M(1 p( ρ)) and σ = σ M(1 p( σ)). ( ) Let θ : Mp( ρ) Mp( σ) and θ : M(1 p( ρ)) M(1 p( σ)) be *- isomorphisms of von Neumann algebras such that for any t R +, θ ρ t = σ t θ, θ ρ t = σ t θ. If we define θ = θ θ Aut(M), then we have θ ρ t = (θ θ ) (ρ t ρ t ) = (θ ρ t) (θ ρ t ) = (σ t θ ) (σ t θ ) = (σ t σ t ) (θ θ ) = σ t θ. This finishes the proof of the theorem. A similar characterization can be established in the case of cocycle conjugacy: Corollary 3.3. Let M be a von Neumann algebra and ρ = {ρ t : t R + }, σ = {σ t : t R + } be two E 0 -semigroups of endomorphisms of M decomposed as in Theorem 2.8: ρ t = ρ t ρ t, σ t = σ t σ t, t R +. Then ρ and σ are cocycle conjugate if and only if the following conditions are satisfied: (1) The inner E 0 -semigroups ρ = {ρ t : t R + } and σ = {σ t : t R + } are cocycle conjugate; (2) The properly outer E 0 -semigroups ρ = {ρ t : t R + } and σ = {σ t : t R + } are cocycle conjugate. Proof. ( ) Let {u t } t R be a σ-cocycle. For any t R +, we define u t := u t p( σ) Mp( σ), u t := u t (1 p( σ)) M(1 p( σ)). It is easily seen that {u t} t R+ is a σ -cocycle and {u t } t R+ is a σ -cocycle. On the other hand, the E 0 -semigroup {Ad(u t ) σ t : t R + } decomposes as where Ad(u t ) σ t = (Ad(u t) σ t) (Ad(u t ) σ t ), t R +, {Ad(u t) σ t : t R + } Einn(Mp( σ)) and {Ad(u t ) σ t : t R + } is a properly outer E 0 -semigroup acting on the von Neumann algebra M(1 p( σ)). The conclusion follows then from Theorem 3.2.
8 REMUS FLORICEL ( ) Let {u t} t R+ be a σ -cocycle and {u t } t R+ be a σ -cocycle. For any t R +, we define u t := u t u t. Clearly, {u t } t R+ is a strongly continuous family of unitaries of M. Moreover, for s, t R +, we have u s σ s (u t ) = (u s u s ) (σ s σ s ) (u t u t ) = u sσ s(u t) u s σ s (u t ) = u s+t u s+t = u s+t. Therefore {u t } t R+ is a σ-cocycle. Then an argument similar to that one used in the proof of Theorem 3.2 shows that the E 0 -semigroups ρ and {Ad(u t ) σ t : t R + } are conjugate. The corollary is proved. Acknowledgment I am grateful to Professor James Mingo for his guidance during the research leading to my doctoral thesis, on which this paper is based. References [Ar1] W. Arveson, Continuous analogues of Fock space, Mem. Amer. Math. Soc., 80, (1989), no. 409. [Ar2] W. Arveson, Minimal E 0 -semigroups, Fields Inst. Commun., 13, (1997), 1 12. [Ar3] W. Arveson, Pure E 0 -semigroups and absorbing states, Comm. Math. Phys., 187, (1997), no. 1, 19 43. [Cu] J. Cuntz, Simple C -algebras generated by isometries, Comm. Math. Phys., 57, (1977), no. 2, 173 185. [Fl] R. Floricel, Endomorphisms of von Neumann algebras, PhD thesis, Queen s University, 2002. [Ka] R. Kallman, A generalization of free action, Duke Math. J., 36, (1969), 781 789. [Po1] R. Powers, An index theory for semigroups of -endomorphisms of B(H) and type II 1 factors, Canad. J. Math., 40, (1988), no. 1, 86 114. [Po2] R. Powers, Possible classification of continuous spatial semigroups of -endomorphisms of B(H), Proc. Sympos. Pure Math., 59, (1996), 161 173. [Ro] J. Roberts, Cross products of von Neumann algebras by group duals, Symposia Mathematica, Vol. XX, (1976), 335 363. Department of Mathematics and Statistics, Queen s University, Kingston, ON, Canada, K7L 3N6 Current address: Department of Mathematics and Statistics, University of Ottawa, Ottawa, ON, Canada, K1N 6N5 E-mail address: floricel@matrix.cc.uottawa.ca