Theorem
Spectral characterization of affiliation
Affiliation is equivalent to membership of the polar partial isometry and all absolute-value spectral projections in the von Neumann algebra.
Statement
Let be a von Neumann algebra and let be a closed densely defined operator on , with polar decomposition . Then is affiliated with if and only if the partial isometry belongs to and every spectral projection
belongs to for every Borel set . Equivalently, and . For self-adjoint , affiliation is equivalent to all spectral projections of lying in .
Why the criteria agree
The defining commutation relation for affiliation says that commutes, as an unbounded operator, with every unitary in . Uniqueness of polar decomposition then forces both and the spectral measure of to commute with ; the bicommutant theorem places them in . Conversely, these bounded data reconstruct by spectral integration and make it commute with . See Takesaki, Chapter V, §5.
Self-adjoint and positive cases
For positive self-adjoint , the polar partial isometry is the support projection of , so membership of the spectral projections alone is sufficient. For self-adjoint , the bounded resolvent generates the same von Neumann algebra as the spectral projections, giving a concise resolvent criterion for affiliation.
Scope and cautions
References
- Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter V, §5 on closed operators affiliated with von Neumann algebras and their polar and spectral data.
- Edward Nelson, “Notes on Non-Commutative Integration,” Journal of Functional Analysis 15 (1974), 103–116. DOI record. Relevant: §§1–2 on affiliated operators and spectral truncations.