Results on asymptotic centralizers, bicentralizers and their flow, with their assumptions

The course proves the statements below; each link leads to the statement with its assumptions and its proof. The lessons are self-checked by the writing AI; independent mathematical review is not complete.

• The asymptotic centralizer in the ultrapower — Lemma 1.1. A_{phi,omega} consists of multipliers, M_{phi,omega} embeds in M^omega and commutes with phi^omega, continuous functional calculus and projection lifting work in A_{phi,omega}.
• Asymptotic eigenoperators — Lemma 1.2. A bounded sequence with ||v_n phi - lambda phi v_n|| -> 0 is a multiplier, and its class V satisfies V phi^omega = lambda phi^omega V.
• Unitaries conjugating states — Lemma 1.3. Unitaries with u_n phi u_n* -> psi in norm give a unitary U of M^omega with U phi^omega U* = psi^omega.
• Partial isometries between states — Lemma 2.2. In a type III_1 factor with separable predual, two normal states with supports p, q are carried into each other by a partial isometry from p to q up to 5 sqrt(eps), with defects at most eps.
• The asymptotic centralizer is a II_1 factor — Theorem 3.1. For a type III_1 factor with separable predual and any faithful normal state phi, M_{phi,omega} is a II_1 factor.
• Approximate eigenoperators — Proposition 4.1. For every lambda > 0 there are partial isometries v_{k,n} with ||v_{k,n} phi - lambda phi v_{k,n}|| -> 0 and sum_k v_{k,n} v_{k,n}* -> 1 *-strongly.
• Descriptions of the bicentralizer — Proposition 1.3. B(M,phi) equals its ultrafilter version, the relative commutant of M_{phi,omega} in M^omega, and Haagerup's unitary formulation.
• Structure of the bicentralizer — Theorem 2.1. B(M,phi) is a von Neumann subalgebra containing the centre, invariant under sigma^phi, with a unique phi-preserving normal expectation, and contained in M_phi' cap M.
• Self-bicentralizing (Houdayer-Isono) — Proposition 2.2. B(B, phi|_B) = B for B = B(M, phi).
• Bicentralizers of type III_1 factors — Theorem 3.1. For a type III_1 factor with separable predual, B(M,phi) cap M_phi = C1; B is a factor and phi|_B has trivial centralizer.
• Reparametrization test — Lemma 1.1. A bounded sequence whose class in M^omega is unchanged under every reparametrization s(n) -> infinity, for every free ultrafilter, converges *-strongly.
• Connes' isomorphism — Theorem 2.1. Conjugation by unitaries moving phi to psi converges on B(M,phi) to a state-compatible isomorphism onto B(M,psi), independent of choices and characterized by asymptotic intertwining.
• The bicentralizer flow — Theorem 3.1. A u-continuous phi-preserving action beta^phi of R_+^* on B(M,phi) with w_n x - beta_lambda(x) w_n -> 0 whenever ||w_n phi - lambda phi w_n|| -> 0 (Ando-Haagerup-Houdayer-Marrakchi).
• Spectral localization controls the predual — Lemma 1.1. ||phi w - e^s w phi|| <= (1 + e^{s/2}) ||(e^{D/2} - e^{s/2}) w xi||.
• Operator averaging — Lemma 2.3. For an ergodic faithful normal state, the modular average P satisfies P(L(a)) = phi(a) 1 and commutes with the spectral projections of log Delta.
• Bounded recovery — Theorem 3.1. If M_phi = C, a positive averaged value of ||T U_t h_n||^2 on narrowing spectral bands is witnessed by uniformly bounded v_j in M with ||T v_j xi|| >= eta and comparable bands (OpenAI, 2026).
• State-preserving automorphisms commute with the modular group — Lemma 1.1. If phi o alpha = phi, then alpha commutes with sigma^phi.
• Modular eigenvalues of an ergodic state — Lemma 3.4. If M_phi = C, log Delta has no nonzero eigenvalue, and pure point spectrum forces M = C (Marrakchi-Vaes).
• Spectral intertwining rigidity — Theorem 3.5. If M_phi = C and a continuous phi-preserving action b satisfies the asymptotic intertwining hypothesis, then b is trivial (OpenAI, 2026).
• The bicentralizer flow is trivial — Corollary 3.6. For a type III_1 factor with separable predual, beta^phi_lambda = id on B(M,phi) for every lambda.
• Haagerup's condition — Definition 1.1. For every faithful normal state theta, delta > 0 and x with x xi = xi x*, theta(x) = 0, theta(x*x) = 1, some a has ||a||^2 + ||ax||^2 < kappa ||xa - ax||^2 and ||a xi - xi a||^2 < delta ||xa - ax||^2 (norms of theta).
• Haagerup's condition passes to corners — Lemma 1.2. The condition is invariant under isomorphisms, so it passes to every nonzero corner of a countably decomposable type III factor.
• The local step — Lemma 2.1. Under Haagerup's condition, for a cyclic separating cone vector xi and a self-adjoint unit vector eta orthogonal to it, some a has ||a xi||^2 + ||a eta||^2 < 4 kappa ||a eta - eta a||^2 and ||a xi - xi a||^2 < delta ||a eta - eta a||^2.
• Spectral cuts of a self-adjoint element — Lemma 3.1. For e_l = 1_(-inf,l](b): integral of ||e_l zeta - zeta e_l||^2 |l| dl lies between ||b zeta - zeta b||^2/4 and ||b zeta - zeta b|| (||b zeta||^2 + ||zeta b||^2)^{1/2} / sqrt(2).
• Exhaustion — Lemma 4.2. Under Haagerup's condition there are orthogonal projections e_i with sum 1 such that sum e_i xi e_i is delta-close to xi while ||eta - sum e_i eta e_i||^2 >= 2^{-16}/kappa.
• Projections nearly commuting with a state — Lemma 5.1. For eta orthogonal to xi there are projections p with ||p xi - xi p||^2 <= delta and ||p eta - eta p||^2 >= 2^{-20} ||eta||^2 / kappa.
• Haagerup's criterion — Theorem 5.2. A countably decomposable type III factor satisfying Haagerup's condition has trivial bicentralizer for every faithful normal state (Haagerup 1987; Ando-Haagerup-Houdayer-Marrakchi, Theorem 7.2).
• Strongly invariant nets — Lemma 2.1. For a bounded net and a strongly continuous isometry group: uniform invariance on compacts, invariance of all averages over probability measures, and approximation by vectors with small generator are equivalent.
• Form inequality from approximate eigenstates — Lemma 3.2. If Phi(T) <= 0 for every approximate eigenstate of X, then T (x) 1 <= kappa |A|^2 + eps for the generator A of e^{isX} (x) e^{-isY}, uniformly in Y.
• Powers-Stormer inequality for density operators — Lemma 3.3. ||rho^{1/2} - rho'^{1/2}||_2^2 <= ||rho - rho'||_1 for positive trace-class rho, rho'.
• Strongly invariant states — Theorem 3.5. A state of B(H) is strongly invariant under Ad e^{itX} exactly when it lies in the closed convex hull of the approximate eigenstates of X (Marrakchi).
• Strong fixed points — Proposition 4.1. A nonempty weak*-closed set of states stable under all averages contains a strongly invariant state.
• Strongly invariant extensions — Lemma 4.2. A state of C*(M, M') that is invariant and normal on M and on M' extends to a strongly invariant state of B(H) (Marrakchi).
• A trivial centralizer forces type III_1 — Theorem 1.1. A von Neumann algebra B != C with separable predual and a faithful normal state with trivial centralizer is a factor of type III_1.
• Eigen-sequences: predual to vectors — Lemma 2.1. ||b_n theta - mu theta b_n|| -> 0 implies ||xi b_n - mu^{-1/2} b_n xi|| -> 0 for bounded (b_n).
• Bicentralizers have central eigen-isometries — Proposition 3.3. A nontrivial bicentralizer of a separable type III_1 factor is a type III_1 factor with central eigen-isometries for every state and every mu >= 1.
• Absorption — Lemma 4.2. With central eigen-isometries, every barycentre of approximate eigenstates of log Delta agrees on C*(N, N') with a barycentre of limits of vector states a xi with a xi - xi a small.
• Central eigen-isometries give Haagerup's condition — Theorem 5.1. A countably decomposable type III factor with central eigen-isometries satisfies Haagerup's condition with constant 2, hence has trivial bicentralizer.
• The bicentralizer is trivial — Theorem 6.1. Every type III_1 factor with separable predual has B(M, phi) = C1 for every faithful normal state phi (OpenAI, 2026, with Marrakchi's method).

Reading order

Read the lessons in order. The first uses Connes–Størmer transitivity to show that the asymptotic centralizer of a type III₁ factor is a II₁ factor and to build scaling partial isometries. The second develops the bicentralizer, the third Connes' isomorphism and the bicentralizer flow. The fourth proves the bounded recovery theorem, and the fifth uses it to show that the bicentralizer flow is trivial. The sixth proves Haagerup's criterion and the seventh Marrakchi's description of strongly invariant states; the eighth combines everything to show that the bicentralizer of every type III₁ factor with separable predual is trivial.