English

Smooth paths of conditional expectations

Operator Algebras 2010-10-07 v1 Functional Analysis

Abstract

Let A be a von Neumann algebra with a finite trace τ\tau, represented in H=L2(A,τ)H=L^2(A,\tau), and let BtAB_t\subset A be sub-algebras, for tt in an interval II. Let Et:ABtE_t:A\to B_t be the unique τ\tau-preserving conditional expectation. We say that the path tEtt\mapsto E_t is smooth if for every aAa\in A and vHv \in H, the map ItEt(a)vH I\ni t\mapsto E_t(a)v\in H is continuously differentiable. This condition implies the existence of the derivative operator dEt(a):HH, dEt(a)v=ddtEt(a)v. dE_t(a):H\to H, \ dE_t(a)v=\frac{d}{dt}E_t(a)v. If this operator verifies the additional boundedness condition, JdEt(a)22dtCJa22, \int_J \|dE_t(a)\|_2^2 d t\le C_J\|a\|_2^2, for any closed bounded sub-interval JIJ\subset I, and CJ>0C_J>0 a constant depending only on JJ, then the algebras BtB_t are *-isomorphic. More precisely, there exists a curve Gt:AAG_t:A\to A, tIt\in I of unital, *-preserving linear isomorphisms which intertwine the expectations, GtE0=EtGt. G_t\circ E_0=E_t\circ G_t. The curve GtG_t is weakly continuously differentiable. Moreover, the intertwining property in particular implies that GtG_t maps B0B_0 onto BtB_t. We show that this restriction is a multiplicative isomorphism.

Keywords

Cite

@article{arxiv.1010.1045,
  title  = {Smooth paths of conditional expectations},
  author = {Esteban Andruchow and Gabriel Larotonda},
  journal= {arXiv preprint arXiv:1010.1045},
  year   = {2010}
}

Comments

17 pages, submitted to Internat. J. Math

R2 v1 2026-06-21T16:24:22.840Z