Definition

Let NMN\subseteq M be unital . An operator-valued weight from MM to NN is a map

T:M+N^+T:M_+\longrightarrow\widehat N_+

into the that is additive, positively homogeneous, and NN-bimodular in the positive sense:

T(axa)=aT(x)a(xM+, aN).T(a^*xa)=a^*T(x)a \qquad(x\in M_+,\ a\in N).

The operations on the right are those of N^+\widehat N_+. Unlike a conditional expectation, T(x)T(x) may be unbounded or infinite. No normality, faithfulness, or semifiniteness is implicit unless it is stated separately.

Regularity conditions

The weight TT is normal when it preserves suprema of increasing nets in M+M_+, and faithful when T(x)=0T(x)=0 implies x=0x=0. It is semifinite when

nT={xM:T(xx)N+}\mathfrak n_T=\{x\in M:T(x^*x)\in N_+\}

is ultraweakly dense in MM. If TT is normal, faithful, and semifinite and φ\varphi is a normal semifinite faithful scalar weight on NN, then φT\varphi\circ T is such a weight on MM Haagerup, §2.

Conditional expectations

A E:MNE:M\to N restricts to an operator-valued weight whose values lie in the bounded cone N+N_+ and satisfy E(1)=1E(1)=1. Thus operator-valued weights generalize conditional expectations by allowing extended positive values. A merely MNM\to N need not be an operator-valued weight: it can fail the displayed NN-bimodularity identity.

Composition

The composition φT\varphi\circ T is defined intrinsically because each scalar weight φ\varphi extends from N+N_+ to N^+\widehat N_+ by monotone limits. This construction allows information about scalar weights on MM to be transferred through an inclusion NMN\subseteq M, and is one of the main uses of operator-valued weights in modular theory.

References
  1. Uffe Haagerup, “Operator-Valued Weights in von Neumann Algebras I,” Journal of Functional Analysis 32 (1979), 175–206. DOI record. Relevant: §§1–2 on the definition, regularity properties, and composition with scalar weights.
  2. Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. DOI record. Relevant: Chapter IX, §4 on conditional expectations and operator-valued weights.