Operator algebras: states, supports, stability and symmetry

States and matrix blocks describe finite systems. Supports and ideals record which observations vanish. Tensor products combine systems; Fredholm index and averaging reveal information that survives perturbation or symmetry. Measurable fields connect representations with their fibres.

This edition contains 33 lessons with complete arguments at their stated hypotheses, worked examples and solved exercises. Every required proof is linked through the lessons and the prerequisite list below.

Sources, authorship and component terms · Edition and scope · Download the reader and editable sources

Lessons

1. Abelian semicontinuity and multiplier spectra
2. Affine approximation and quasi-state spaces
3. Atomic representations and measurable lifts
4. Base changes and disintegration
5. Borel supports and isomorphism classes
6. Borel types and fibre types
7. Central averaging and maximal ideals
8. Crossed-product coefficients and factor tests
9. Expected maximal abelian algebras and factor types
10. Extreme points and matrix blocks
11. Finite maximal quotients
12. Finite type II algebras and separable representations
13. Fredholm operators and the stable index
14. Free-group averaging and the compact ideal
15. Invariant states and ergodic projections
16. Invertible components and exponential laws
17. Measurable equivalence and constant fibres
18. Monotone approximation and semicontinuous operators
19. Multipliers and essential extensions
20. Normal functionals across fibres
21. Normal products and closed operator graphs
22. Open projections and closed one-sided ideals
23. Proper infiniteness and automatic normality
24. Regular and singular maximal abelian algebras
25. Split faces and semicontinuous quotient lifts
26. States and fibre equivalence relations
27. States, ideals and the smallest tensor norm
28. Tensor independence and ideals
29. Tensor norms and independent systems
30. Universal measurability and strong sequences
31. Weak sequences and compact convex hulls
32. Weakly compact convex sets and fixed points
33. Orbit representations and orthogonal state measures

Prerequisite proofs

The published Foundations of von Neumann algebras provide functional analysis, C*-algebras, GNS representations, normal functionals and operator topologies. Haar measure and quotient integration provide the measure and integration proofs. Additional complete scopes are included here.

• Spatial tensor products: complete proof supplement through the commutation theorem — Conventions and complete Sections 1–11, with Example 7.2 removed; Section 12 and background catalogue excluded.
• Banach tensor cross norms: complete finite-rank and extremal-norm proofs — Conventions; Section 1; Definitions 2.1–2.2 and full Theorem 2.3. No Proposition 2.4 or later chapter.
• Spectral calculus: measurable domains and self-adjoint operators — SK01–08, each complete proof; SK09–12 excluded.
• Closed positive forms: representation and the exact square-root domain — QF01–03, each complete proof; QF04 and later excluded.
• Corners and inherited normal functionals — CP11 corner compression/extension proof, stopping before its separate tensor paragraph.
• Identity parts and the algebraic freeness criterion — FOUNDATIONS and PROJECTION, through multiplier criterion (3a); later COVARIANCE excluded.
• Discrete regular crossed products and their normal model comparison — New explicit discrete specialization retaining original proof mechanism: R1–3 and R13–17 only.
• Measurable fields of Hilbert spaces and their direct integrals — Complete chapter
• Decomposable operators and the diagonal algebra — Complete chapter
• The Effros Borel structure — Complete chapter
• Direct integrals of von Neumann algebras — Complete chapter
• Traces on von Neumann algebras — Complete chapter
• Comparing normal representations with properly infinite commutants — Conventions; minimal Facts 2.1/2.2/2.3(1)/2.4/2.7/2.10; complete Sections 3 and 4 excluding Remark 4.4
• Tracial GNS representations and finite von Neumann algebras — Definition 11.1; Proposition 11.2(1)-(2); all trace/involution/cyclic-and-separating proof paragraphs through faithfulness; elementary finiteness corollary
• Trace Hilbert spaces, commutation, comparison and expectations — Complete Sections 1, 2, 3, 7 and 9; complete proofs and examples
• Elementary measurability tools — Complete proofs: separable Hilbert weak/Borel/finite-range measurability equivalence; monotone class theorem for sets; finite-measure Egoroff and compact Radon cutoff; interval/arc step-function density and translation continuity
• Normal abelian representations over a given measure space — Complete construction: countable reducing cyclic decomposition; positive Radon-Nikodym weights; measurable coordinate field; full scalar-multiplier intertwiner over the specified sigma-finite base
• Atomic central decomposition: arbitrary cardinality and Hilbert space — Atomic centre; arbitrary Hilbert space and index cardinality; normal bounded product of factor corners and the uncountable non-sigma-finite boundary example. No unrestricted nonatomic central-decomposition claim.

Orbit commutant proofs

The orbit proof guide links the general covariant commutant proof, its exact programme prerequisites and the full tensor-weight application arguments. These readable proof sections are included in the offline edition.

Further programme topics

The following topics are outside this edition’s completed dependency scope:

• Broader abstract measurable-field realization, and central decomposition without separability assumptions for a nonatomic centre. This edition proves the individual-algebra realization with separable predual and the arbitrary atomic-centre case.
• General coupling traces and extended centre-valued coupling constructions.

Self-checked by the writing AI.