Smooth paths of conditional expectations

Abstract: Let A be a von Neumann algebra with a finite trace

a u

, represented in

H = L^{2} (A, a u)

, and let

B_{t} s u b s e t A

be sub-algebras, for

t

in an interval

I

. Let

E_{t} : A o B_{t}

be the unique

a u

-preserving conditional expectation. We say that the path

t m a p s t o E_{t}

is smooth if for every

a i n A

and

v i n H

, the map

I i tmapsto E_t(a)vin H

is continuously differentiable. This condition implies the existence of the derivative operator

dE_t(a):H o H, dE_t(a)v=frac{d}{dt}E_t(a)v.

If this operator verifies the additional boundedness condition,

int_J |dE_t(a)|_2^2 d tle C_J|a|_2^2,

for any closed bounded sub-interval

J s u b s e t I

, and

C_{J} > 0

a constant depending only on

J

, then the algebras

B_{t}

are *-isomorphic. More precisely, there exists a curve

G_{t} : A o A

,

t i n I

of unital, *-preserving linear isomorphisms which intertwine the expectations,

G_tcirc E_0=E_tcirc G_t.

The curve

G_{t}

is weakly continuously differentiable. Moreover, the intertwining property in particular implies that

G_{t}

maps

B_{0}

onto

B_{t}

. We show that this restriction is a multiplicative isomorphism.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Smooth paths of conditional expectations