Definition
Operator-valued weight
An extended-positive-valued bimodular weight from a von Neumann algebra to a von Neumann subalgebra.
Definition
Let be unital von Neumann algebras. An operator-valued weight from to is a map
into the extended positive cone that is additive, positively homogeneous, and -bimodular in the positive sense:
The operations on the right are those of . Unlike a conditional expectation, may be unbounded or infinite. No normality, faithfulness, or semifiniteness is implicit unless it is stated separately.
Regularity conditions
The weight is normal when it preserves suprema of increasing nets in , and faithful when implies . It is semifinite when
is ultraweakly dense in . If is normal, faithful, and semifinite and is a normal semifinite faithful scalar weight on , then is such a weight on Haagerup, §2.
Conditional expectations
A conditional expectation restricts to an operator-valued weight whose values lie in the bounded cone and satisfy . Thus operator-valued weights generalize conditional expectations by allowing extended positive values. A merely positive map need not be an operator-valued weight: it can fail the displayed -bimodularity identity.
Composition
The composition is defined intrinsically because each scalar weight extends from to by monotone limits. This construction allows information about scalar weights on to be transferred through an inclusion , and is one of the main uses of operator-valued weights in modular theory.
References
- 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.
- Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. DOI record. Relevant: Chapter IX, §4 on conditional expectations and operator-valued weights.