ISOMETRIES BETWEEN PROJECTION LATTICES OF VON NEUMANN ALGEBRAS arxiv: v2 [math.oa] 22 Oct 2018

Transcription

1 ISOMETRIES BETWEEN PROJECTION LATTICES OF VON NEUMANN ALGEBRAS arxiv: v [math.oa] Oct 018 MICHIYA MORI Abstract. We investigate surjective isometries between projection lattices of two von Neumann algebras. We show that such a mapping is characterized by means of Jordan -isomorphisms. In particular, we prove that two von Neumann algebras without type I 1 direct summands are Jordan -isomorphic if and only if their projection lattices are isometric. Our theorem extends the recent result for type I factors by G.P. Gehér and P. Šemrl, which is a generalization of Wigner s theorem. 1. Introduction The study of isometries between operator algebras has a long history. The first achievement in this field dates bac to 1951 by Kadison [7]. He proved that if φ: A B is a complex linear surjective isometry between two unital C -algebras, then φ1) is a unitary operator in B and the mapping x φ1) 1 φx), x A is a Jordan -isomorphism. A linear bijection J: A B between two C - algebras is called a Jordan -isomorphism if it satisfies Jx ) = Jx) and Jxy + yx) = Jx)Jy) +Jy)Jx) for any x,y A.) On the other hand, recall that the celebrated Mazur-Ulam theorem asserts that every surjective isometry between two Banach spaces is affine. Also, Maniewicz s generalization[9] of this theorem states that every surjective isometry between open connected subsets of Banach spaces is affine. This gives rise to a question which ass whether an analogous result holds for isometries between substructures of operator algebras. In recent years, there have been several great developments in such a study. Hatori and Molnár proved that every surjective isometry between unitary groups of two von Neumann algebras extends uniquely to a real linear surjective isometry [6]. Tanaa applied this theorem to consider Tingley s problem for finite von Neumann algebras [18]. Tingley s problem ass whether every surjective isometry between unit spheres of two Banach spaces admits a real linear extension. Stimulated by Tanaa s research, Tingley s problem began to be considered in various settings of operator algebras. See [11], [14] and [1] for latest progresses in such a study. In this paper, we consider surjective isometries between projection lattices of two von Neumann algebras. Since projection lattices play very important roles in the theory of von Neumann algebra, it is natural to as whether a result similar to Hatori and Molnár s theorem holds for isometries between projection lattices. Here we give an observation which seems to imply an affirmative answer to this question. Let M be a von Neumann algebra. The symbol PM) denotes the projection lattice of M, and the symbol UM) means the unitary group of M. 010 Mathematics Subject Classification. Primary 47B49, Secondary 46L10. Key words and phrases. von Neumann algebra; projection; isometry; Grassmann space.

2 M. MORI That is, PM) := {p M p = p = p } and UM) := {u M u u = 1 = uu }. Consider two projections p 1 := diag1,0), p := diag0,1) PM M)). Then we have { p PM M)) p p 1 = 1 } = p p = { 1 ) 1 u u u UM)}. 1 This set is isometric to UM)/ = {u/ u UM)}. By the Hatori-Molnár theorem, this set contains much information about M. It is well-nown that the distance between two distinct connected components in the projection lattice of a von Neumann algebra is always 1. Thus, in order to consider surjective isometries between projection lattices of von Neumann algebras, it suffices to consider isometries between connected components. In this paper, a connected component in PM) which contains more than one element is called a Grassmann space in M. We now that every Jordan -isomorphism between two von Neumann algebras restricts to isometries between Grassmann spaces. Another example of an isometry between Grassmann spaces on M can be obtained by the mapping p p := 1 p). In this paper, we show that every surjective isometry between Grassmann spaces can be decomposed to such mappings Theorem.1). As for the case M = BH), the researchof isometries between Grassmann spaces is motivated by Wigner s unitary-antiunitary theorem. Wigner s theorem plays an important role in the mathematical foundation of quantum mechanics. Let P 1 H) stand for the collection of ran 1 projections on a complex Hilbert space H. Note that P 1 H) is a Grassmann space in BH). Wigner s theorem shows that every surjective isometry from P 1 H) onto itself extends to a Jordan -automorphism on BH). See Introduction of[1]. After several attempts e.g. [1], [4]) to generalize this result, Gehér and Šemrl recently gave complete descriptions of surjective isometries between two Grassmann spaces in BH) [5]. They made use of the idea of geodesics between two projections, which is also essential in our proof of Theorem.1. See also [16], [3], [13] and [10], [15], in which mappings between projection lattices with an assumption which is different from ours are studied. In Section, wegivethe proofoftheorem.1. Throughoutthe proof, we depend on the idea by Gehér and Šemrl for BH) in [5], but we need more discussions in order to consider general von Neumann algebras. Our strategy is as follows. We see that we may assume every projection in the Grassmann spaces is finite or properly infinite, and the mapping preserves orthogonality in both directions. By the Hatori-Molnár theorem combined with the idea about M M) as above, we can construct a Jordan -isomorphism between small subspaces. Using that, we extend the given mapping to a bijection between whole projection lattices which preserves orthogonality in both directions. Finally, we mae use of a theorem due to Dye [] to complete the proof. In Section 3, by means of Theorem.1, we consider surjective isometries between projection lattices. We show that two von Neumann algebras without type I 1 direct summands are Jordan -isomorphic if and only if their projection lattices are isometric Theorem 3.1). We also consider concrete cases when two von Neumann algebras are factors.

3 ISOMETRIES BETWEEN PROJECTION LATTICES 3. Isometries between Grassmann spaces In this section, we use standard terminology and basic properties concerning geometry of projection lattices. See for example [8, Chapter 6] or [17, Chapter V.1]. Let M be a von Neumann algebra. The symbol zp) denotes the central support of p for a projection p PM). Let P be a Grassmann space in M and p P. It is an elementary exercise to show that a projection q PM) belongs to P if and only if p is unitarily equivalent to q in M. Thus the pair zp),zp )) of central projections does not depend on the choice of p P. In this paper, a Grassmann space P in M is said to be proper if zp) = 1 = zp ) for every p P. Fix a projection p 0 P. The mapping p pzp 0 )zp 0 ) determines a bijection from P onto a proper Grassmann space in the von Neumann algebra Mzp 0 )zp 0 ). Therefore, in order to consider surjective isometries between Grassmann spaces, we may assume that these Grassmann spaces are proper. The main theorem of this section is the following one: Theorem.1. Let M,N be von Neumann algebras and P M, Q N be proper Grassmann spaces. Suppose T : P Q is a surjective isometry. Then there exist a Jordan -isomorphism J: M N and a central projection r PN) which satisfy Tp) = Jp)r +Jp )r, p P. We construct this section to someextent alongthe lines ofthe paper [5] by Gehér and Šemrl. First we give a generalizationof Halmos two projections theorem in the setting of von Neumann algebras. The following result is nown among operator algebraists see for example [17, pp ]), but we concisely give its proof here. Lemma.. Let p,q be projections in a von Neumann algebra M BH). Then there exist a partial isometry v M and positive elements a,b M which satisfy the following conditions: vv = p p q p q, v v = p p q p q, a +b = p p q p q, q p q p q = a +abv +v ba+v b v. Proof. Put e 1 := p p q p q and e := p p q p q. It follows that the rangeprojectionofx:= e 1 q p q p q)e ise 1, and therangeprojectionofx is e. Let x = v x = x v be the polar decomposition. Then vv = ) e 1 and v v = e. e1 ye We can identify each y e 1 +e )Me 1 +e ) with 1 e 1 yv vye 1 vyv M e 1 Me 1 ). Then q p q p q e 1 +e ) is identified with ) e1 q p q p q)e 1 e 1 q p q p q)v vq p q p q)e 1 vq p q p q)v ) e1 q p q p = q)e 1 x x vq p q p q)v M e 1 Me 1 ). Put a := e) 1 q p q p q)e 1 ) 1/ and b := vq p q p q)v ) 1/. Since a x x b is a projection, it follows that a,b and x commute, a + b = e 1

4 4 M. MORI and x = ab. Thus q p q p q corresponds to q p q p q = a +abv +v ba+v b v. ) a ab ba b, and hence This lemma generalizes Halmos two projection theorem. See for example [5, Theorem.1].) Consider the decomposition H = p q )H p q)h p q)h p q )H e 1 H e H. By the partial isometry v M in the above lemma, we can identify e 1 +e )Me 1 + e ) with M e 1 Me 1 ), and we can realize p and q as the following: p = 1 0, q = 1 0, 1 0 a ab ba b and a,b are injective operators in e 1 Me 1 ) + which satisfy a +b = e 1. For two projections p,q PM), we write p q if there exists a central projection r M such that pr qr and p r q r. Note that this relation is a generalization of the relation which is written as in the paper [5]. In our paper, we save the symbol for the Murray-von Neumann equivalence. i.e. We write p q when there exists a partial isometry v M such that vv = p and v v = q. In addition, we write p q when there exists a partial isometry v M such that vv = p and v v q. Proposition.3. Let M BH) be a von Neumann algebra, P be a Grassmann space in M and p,q P with p q = 1. Then we have p q if and only if the following holds. Condition Set mp,q) := {e P e p = e q = 1/ }. Then mp,q) is not empty, and for every p 0 mp,q), there exists a unique path γ: [0,π/] P which satisfies γ0) = p, γπ/) = q, γπ/4) = p 0 and for all θ 1,θ [0,π/]. γθ 1 ) γθ ) = sin θ 1 θ Proof. The discussion in the paper [5] can be applied almost verbatim, so we give only a setch of the proof. Suppose p q. It suffices to consider the case p q. Fix a partial isometry v M which satisfies vv = p and v v = q. We can identify x p+q)mp+q) M) with ) pxp pxv vxp vxv M pmp). Then, it follows mp,q) = { 1 ) 1 u u u UpMp)} p+q)mp+q) M. 1 ) 1 u Let u UpMp) and put e := 1 u mp,q). Then the same discussion 1 as in [5, Lemma.5] shows that, the only path γ: [0,π/] P as in Condition is

5 ISOMETRIES BETWEEN PROJECTION LATTICES 5 given by ) cos γθ) = θ ucosθsinθ u cosθsinθ sin, θ [0,π/]. θ Suppose p and q satisfy Condition. We decompose p and q as above: H = p q )H p q)h p q)h p q )H e 1 H e H, p = 1 0, q = a ab ba b Since mp,q) 0, by the same discussion asin [5, Lemma.4], there exists a partial isometry v M which satisfies vv = p q and v v = p q. If p q = 0, then the condition p q = 1 implies b = 1. As [5, Lemma.9], there exists a projection p 0 mp,q) which admits more than one path with the property as in Condition. We can alsoshowby [5, Lemmas.8and.9]that the followingdoesnot happen: p q 0 and e 1 0. Thus we have p q 0 and 0 = e 1 e ). Then p and q commutes. If there exist subprojections 0 p 1 p q and q 1 p q in M which satisfy p 1 q 1, then we can easily construct more than one path for the projection p 0 = p q +v +v +p q)/+p q mp,q), which contradicts Condition. Hence there exists a central projection r M with p q r and p q r. It follows pr qr and p r q r. We begin the proof of Theorem.1. Let P M and Q N be proper Grassmann spaces and suppose T: P Q is a surjective isometry. The preceding proposition implies that, for p,q P, p q if and only if Tp) Tq). By the comparison theorem, there exists a central projection r 0 PM) which satisfies pr 0 p r 0 and pr0 p r0 for some and thus every) p P. We say that a mapping between Grassmann spaces or between von Neumann algebras) is typical if it can be written as in the equation in the statement of Theorem.1. Since the composition of two typical mappings is also typical, in order to show Theorem.1, we may and do assume that p p for every p P and q q for every q Q. Our next tas is to decompose T into two mappings. We need preliminaries. Lemma.4. Let P M be a proper Grassmann space in a von Neumann algebra M BH) with p p for every p P. a) If e,f P and e f, then me,f) is isometric to UeMe)/ = {u/ u UeMe)}). b) Suppose p 1,p P satisfy p 1 p < 1. Then there exist projections e,f P such that e f and p 1,p me,f). Proof. a) It suffices to consider two cases: e f or e f. In the former case, there exists a partial isometry v M such that vv = e and v v = f. It follows me,f) = {e+uv +v u +f)/ u UeMe)}, which is isometric to UeMe)/. In the latter case, we similarly obtain that me,f) is isometric to Ue Me )/. In addition, we have e e f e, thus Ue Me ) is isometric to UeMe).

6 6 M. MORI b) By the generalization of Halmos theorem, we can consider p 1 and p as p 1 = 1 0, p = a ab ba b through the decomposition H = p q)h p q )H e 1 H e H. By the comparison theorem, we may assume p q p q or p q p q. In the former case, tae a partial isometry v M with vv = p q and v v p q. Put 1 v 1 v e := 1 v v v 1 i, f := 1 v v v 1 i. i 1 i 1 Then it is not difficult to see e f and p 1,p me,f). The latter case can be proved similarly. In addition, we recall Hatori and Molnár s theorem. We remar that every Jordan -isomorphism between von Neumann algebras decomposes to the direct sum of a -isomorphism and a -antiisomorphism [8, Exercise ]. Theorem.5HatoriandMolnár,[6,Corollary3]). Let M and N be von Neumann algebras. Suppose that τ: UM) UN) is a surjective isometry. Then there exist a central projection e PN) and a Jordan -isomorphism j: M N which satisfy τu) = τ1)ju)e+ju) e ), u UM). We return to the proof of Theorem.1. There exists a unique central projection r 1 PM) which satisfies pr 1 is a finite projection and pr1 is a properly infinite projection in M for every p P. We define P fin := {pr 1 p P} and P infin := {pr1 p P}. Note that, if r 1 0 resp. r 1 1), P fin resp. P infin ) is a proper Grassmann space in Mr 1 resp. Mr1 ) and every projection in P fin resp. P infin ) is a finite resp. properly infinite) projection. Lemma.6. There exist surjective isometries T fin : P fin Q fin andt infin : P infin Q infin which are uniquely determined by the equation Tp) = T fin pr 1 )+T infin pr1 ), p P. Proof. Tae the central projection r PN) such that Q fin = {qr q Q} and Q infin = {qr q Q}. Let p 1,p P. What we have to show are the following: a) If p 1 r 1 = p r 1, then Tp 1 )r = Tp )r. b) If p 1 r 1 = p r 1, then Tp 1)r = Tp )r. We show a) and b) at the same time. Since every Grassmann space is pathconnected, it suffices to show them in the case p 1 p < 1. In this case, tae projectionse,f asintheproofoftheprecedinglemma. Itfollowse f,p 1,p me,f) and thus Te) Tf), Tp 1 ),Tp ) mte),tf)). Then T restricts to a bijection from me,f) ontomte),tf)). By a) of the preceding lemma, it determines a surjective isometry T 1 from UeMe) onto UTe)NTe)). Then we can apply the theorem due to Hatori and Molnár. By the fact that every Jordan -isomorphism between two von Neumann algebras preserves finite properly infinite) projections, it follows that T 1 is decomposed to the direct sum of two surjective isometries

7 ISOMETRIES BETWEEN PROJECTION LATTICES 7 T : Ur 1 eme) Ur Te)NTe)) and T 3 : Ur1 eme) Ur Te)NTe)). Now it is easy to see that a) and b) hold. We say P is finite if every p P is finite, and P is properly infinite if every p P is properly infinite. By the preceding lemma, what we have to do is to prove Theorem.1 in the case both P and Q are finite, or both P and Q are properly infinite. First we consider the case P and Q are finite. Thus the setting is as follows: Let P M and Q N be finite proper Grassmann spaces. Assume p p for every p P and q q for every q Q. Suppose that T: P Q is a surjective isometry. A ey to the proof is the following lemma. Lemma.7. In the above setting, suppose p 1,p P are mutually orthogonal elements. By our assumption, we have Tp 1 ) Tp ). Then, T restricts to a bijection T 0 : {p P p p 1 +p } {q Q q Tp 1 )+Tp )}. Moreover, T 0 extends to a typical mapping from p 1 +p )Mp 1 +p ) onto Tp 1 )+Tp ))NTp 1 )+Tp )). Proof. Since p 1 p, using the way as before, we can identify: p 1 = ) p = and 0 1 mp 1,p ) = { 1 ) 1 u u u Up 1 1 Mp 1 )} M p 1 Mp 1 ) = p 1 +p )Mp 1 +p ) M. 1 0 Similarly, we identify Tp 1 )+Tp ))NTp 1 )+Tp )) with M Tp 1 )NTp 1 )). We may assume )) T = 1 ) Consider the restriction of T to mp 1,p ) and define a surjective isometry τ: Up 1 Mp 1 ) UTp 1 )NTp 1 )) by )) 1 1 u T u = 1 ) 1 τu) 1 τu), u Up 1 1 Mp 1 ). By the theorem due to Hatori and Molnár, there exist central projections r 1,r,r 3,r 4 Pp 1 Mp 1 ) and r 1,r,r 3,r 4 PTp 1)NTp 1 )) which satisfy r 1 +r +r 3 +r 4 = p 1, r 1 +r +r 3 +r 4 = Tp 1) anda -isomorphismϕ 1 : Mr 1 Nr 1, a -antiisomorphismϕ : Mr Nr, aconjugate linear -isomorphism ϕ 3 : Mr 3 Nr 3, a conjugate linear -antiisomorphism ϕ 4 : Mr 4 Nr 4 such that τu) = ϕ 1 ur 1 ) + ϕ ur ) + ϕ 3 ur 3 ) + ϕ 4 ur 4 ), u Up 1 Mp 1 ). We define a typical mapping T from M p 1 Mp 1 ) onto M Tp 1 )NTp 1 )) by ) ) x y ϕ1 xr T := 1 ) ϕ 1 yr 1 ) z w ϕ 1 zr 1 ) ϕ 1 wr 1 ) ) ϕ3 xr + 3 ) ϕ 3 yr 3 ) + ϕ 3 zr 3 ) ϕ 3 wr 3 ) r + ϕ wr ) ϕ yr ) ϕ zr ) r ϕ xr ) x,y,z,w p 1 Mp 1. We show that this is an extension of T 0. ) r 4 ϕ 4 wr 4 ) ϕ 4 yr 4 ) ϕ 4 zr 4 ) r 4 ϕ 4xr 4 ) ), ),

8 8 M. MORI Let p be an element in P with the property p p 1 +p. By the finiteness of P, there exist positive elements a,b p 1 Mp 1 and a unitary w Up 1 Mp 1 ) with the property ) a +b a abw = p 1, p = w ba w b. w Then p is an element of m := m 1 ) 1 iw iw, 1 1 )) 1 iw iw, 1 so it follows Tp) Tp 1 ) + Tp ). We have to show that the mapping Φ from {p P p p 1 + p } onto itself which is defined by Φp) = T 1 Tp) is the identity mapping. We already now that the projections 1 0 ), 0 1 ) and 1 1 u u 1 ), u Up 1 Mp 1 ) are all fixed under Φ. It follows Φ restricts to a bijection from m as above) onto itself. It suffices to show that Φ restricts to the identity mapping on m. The self-adjoint unitary U := 1 ) 1 iw iw gives rise to an isometry AdU) on M 1 p 1 Mp 1 ). Then m is isometric to AdU)m = 1 ) 1 iw iw 1 ) 1 0 = m, m )) ) 1 iw iw, 1 )) 1 iw 1 1 iw 1 { ) 1 1 v = v v Up 1 1 Mp 1 )}. ) 1 iw iw 1 Our tas is to { show that ) the mapping AdU) Φ AdU) is equal to the identity 1 1 v mapping on v v Up 1 1 Mp 1 )}. We have AdU) ) 1 0 = 1 1 ) iw iw 1 and )) 1 1 u AdU) u = 1 ) iuw +iwu u wu w 1 4 u w uw iu w+iw u foreveryu Up 1 Mp 1 ). In particular, foreveryself-adjointunitary a Up 1 Mp 1 ), we have )) 1 1 aw AdU) w = 1 ) 1 aw a 1 w. a 1 Therefore, if v = iw or v = aw for some self-adjoint unitary a, then )) 1 1 v AdU) Φ AdU) v = 1 ) 1 v 1 v. 1 By the Hatori-Molnár theorem, the same equation holds for every v Up 1 Mp 1 ). In fact, we may assume that the above typical mapping is always a Jordan -isomorphism. We explain this. First, tae central projections r a,r b,r c PM) with r a +r b +r c = 1 such that r a p is an abelian projection for every p P,

9 ISOMETRIES BETWEEN PROJECTION LATTICES 9 r b p r b p for every p P, and r c pmp does not admit a type I 1 direct summand for every p P, and z1 p 1 p )r c = r c for arbitrary p 1,p P with p 1 p. Fix p 1,p P with p 1 p. Since r a p is an abelian projection, we can tae T as in the above proof so that it is a Jordan -homomorphism on r a p 1 +p )Mp 1 +p ). We show that T is also a Jordan -homomorphism on r c p 1 + p )Mp 1 + p ). By the condition of r c, we can tae a projection e PM) such that e r c p, r c ze) = r c = r c zp e) and e 1 p 1 p ). Consider the restrictions of T to the subset S = {p P p p 1 +e}. Note that T is equal to T on this subset. Put S 1 := {p P p p 1 +e)}. It follows S = {p P p S 1 }. Since T preserves orthogonality, we have TS) = TS) = {q Q q TS 1 )}. If T is not a Jordan -homomorphism on r c p 1 +p )Mp 1 +p ), then TS) cannot be written as above. Hence T is a Jordan -homomorphism on r c p 1 +p )Mp 1 +p ). Note that r b p 1 +p ) = r b. We can tae a typical mapping ψ: r b M r b M with the property that T ψ: r b M N is a Jordan -homomorphism. Define the typical mapping Ψ: M M by Ψx) := ψr b x)+r a +r c )x, x M. By the assumption concerning r b, we have ΨP) = P. Considering the composition T Ψ instead of T, we may assume T is a Jordan -isomorphism. Let p 3,p 4 P satisfy p 3 p 4. There exists p 5 P such that p 1 p 5 and p 3 p 1 +p 5. Note that r b p 1 +p 5 ) = r b. Considering the restriction of T to the set {p P p r a + r c )p 1 + r b } and using the same discussion as above, we see that the restriction of T to the subset {p P p p 1 +p 5 } extends to a Jordan -isomorphism from p 1 +p 5 )Mp 1 +p 5 ) ontotp 1 )+Tp 5 ))NTp 1 )+Tp 5 )). Sincep 3 p 1 +p 5, consideringtherestriction of T to the set {p P p r a +r c )p 3 +r b }, we also see that the restriction of T to the subset {p P p p 3 + p 4 } extends to a Jordan -isomorphism from p 3 +p 4 )Mp 3 +p 4 ) onto Tp 3 )+Tp 4 ))NTp 3 )+Tp 4 )). Recall that a bijection F from PM) onto PN) is called an orthoisomorphism when it satisfies pq = 0 if and only if Fp)Fq) = 0, for p,q PM). We show that, under the above assumptions, the mapping T extends uniquely to an orthoisomorphism from PM) onto PN). First, we extend T to a mapping T 1 from {e PM) e p for some p P} to {f PN) f q for some q Q} by T 1 e) := {Tp) p P,e p}. We show that T 1 is a bijection which preserves orthogonality in both directions. Fix e. Tae some p 0 P with e p 0 and f PM) with e f p 0. We prove T 1 e) = Tp 0 ) Tp 0 )Tp 0 e) + f). Suppose p 1 P satisfies e p 1. There exists a projection p P with the property p p 0 and f,p 1 p 0 + p. Then T restricts to a bijection T 0 : {p P p p 0 + p } {q Q q Tp 0 ) + Tp )} and T 0 extends to a Jordan -isomorphism J 0 from p 0 + p )Mp 0 + p ) onto Tp 0 )+Tp ))NTp 0 )+Tp )). Hence we obtain Tp 1 ) = J 0 p 1 ) J 0 e) = J 0 p 0 ) J 0 p 0 )J 0 p 0 e) + f) = Tp 0 ) Tp 0 )Tp 0 e) + f) for any p 1 P with e p 1 and thus T 1 e) Tp 0 ) Tp 0 )Tp 0 e)+f). In addition, we have Tp 0 ) Tp 0 )Tp 0 e)+f) = J 0 e) = J 0 p 0 )J 0 p f)+e) = Tp 0 )Tp f)+e) T 1 e). It follows T 1 e) = Tp 0 ) Tp 0 )Tp 0 e)+f). Let p 3,p 4 P be mutually commuting projections. Put e = p 3 p 4, p 0 = p 3, tae somef PM)sothate f 1 p 3 p 4 andput p = p 4 e)+f. Then theabove

10 10 M. MORI discussion shows that T 1 p 3 p 4 ) = T 1 e) = Tp 0 )Tp f)+e) = Tp 3 )Tp 4 ). Thus T 1 is determined uniquely by the condition T 1 p 3 p 4 ) = Tp 3 )Tp 4 ) for an arbitrary pair of mutually commuting projections p 3,p 4 P. It follows T 1 is a bijection with its inverse T1 1 : {f PN) f q for some q Q} {e PM) e p for some p P} which is defined by T1 1 f) := {q q Q,f q}. Since T preserves orthogonality in both directions, so does T 1. We define a mapping T : PM) PN) by T p) := {T 1 e) e p, e p 0 for some p 0 P} = {T 1 e) e p, e p 0 for some p 0 P}. It follows T is an orthoisomorphism which extends T. Lastly, we rely on the following theorem due to Dye and its slight extension by the author. Theorem.8 Dye, [, Corollary of Theorem 1] + [11, Proposition 5.]) ). Let M and N be two von Neumann algebras. Suppose T : PM) PN) is an orthoisomorphism which preserves the distances between maximal abelian projections in the type I direct summands. Then there exists a Jordan -isomorphism from M onto N which extends T. Since ourassumptionshowsthat T restrictsto asurjectiveisometrybetweenthe classes of maximal abelian projections in the type I direct summands, T extends to a Jordan -isomorphism from M onto N. This completes the proof of Theorem.1 when P and Q are finite. Next we consider the case both P and Q are properly infinite. Thus the setting is as follows: Let P M and Q N be properly infinite proper Grassmann spaces. Assume p p for every p P and q q for every q Q. Suppose that T: P Q is a surjective isometry. The first step is to show that we may assume T preserves orthogonality in both directions. As in [5], for two projections p 1,p P, we write p 1 p when p 1 p and p 1 1 p 1 p ). Since P is properly infinite, we can tae mutually orthogonal projections p 1,p,p 3 P. We have p 1 p, p p 3, p 3 p 1, thus Tp 1 ) Tp ), Tp ) Tp 3 ), Tp 3 ) Tp 1 ). It follows there exists a central projection r PM) such that Tp 1 )r,tp )r,tp 3 )r are mutually orthogonal and Tp 1 ) r,tp ) r,tp 3 ) r are mutually orthogonal. Composing T with the typical mapping q qr+q r on Q, we may assume that Tp 1 ),Tp ),Tp 3 ) are mutually orthogonal. Under this assumption, we show that, for any projections p,p 0 P, we have p p 0 if and only if Tp) Tp 0 ). Suppose p p 0. We have p p 1, p 0 p. Since P is properly infinite, we obtain 1 p p 0 ) 1 p p 0 ) + p + p 0 ) = 1 and similarly 1 p 1 p ) 1, thus 1 p p 0 ) 1 p 1 p ). Therefore there exists a unitary u UM) which satisfies upu = p 1 and up 0 u = p. By the functional calculus on M, there exists a self-adjoint operator a M sa with u = e ia. We show Te ita pe ita ) Te ita p 0 e ita ) foreveryt [0,1]. It suffices toshowtp) Tp 0 ) when

11 ISOMETRIES BETWEEN PROJECTION LATTICES 11 p p 1 < 1/ and p 0 p < 1/. In that case, we have 1 Tp) Tp 0 )) 1 Tp 1 ) Tp )) Tp 1 ) Tp) + Tp ) Tp 0 ) = p 1 p + p p 0 < 1. Combine this inequality with Tp) Tp 0 ) to obtain Tp) Tp 0 ). Moreover, we can apply the generalization of Halmos theorem to the two projections 1 Tp) Tp 0 ) and 1 Tp 1 ) Tp ) to obtain 1 Tp) Tp 0 )) 1 Tp 1 ) Tp )). Thus we have Tp) Tp 1 ). We haveshownthat T preservesthe relation in both directions. It is easy to see that for p 1,p P, we have p 1 p if and only if {p P p p 1 } {p P p p }. Thus we obtain p 1 p if and only if Tp 1 ) Tp ). Let p 1,p P satisfy p 1 p P. Since p 1 p is the minimum projection in P which majorizes both p 1 and p, we have Tp 1 p ) = Tp 1 ) Tp ). Similarly, if p 1,p P satisfy p 1 p P, then Tp 1 p ) = Tp 1 ) Tp ). Let p 1,p P satisfy p 1 p. Since P is properly infinite, there exist mutually orthogonal subprojections p 11,p 1 P of p 1 which satisfy p 1 = p 11 + p 1. Since p 11 p and p 1 p, we have Tp 11 ) Tp ) and Tp 1 ) Tp ). Hence we obtain Tp ) Tp 11 ) Tp 1 )) = Tp 11 p 1 ) = Tp 1 ). Therefore, T preserves orthogonality in both directions. We show a version of Lemma.7. Lemma.9. Under the above assumptions, suppose p 1,p P are mutually orthogonal. Then, T restricts to a bijection T 0 : {p P p p 1 +p } {q Q q Tp 1 )+Tp )}. Moreover, T 0 extends uniquely) to a Jordan -isomorphism from p 1 +p )Mp 1 +p ) onto Tp 1 )+Tp ))NTp 1 )+Tp )). Proof. Using the same notations and discussions as in the proof of Lemma.7, we can construct a typical mapping T from p 1 + p )Mp 1 + p ) onto Tp 1 ) + Tp ))NTp 1 ) + Tp )). Tae projections p, p 1, p P such that p p 1, p p 1 p) and p 1 p p, p 1 p p 1 ) p p ). By the same discussion as in Lemma.7, we see that Tp+ p 1 ) = Tp+ p 1 ) and Tp+ p ) = Tp+ p ). It follows Tp+ p 1 ) Tp+ p ), which shows that T is actually a Jordan -isomorphism. ) We show Tp) = Tp) 1 0 for every p P with p p 1 +p. Since p p 1 =, there exist x,y p 1 Mp 1 which satisfy x x+y y = p 1, p = ) xx xy yx yy. Let x = v x, y = w y be polar decompositions. By the spectral theorem, we may assume that the spectral set σ x ) of x is a finite set. Thus x = n =1 λ e for some 0 = λ 1 < λ < < λ n = 1 and mutually orthogonal projections e Pp 1 Mp 1 ) such that n =1 e = p 1. Projections e 1 and e n may be 0.) We have y = n =1 1 λ e. Sincep 1 isproperlyinfinite, thereexistsubprojectionsf n e in Pp 1 Mp 1 ), = 1,...,n, which satisfy the following property: =1 f n =1 e f ) p 1, and partial isometries v n = f, w n 1 =1 f, v n = e f ) and w n 1 =1 e f ) admit unitary extensions v 0,w 0,v 1 and w 1 Up 1 Mp 1 ),

12 1 M. MORI respectively. We show that the projection v n p 0 := =1 λ f ) v v n =1 λ f ) n ) =1 1 λ f )w w n =1 1 λ f ) n =1 λ f )v w n =1 1 λ f ) w = w 0 n =1 v 0 n =1 λ f ) v0 v 0 n =1 λ f ) n ) =1 1 λ f )w0 1 λ f ) n =1 λ f )v0 w 0 n =1 1 λ f ) w0 in P satisfies Tp 0 ) = Tp 0 ). Consider the projection v0 n p 0 + =1 e ) f ))v0 0 v0 n = =1 λ f ) + n =1 e f ))v0 v 0 n =1 λ f ) n ) =1 1 λ f )w0 w 0 n =1 1 λ f ) n =1 λ f )v0 w 0 n =1 1 λ f ) w0 ) a abv = 0 w0 w 0 v0 ba w 0v0 b v 0 w0, where a := v 0 n =1 λ f + n =1 e f ))v0 and b := v 0 n =1 1 λ f )v0. It follows a,b 0, a +b = p 0. By the same discussion as in Lemma.7, we obtain v0 n T p 0 + =1 e )) f ))v0 0 = T v0 n p 0 + =1 e )) f ))v0 0 Similarly, we obtain )) T p w 0 n =1 e f ))w0 Since v0 n p 0 + =1 e f ))v0 0 )) = T )) p w 0 n =1 e f ))w0. )) p w 0 n =1 e f ))w0 = p 0, we have Tp 0 ) = Tp 0 ). Similarly, we have Tp p 0 ) = Tp p 0 ). Finally, we have Tp) = Tp 0 ) Tp p 0 ) = Tp 0 ) Tp p 0 ) = Tp). A discussion which is similar to or simpler than) that in finite cases shows that it is possible to extend T to an orthoisomorphism from PM) onto PQ). By Dye s theorem, T extends to a Jordan -isomorphism from M onto N. 3. Isometries between projection lattices In this section, we write M = N when two von Neumann algebras M and N are Jordan -isomorphic. Theorem 3.1. Let M,N be von Neumann algebras without type I 1 direct summands. Then M and N are Jordan -isomorphic if and only if PM) and PN) are isometric. Suppose T: PM) PN) is a surjective isometry. Since M does not admit a type I 1 direct summand, there exists a projection p PM) which satisfies zp) = zp ) = 1. Tae the proper) Grassmann space P in M which contains p. Then TP) is a proper Grassmann space in NzTp))zTp) ). By Theorem.1, it follows that M is Jordan -isomorphic to NzTp))zTp) ), which is a direct summand of N. Similarly, N is Jordan -isomorphic to a direct summand of M. Therefore, it suffices to show the following lemma.

13 ISOMETRIES BETWEEN PROJECTION LATTICES 13 Lemma 3.. Let M,N be von Neumann algebras. Suppose that M is Jordan - isomorphic to a direct summand of N, and N is Jordan -isomorphic to a direct summand of M. Then M is Jordan -isomorphic to N. Proof. There exist central projections p PM) and q PN) such that M, N are Jordan -isomorphic to Nq,Mp, respectively. It follows M = Mp Mp = N Mp = Nq Nq Mp = M Nq Mp. Tae a Jordan -isomorphism Φ: M Nq Mp M. We define i: M M Nq Mp by ix) := x 0 0, x M. Put p 0 := Φ0 q p ) and p n := Φ i) n p 0 ), n N. Then {p n } n 0 is an orthogonal family of central projections in M and Mp n = Nq Mp = Mp 0, n 0. Put p := n 0 p n. We have M = Mp Mp = Mp Mp 0 l = Mp Mp 0 l Mp 0 l = M Mp 0 l. Similarly, we obtain N = N Mp 0 l. Lastly, we have M Mp 0 l = Nq Nq Mp ) l = Nq Nq Nq Mp ) l = N Mp 0 l. If in the above theorem we drop the condition concerningtype I 1 summand, then we can find a counterexample. Indeed, any bijection between PL [0,1])) and PL [0,1]) C) is isometric, but L [0,1]) and L [0,1]) C are not isomorphic. Theorem.1 also gives complete descriptions of surjective isometries between projection lattices of two von Neumann algebras. However, to give such a description in concrete situations is a complicated wor. In the rest of this paper, we consider factor cases. Let M, N be countably decomposable factors and suppose T: PM) PN) is a surjective isometry. Then Theorem.1 implies that M and N are Jordan - isomorphic, and thus M and N are -isomorphic or -antiisomorphic. We assume M = N. Note that only two points 0 and 1 are isolated in PM), and thus T restricts to a bijection on {0,1}. First weconsidertype Ifactors. Let H be a separablecomplexhilbert space. For n N = {1,,...}, the symbol P n H) denotes the collection of ran n projections in BH), and we put P n H) := {p p P n H)}. The symbol P H) denotes the set of projections in BH) whose range and ernel are both infinite dimensional. Example 3.3. If M = BH) is a type I N factor with N N, then Grassmann spaces of M are P n H), n = 1,,...,N 1. In this case, there exists a mapping σ from {1,,...,N 1} to {1, 1} which satisfies the following conditions: For n = 1,...,N 1, σn)σn n) = 1.

14 14 M. MORI If σn) = 1, the mapping T restricts to a bijection T n from P n H) onto itself. Moreover, T n extends uniquely to a -automorphism or a - antiautomorphism on BH). If σn) = 1, the mapping T restricts to a bijection T n from P n H) onto P N n H). Moreover, the mapping p 1 T n p), p P n H) extends uniquely to a -automorphism or a -antiautomorphism on BH). Example 3.4. If M = BH) is a type I factor, then Grassmann spaces of M are P n H), P n H), n N and P H). In this case, T restricts to a bijection T from P H) onto itself. Thus T extends uniquely to a -automorphism or a -antiautomorphism, or the mapping p 1 T p), p P extends uniquely to a -automorphism or a -antiautomorphism on BH). In addition, there exists a unique mapping σ from N to {1, 1} which satisfies the following conditions: If σn) = 1, the mapping T restricts to a bijection T n from P n H) onto itself, and T also restricts to a bijection T n from P n H) onto itself. Each mapping extends uniquely to a -automorphism or a -antiautomorphism on BH). If σn) = 1, the mapping T restricts to a bijection T n from P n H) onto P n H), and T also restricts to a bijection T n from P n H) onto P n H). Thus the mappings 1 T n and 1 T n extends to a -automorphism or a -antiautomorphism on BH). Note that, for every -automorphism resp. -antiautomorphism) Φ on BH), there exists a unitary resp. antiunitary) u on H which satisfies Φx) = uxu resp. Φx) = ux u ), x BH). Thus we see that our result actually generalizes the theorem due to Gehér and Šemrl [5, Theorem 1.]. Example 3.5. If M is a type II 1 factor with a normal tracial state τ, then Grassmann spaces of M are P λ M) := {p PM) τp) = λ}, 0 < λ < 1. In this case, we can use the fact that every Jordan -automorphism on tracial factor preserves the trace. It follows there exists a unique mapping σ: 0,1) {1, 1} which satisfies the following conditions: For λ 0,1), σλ)σ1 λ) = 1. If σλ) = 1, the mapping T restricts to a bijection T λ from P λ M) onto itself. Moreover, T λ extends uniquely to a -automorphism or a - antiautomorphism on M. If σλ) = 1, the mapping T restricts to a bijection T λ from P λ M) onto P 1 λ M). Moreover, the mapping p 1 T λ p), p P λ M) extends uniquely to a -automorphism or a -antiautomorphism on M. Example 3.6. If M is a type II factor with a normal semifinite faithful tracial weight τ, then Grassmann spaces of M are P λ,1) := {p PM) τp) = λ}, P λ, 1) := {p p P λ M,τ)}, 0 < λ <, and P = {p PM) τp) = = τp )}. This case is the most complicated. First, T restricts to a bijection T from P ontoitself, and T or1 T extends toa -automorphismora -antiautomorphism on M. In order to consider the other Grassmann spaces, we need to tae the following multiplicative group into account: F := {λ 0, ) pmp = qmq for some p P 1,1), q P λ,1) }

15 ISOMETRIES BETWEEN PROJECTION LATTICES 15 Note that the symbol = means that two algebras are Jordan -isomorphic. cf. The fundamental group of the II 1 factor pmp is a subgroup of F.) There exists a bijection f from 0, ) {1, 1} onto itself which satisfies the following condition: Let λ,s),µ,t) 0, ) {1, 1} satisfy fλ,s) = µ,t). Then λ/µ F. The mapping T restricts to a bijection T λ,s) from P λ,s) onto P µ,t). If st = 1, then T λ,s) extends uniquely to a -automorphism or a - antiautomorphism on M. If st = 1, the mapping p 1 T λ,s) p), p P λ,s) extends uniquely to a -automorphism or a -antiautomorphism on M. Example 3.7. If M is a type III factor, then the unique Grassmann space of M is P := PM)\{0,1}. It follows that the restriction T 0 of T on P is described as one and only one of the following four options: it extends uniquely to a -automorphism or a -antiautomorphism, or the mapping p 1 T 0 p), p P extends uniquely to a -automorphism or a -antiautomorphism. Acnowledgements The author appreciates Yasuyui Kawahigashi who is the advisor of the author. Part of this research was performed while the author was visiting the Institute for Pure and Applied MathematicsIPAM), which is supported by the National Science Foundation. This wor was supported by Leading Graduate Course for Frontiers of Mathematical Sciences and Physics, MEXT, Japan. References [1] F. Botelho, J. Jamison, L. Molnár, Surjective isometries on Grassmann spaces, J. Funct. Anal ), no. 10, [] H.A. Dye, On the geometry of projections in certain operator algebras, Ann. of Math. ) ), [3] G.P. Gehér, Wigner s theorem on Grassmann spaces, J. Funct. Anal ), no. 9, [4] G.P. Gehér and P. Šemrl, Isometries of Grassmann spaces, J. Funct. Anal. 716), no. 4, [5] G.P. Gehér and P. Šemrl, Isometries of Grassmann spaces, II, Adv. Math ), [6] O. Hatori and L. Molnár, Isometries of the unitary groups and Thompson isometries of the spaces of invertible positive elements in C -algebras, J. Math. Anal. Appl ), no. 1, [7] R.V. Kadison, Isometries of operator algebras, Ann. of Math. ) ), [8] R.V. Kadison and J.R. Ringrose, Fundamentals of the theory of operator algebras. Vol. II, Academic Press, Inc., Orlando, FL 1986). [9] P. Maniewicz, On extension of isometries in normed linear spaces, Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys ), [10] L. Molnár, Wigner-type theorem on symmetry transformations in type II factors, Internat. J. Theoret. Phys ), no. 6, [11] M. Mori, Tingley s problem through the facial structure of operator algebras, J. Math. Anal. Appl ), no., [1] M. Moriand N. Ozawa, Maniewicz s theorem and the Mazur-Ulamproperty for C -algebras, preprint, arxiv: [13] M. Panov, Geometric version of Wigner s theorem for Hilbert Grassmannians, J. Math. Anal. Appl ), no. 1, [14] A.M. Peralta, A survey on Tingley s problem for operator algebras, Acta Sci. Math. Szeged) ),

16 16 M. MORI [15] W. Qian, L. Wang, W. Wu, W. Yuan, Wigner-Type Theorem on transition probability preserving maps in semifinite factors, to appear in J. Funct. Anal. [16] P. Šemrl, Orthogonality preserving transformations on the set of n-dimensional subspaces of a Hilbert space, Illinois J. Math ), no., [17] M. Taesai, Theory of operator algebras. I, Springer-Verlag, New Yor-Heidelberg 1979). [18] R. Tanaa, Tingley s problem on finite von Neumann algebras, J. Math. Anal. Appl ), Graduate School of Mathematical Sciences, the University of Toyo, Komaba, Toyo, , Japan. address: mmori@ms.u-toyo.ac.jp