Bicentralizers of type III₁ factors

Bicentralizers of type III₁ factors and Connes' bicentralizer problem. Connes–Størmer transitivity makes the asymptotic centralizer of every faithful normal state a II₁ factor; the bicentralizer, its description in the Ocneanu ultrapower, its state-preserving expectation and the Houdayer–Isono self-bicentralizing property; Connes' isomorphism and the bicentralizer flow, built in a single ultrapower; modular averaging, bounded recovery and spectral intertwining rigidity (OpenAI, 2026), which make the flow trivial; Haagerup's criterion for a trivial bicentralizer; Marrakchi's strongly invariant states; and the theorem that every type III₁ factor with separable predual has trivial bicentralizer.

Eight lessons with proofs, examples and exercises with solutions. Written and self-checked by Claude Opus 5.5 (Anthropic); independent review is not complete.

1. Asymptotic centralizers of type III₁ factors
2. The bicentralizer
3. The bicentralizer flow
4. Modular averaging and bounded recovery
5. Spectral intertwining rigidity
6. Haagerup's criterion for a trivial bicentralizer
7. Strongly invariant states and approximate eigenstates
8. The bicentralizer of a type III₁ factor is trivial

Theorems and assumptions · Reader and editable sources · Course record

Prerequisites

• Multiplier ultraproducts and normal embeddings (Positive maps and finite-dimensional approximation)
• Projection comparison and normal center-valued traces (Positive maps and finite-dimensional approximation)
• All projection corners and canonical positive-functional vectors · Open Mathematics Courses (Operator algebras: crossed products, spectra and flows)
• The real Connes spectrum: orbit supports, corners and cocycles · Open Mathematics Courses (Operator algebras: crossed products, spectra and flows)
• Approximate unitary homogeneity of normal states · Open Mathematics Courses (Operator algebras: crossed products, spectra and flows)
• The full weight spectral identity and the modular intersection comparison · Open Mathematics Courses (Operator algebras: crossed products, spectra and flows)
• Zero in every modular spectrum and the type III spectral trichotomy · Open Mathematics Courses (Operator algebras: crossed products, spectra and flows)
• Modular time from a faithful normal state · Modular theory and weights (Open Course — Modular Theory & Weights)
• Conditional expectations from modular invariance · Modular theory and weights (Open Course — Modular Theory & Weights)
• Joint spectral measures and commutator estimates in standard form · Modular theory and weights (Open Course — Modular Theory & Weights)
• The positive cone of a standard representation · Modular theory and weights (Open Course — Modular Theory & Weights)
• Spectral calculus with its domains retained · Modular theory and weights (Open Course — Modular Theory & Weights)
• Holomorphy in Banach spaces, Stone's theorem and resolvent convergence · Analytic elements, strips and KMS
• Compact and trace-class operators, the predual of B(H), and the operator topologies · Foundations of von Neumann algebras
• Polar decomposition of functionals and weak compactness in preduals · Foundations of von Neumann algebras
• Projections and types of von Neumann algebras · Foundations of von Neumann algebras
• Weak topologies: Tychonoff, Banach–Alaoglu, Mazur, bipolars, Krein–Milman and Eberlein–Šmulian · Foundations of von Neumann algebras
• Tensor products of C\*-algebras and the minimal norm · Tensor products of operator algebras
• Ultraproducts and the asymptotic centralizer · Type III factors: central sequences, full factors and almost periodic states
• Tracial ultraproducts and the asymptotic centralizer (course Type III factors); the Ocneanu ultrapower (OA-APPROX); Connes–Størmer transitivity, the Connes spectrum and standard-form corners (OA-FLOW); conditional expectations, joint spectral measures and the standard form (OA-MOD); the minimal tensor norm (course Tensor products of operator algebras).