Smooth paths of conditional expectations
Let A be a von Neumann algebra with a finite trace τ, represented in H=L2(A,τ), and let Bt⊂A be sub-algebras, for t in an interval I. Let Et:A→Bt be the unique τ-preserving conditional expectation. We say that the path t↦Et is smooth if for every a∈A and v∈H, the map I∋t↦Et(a)v∈H is continuously differentiable. This condition implies the existence of the derivative operator dEt(a):H→H, dEt(a)v=dtdEt(a)v. If this operator verifies the additional boundedness condition, ∫J∥dEt(a)∥22dt≤CJ∥a∥22, for any closed bounded sub-interval J⊂I, and CJ>0 a constant depending only on J, then the algebras Bt are *-isomorphic. More precisely, there exists a curve Gt:A→A, t∈I of unital, *-preserving linear isomorphisms which intertwine the expectations, Gt∘E0=Et∘Gt. The curve Gt is weakly continuously differentiable. Moreover, the intertwining property in particular implies that Gt maps B0 onto Bt. We show that this restriction is a multiplicative isomorphism.