Generators of II₁ factors

Every II₁ factor with separable predual is generated by one operator, equivalently by two self-adjoint operators (OpenAI, 2026). Haar unitaries and freeness of a unitary from a C*-algebra in tracial von Neumann algebras; tracial ultraproducts; Popa's free independence theorem for irreducible inclusions, proved by patching partial isometries with local quantization in corners; Haagerup's inequality for words of length one and a perturbation of a unitary whose correlation with a fixed vector stays uniform along long words; relative generation W*(P,u) = M for a dense G_δ set of unitaries u; irreducible hyperfinite subfactors, two self-adjoint generators of the hyperfinite factor and a 2×2 matrix encoding. Finally the generator problem in full: every von Neumann algebra with separable predual is singly generated, through properly infinite algebras (Wogen), finite factors and direct integrals with a Borel choice of fibre generators (Willig); and the vanishing of the generator invariant of Dykema, Sinclair, Smith and White.

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

1. Haar unitaries, freeness and tracial ultraproducts
2. Free independence in ultraproducts
3. Relative generation by one unitary
4. Single generation of II₁ factors
5. The generator problem
6. The generator invariant

Theorems and assumptions · Reader and editable sources · Course record

Prerequisites

• Abelian pinching and relative commutants (Positive maps and finite-dimensional approximation)
• Infinite tensor products and their reference states (Positive maps and finite-dimensional approximation)
• MASAs in expected semifinite subfactors (Positive maps and finite-dimensional approximation)
• Base changes and disintegration
• Finite Fourier bases produce one small quantized corner (Subfactors, index and finite-depth classification)
• Commutative operator algebras: measure, order and duality · Foundations of von Neumann algebras
• Compact and trace-class operators, the predual of B(H), and the operator topologies · Foundations of von Neumann algebras
• Hahn–Banach, Baire and the basic theorems on Banach spaces · Foundations of von Neumann algebras
• Kaplansky's density theorem and its consequences · Foundations of von Neumann algebras
• Projections and types of von Neumann algebras · Foundations of von Neumann algebras
• The double commutant theorem · Foundations of von Neumann algebras
• The spectral theorem for bounded self-adjoint operators · Foundations of von Neumann algebras
• The universal enveloping von Neumann algebra of a \(C^*\)-algebra, and \(W^*\)-algebras · Foundations of von Neumann algebras
• Weak topologies: Tychonoff, Banach–Alaoglu, Mazur, bipolars, Krein–Milman and Eberlein–Šmulian · Foundations of von Neumann algebras
• The Stone–Weierstrass theorem for functions vanishing at infinity · Open Mathematics Courses (Function algebras and approximation)
• The central decomposition and the types of the fibres · Measurable fields and direct integrals (Measurable fields and direct integrals — lifting and differentiation)
• Integration for a trace, the commutation theorem, and applications · Traces and noncommutative integration
• Ultraproducts and the asymptotic centralizer · Type III factors: central sequences, full factors and almost periodic states
• The double commutant and Kaplansky density theorems, comparison of projections and spectral projections (course Foundations of von Neumann algebras); tracial ultraproducts (course Type III factors); local quantization (OA-SUBFACTORS); irreducible hyperfinite subfactors and infinite tensor products (OA-APPROX); the central decomposition, direct integrals and Borel choice (course Measurable fields and direct integrals); a separable faithful normal representation of an algebra with separable predual (OA-FOUND-REMAINDER).