VOL. LXIV 1993 FASC. 1
CHAIN RULES FOR CANONICAL STATE EXTENSIONS ON VON NEUMANN ALGEBRAS
BY
CARLO C E C C H I N I (UDINE)
ANDD ´ ENES P E T Z (BUDAPEST)
In previous papers we introduced and studied the extension of a state defined on a von Neumann subalgebra to the whole of the von Neumann algebra with respect to a given state. This was done by using the standard form of von Neumann algebras. In the case of the existence of a norm one projection from the algebra to the subalgebra preserving the given state our construction is simply equivalent to taking the composition with the norm one projection.
In this paper we study couples of von Neumann subalgebras in connection with the state extension. We establish some results on the ω-conditional expectation and give a necessary and sufficient condition for the chain rule of our state extension to be true.
We extensively use the language of spatial derivatives developed by Connes [5] and summarized also in [2], [3]. Given two normal states ϕ and ω of a von Neumann algebra M ⊂ B(H) we set
(1) [ϕ/ω] = ∆(ϕ, ω 0 ) 1/2 ∆(ω, ω 0 ) −1/2
where ∆(ψ, ω 0 ) is the spatial derivative with respect to the auxiliary faithful normal state ω 0 on M 0 . If ϕ ≤ αω for some α ∈ R + then [ϕ/ω] has a bounded closure belonging to M which is the analytic continuation of the Connes cocycle [Dϕ, Dω] t at the point −i/2 (cf. [4]). (Recall that in the general case [ϕ/ω] is a nonclosable operator.)
On the von Neumann algebra M ⊂ B(H) we consider a state ω induced by a cyclic and separating vector Ω and we denote by J the modular con- jugation. For a subalgebra M i ⊂ M, let H i be the closure of M i Ω and let E i be the corresponding projection. So E i M i |H i has Ω as a cyclic and sep- arating vector and J i is written for the corresponding modular conjugation.
(Mostly we identify M i with E i M i |H i .)
Let us recall ([1]) that the ω-conditional expectation E ω ,i : M → M i is defined by the formula
(2) E ω ,i (a) = J i E i J aJ E i J i (a ∈ M) .
If M i ⊂ M j ⊂ M then E ψ j,i stands for the ψ-conditional expectation M j → M i for a state ψ of M j .
Given a state ϕ 0 of M 0 ⊂ M ⊂ B(H), its extension % ω (ϕ 0 ) to M with respect to ω is defined by the vector
(3) [ϕ 0 /ω 0 ]Ω (ω 0 ≡ ω|M 0 ) . It was proved in [2], [3] that
(4) E % ,0
ω
(ϕ
0) (x) = E ω ,0 (v ∗ xv) (x ∈ M) where J v 0 J = v ≡ v(ω, ϕ 0 ) and
v 0 : a[ϕ 0 /ω 0 ]Ω 7→ a[% ω (ϕ 0 )/ω]Ω (a ∈ M)
is a partial isometry in M 0 . When ψ ≤ α% ω (ϕ 0 ) and ψ|M 0 = ϕ 0 then similarly
(5) E ψ ,0 (x) = E ω ,0 (a ∗ xa) (x ∈ M) where J a 0 J = a and
(6) a 0 : b[ϕ 0 /ω 0 ]Ω 7→ b[ψ/ω]Ω (b ∈ M) is a bounded operator in M 0 .
We consider the von Neumann algebra M 2 ⊂ M 1 ⊂ M and a faithful normal state ϕ 2 on M 2 . Denote by τ (ϕ 2 ; M 1 )(ω) the vector state on M for the vector
(7) [ω 2 /ϕ 2 ][% ω
1(ϕ 2 )/ω 1 ]Ω . Lemma 1. In the above context
(8) [ω 2 /ϕ 2 ][% ω
1(ϕ 2 )/ω 1 ]Ω = J 1 v(ω 1 , ϕ 2 )J 1 Ω . P r o o f. It follows from the definition of v(ω 1 , ϕ 2 ) that
[ω 2 /ϕ 2 ][% ω
1(ϕ 2 )/ω 1 ]Ω = [ω 2 /ϕ 2 ]J 1 v(ω 1 , ϕ 2 )J 1 [ϕ 2 /ω 2 ]Ω . Here the right hand side may be transformed as follows:
[ω 2 /ϕ 2 ]J 1 v(ω 1 , ϕ 2 )J 1 [ϕ 2 /ω 2 ]Ω = J 1 v(ω 1 , ϕ 2 )J 1 [ω 2 /ϕ 2 ][ϕ 2 /ω 2 ]Ω
= J 1 v(ω 1 , ϕ 2 )J 1 Ω , and the proof is complete.
Lemma 2. With the above notation
τ (ϕ 2 ; M 1 )(ω)|M 1 = ω|M 1 .
P r o o f. This is a consequence of the previous lemma because v(ω 1 , ϕ 2 ) ∈ M 1 and v ∗ (ω 1 , ϕ 2 )v(ω 1 , ϕ 2 )Ω = Ω.
We may regard the state τ (ϕ 2 ; M 1 )(ω) as a kind of perturbation of ω
by ϕ 2 and M 1 . If the objects ϕ 2 and M 1 fit well to the given state ω then
τ (ϕ 2 ; M 1 )(ω) and ω coincide. (Due to Lemma 2, on the subalgebra M 1
they always coincide.) The next result concerns the majorization relation of these two states.
Proposition 3. There is a constant α > 0 such that τ (ϕ 2 ; M 1 )(ω) ≤ αω if and only if there exists a ∈ M such that
E ω ,1 (a) = v(ω 1 , ϕ 2 )(a) and E ω ,1 (a ∗ a) = E ω ,1 (a) ∗ E ω ,1 (a) .
P r o o f. The condition τ (ϕ 1 ; M 1 )(ω) ≤ αω is equivalent to the existence of an a ∈ M such that
J aJ Ω = [ω 2 /ϕ 2 ][% ω
1(ϕ 2 )/ω 1 ]Ω .
Lemma 1 tells us that the right hand side is J 1 v(ω 1 , ϕ 2 )Ω and our state- ment may be verified by computation. The converse is based on the fact that
E ω ,1 (a ∗ a) = E ω ,1 (a) ∗ E ω ,1 (a)
is equivalent to E 1 J aΩ = J aΩ and the above argument may be reversed.
The next result gives conditions for the chain rule of state extension to hold.
Theorem 4. In the above setting the following conditions are equivalent.
(i) τ (ϕ 2 ; M 1 )(ω) = ω.
(ii) % ω % ω
1(ϕ 2 ) = % ω (ϕ 2 ).
(iii) E ω ,1 (v(% ω (ϕ 2 ), ω 1 )) = v(ω 1 , ϕ 2 ).
P r o o f. As in the previous proof condition (i) is equivalent to J vJ Ω = [ω 2 /ϕ 2 ][% ω
1(ϕ 2 )/ω 1 ]Ω
where v is now a partial isometry, v ∗ v = I. This is again equivalent to J vJ [ϕ 2 /ω 2 ]Ω = [% ω
1(ϕ 2 )/ω 1 ]Ω .
Here the left hand side is a representative of % ω (ϕ 2 ) and the right hand side is that of % ω % ω
1(ϕ 2 ). In this way we arrive at the equivalence of (i) and (ii). The proof of the equivalence of condition (iii) follows from the previous proposition.
As a sample of results which can be reached by the previously developed techniques we shall prove the following.
Theorem 5. Let A i (i = 1, 2, 3, 4) be a von Neumann algebra with the inclusions A 1 ⊃ A 2 ⊃ A 4 and A 1 ⊃ A 3 ⊃ A 4 . Let ω 1 be a faithful normal state on A 1 with restriction ω i to A i (i = 2, 3, 4) and let ϕ 2 be a faithful normal state on A 2 with restriction ϕ 4 to A 4 . Then any couple of the following conditions implies the third.
(i) E ω 1,3 (v(ω 1 , ϕ 2 )) = v(ω 3 , ϕ 4 ),
E ω 1,3 (v(ω 1 , ϕ 2 ) ∗ v(ω 1 , ϕ 2 )) = |E ω 1,3 (v(ω 1 , ϕ 2 ))| 2 .
(ii) ϕ 2 = ϕ 4 ◦ E ω 2,4
2