{
  "id": "relative-bicentralizers-and-core-commutants",
  "title": "Relative bicentralizers and core commutants",
  "description": "Relative bicentralizers of inclusions with expectation and the commutant of the bottom algebra in the continuous core. The relative bicentralizer, its description in the Ocneanu ultrapower, its expectation as a limit of averages over almost centralizing unitaries; Connes' transition isomorphisms, the relative bicentralizer flow of Ando, Haagerup, Houdayer and Marrakchi, and the state-independent algebra generated by the bottom algebra and the relative bicentralizer; Marrakchi's binormal identity, proved through a tracial corner of the continuous core; approximate eigenoperators and Marrakchi's spectral shift maps; and OpenAI's proof (2026) that the two relative products of the bottom algebra and the relative bicentralizer differ exactly by the flow, through an iterated completely positive kernel, an estimate uniform in total modular energy and repeated random tensor tests. Consequences: the core fixed point theorem and a criterion for subalgebras with the same relative commutant in the core. Finally, finite-dimensional subfactors, state changes and the lifting of matrix units from the asymptotic centralizer, and the main theorem of OpenAI for bottom factors of type III_1: an approximately finite-dimensional subalgebra, invariant under the modular group of a suitable state, with the same relative commutant in the continuous core, built by an inductive construction after Ando, Haagerup, Houdayer and Marrakchi; and, for a single factor of type III_1, Haagerup's theorem that the faithful normal states with irreducible centralizer are norm dense. The last lesson treats semifinite bottom factors: Popa's hyperfinite subfactor with the same relative commutant for factors of type II_1, a matrix amplification with an almost periodic state for type II_infinity, and the resulting theorem for every semifinite bottom factor.",
  "units": [
    {
      "id": "the-relative-bicentralizer",
      "title": "The relative bicentralizer",
      "reader": "the-relative-bicentralizer.html",
      "source": "src/the-relative-bicentralizer.md",
      "source_sha256": "7e3f818ad51959c031772e04066f0e95b23c8cac58b53bd9bde4041f4b5e1b75",
      "status": "author_self_checked"
    },
    {
      "id": "transition-isomorphisms-and-the-relative-flow",
      "title": "Transition isomorphisms and the relative flow",
      "reader": "transition-isomorphisms-and-the-relative-flow.html",
      "source": "src/transition-isomorphisms-and-the-relative-flow.md",
      "source_sha256": "18660037d2e264c28cb606804954e46c7227ef3c363875f0edc43a8ec91c84ed",
      "status": "author_self_checked"
    },
    {
      "id": "binormal-states-and-the-relative-bicentralizer",
      "title": "Binormal states and the relative bicentralizer",
      "reader": "binormal-states-and-the-relative-bicentralizer.html",
      "source": "src/binormal-states-and-the-relative-bicentralizer.md",
      "source_sha256": "a22533c767e8aabb37d67f923608b1f8a016a65bce35320d49f952a3bb51fc74",
      "status": "author_self_checked"
    },
    {
      "id": "spectral-shift-maps",
      "title": "Spectral shift maps",
      "reader": "spectral-shift-maps.html",
      "source": "src/spectral-shift-maps.md",
      "source_sha256": "344ccf1ea583d3c55c9dafb0dfd65f38e703c2572a88aefc88484697b337e620",
      "status": "author_self_checked"
    },
    {
      "id": "the-two-relative-products",
      "title": "The two relative products",
      "reader": "the-two-relative-products.html",
      "source": "src/the-two-relative-products.md",
      "source_sha256": "d51caa53eb4b91255ce254121b2fdae321e2ba0212852909ffcba8c7c2486c04",
      "status": "author_self_checked"
    },
    {
      "id": "a-uniform-energy-estimate",
      "title": "A uniform energy estimate",
      "reader": "a-uniform-energy-estimate.html",
      "source": "src/a-uniform-energy-estimate.md",
      "source_sha256": "e983e8a7fce83e1661f4ff30f42f8408fa759463cddb8672e97dce7ab397acb9",
      "status": "author_self_checked"
    },
    {
      "id": "repeated-tensor-tests",
      "title": "Repeated tensor tests",
      "reader": "repeated-tensor-tests.html",
      "source": "src/repeated-tensor-tests.md",
      "source_sha256": "7e2554af79f99b477b5c87bcef58315b455d56c1fe86d43043b93195760a2d41",
      "status": "author_self_checked"
    },
    {
      "id": "core-commutants",
      "title": "Core commutants",
      "reader": "core-commutants.html",
      "source": "src/core-commutants.md",
      "source_sha256": "ca96d1a86674480bea287c9166a444b3b7a501d8adce949d4df6c891ef6780e9",
      "status": "author_self_checked"
    },
    {
      "id": "finite-dimensional-subfactors-and-lifting",
      "title": "Finite-dimensional subfactors and lifting",
      "reader": "finite-dimensional-subfactors-and-lifting.html",
      "source": "src/finite-dimensional-subfactors-and-lifting.md",
      "source_sha256": "48181f819c28cb251dbe6f464c7f4b10d2583d2c161d4d7c1576be5bf7057bc9",
      "status": "author_self_checked"
    },
    {
      "id": "an-injective-subalgebra-with-the-same-core-commutant",
      "title": "An injective subalgebra with the same core commutant",
      "reader": "an-injective-subalgebra-with-the-same-core-commutant.html",
      "source": "src/an-injective-subalgebra-with-the-same-core-commutant.md",
      "source_sha256": "0e3b967ef3b9c4df1fe93ed29245e1c5bd8051dadbde18a62f1704b82d023650",
      "status": "author_self_checked"
    },
    {
      "id": "semifinite-bottom-factors",
      "title": "Semifinite bottom factors",
      "reader": "semifinite-bottom-factors.html",
      "source": "src/semifinite-bottom-factors.md",
      "source_sha256": "fef70ec828d9ed450389d812e511b57bb0a33fc3cf7959481441a3152dacf5e7",
      "status": "author_self_checked"
    }
  ],
  "prerequisites": [
    "bicentralizers-of-type-iii1-factors (all lessons; in particular the asymptotic centralizer, the bicentralizer flow, modular averaging Lemmas 1.1-1.2, strongly invariant states Lemma 3.3, and Theorem 6.1 that the bicentralizer of a type III_1 factor is trivial)",
    "type-iii-factors lessons ultraproducts-and-the-asymptotic-centralizer (Section 1, Lemmas 1.1, 1.3, 1.4, Theorem 5.1, Corollary 6.3, Theorem 6.5, results (B5)-(B8)) and full-factors (result (B1), separability)",
    "OA-APPROX lesson multiplier-ultraproducts-and-normal-embeddings (Ocneanu ultrapower)",
    "OA-FLOW lessons OA-FLOW-L159 (faithful-state core, (C3)-(C11)), OA-FLOW-CCM (crossed-product commutant (CCM2)), OA-FLOW-NR (NR-4), OA-FLOW-FF (FF-2, FF-3)",
    "OA-MOD lessons OA-MOD-ME (modular expectation theorem), OA-MOD-CE (CE-006), OA-MOD-TI (trace densities), OA-MOD-MF (MF-06)",
    "analytic-elements-strips-and-kms lesson analytic-elements-and-strip-arguments (Sections 8-9, Theorem 9.1)",
    "traces-and-noncommutative-integration lesson measurable-operators-for-a-trace-examples-convergence-and-the-commutant (Facts 2.3-2.6)",
    "foundations-of-von-neumann-algebras lessons the-double-commutant-theorem (Section 4, Theorem 5.8, Proposition 9.2, Section 3), completely-positive-maps (Theorem 4.1), the-spectral-theorem-for-bounded-self-adjoint-operators (Theorems 3.1, 6.1 and 8.1), compact-and-trace-class-operators-the-predual-of-b-h-and-the-operator-topologies, polar-decomposition-of-functionals-and-weak-compactness-in-preduals (Corollary 2.8), projections-and-types-of-von-neumann-algebras (Proposition 15.2), the-universal-enveloping-von-neumann-algebra-of-a-c-star-algebra-and-w-star-algebras (Lemma 11.1, supports), weak-topologies-tychonoff-banach-alaoglu-mazur-bipolars-krein-milman-and-eberlein-smulian, support/function-algebras (Stone-Weierstrass)",
    "generators-of-ii1-factors lesson haar-unitaries-freeness-and-ultraproducts (Lemma 2.3 and Corollary 2.4: equivalence of projections of equal trace, projections of every trace, Haar unitaries)",
    "injective-factors lesson injective-von-neumann-algebras (Corollary 5.2(c): approximately finite-dimensional von Neumann algebras are injective)"
  ],
  "status": "author_self_checked",
  "proof_providers": "providers.json",
  "provenance": "provenance.json",
  "licence": "CC0-1.0"
}