pith. sign in

arxiv: 2606.23636 · v1 · pith:JZFTFCR5new · submitted 2026-06-22 · 🧮 math.OA

Ergodicity of the bicentralizer flow and Kadison's problem

Amine Marrakchi This is my paper

Pith reviewed 2026-06-26 05:34 UTC · model grok-4.3

classification 🧮 math.OA
keywords subfactorsbicentralizer flowergodicitymaximal abelian subalgebrasKadison problemtype III factorsoperator algebras
0
0 comments X

The pith

The relative bicentralizer flow of any type III₁ irreducible subfactor with expectation is ergodic, implying every such subfactor contains a maximal abelian subalgebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the relative bicentralizer flow of a type III₁ irreducible subfactor with expectation is always ergodic. This ergodicity directly yields that every irreducible subfactor with expectation inside a factor with separable predual contains a maximal abelian subalgebra. The result finishes the resolution of Kadison's 1967 question on the existence of maximal abelian subalgebras in von Neumann algebras for the remaining cases covered by these hypotheses. A reader would see how a dynamical property of the bicentralizer ensures large abelian structure inside the subfactor.

Core claim

We show that the relative bicentralizer flow of a type III₁ irreducible subfactor with expectation is always ergodic. As a consequence, every irreducible subfactor with expectation in a factor with separable predual contains a maximal abelian subalgebra. This completes the solution to Kadison's problem on maximal abelian subalgebras from 1967.

What carries the argument

The relative bicentralizer flow of the subfactor, whose ergodicity forces the subfactor to contain a maximal abelian subalgebra.

If this is right

  • The relative bicentralizer flow is ergodic for every type III₁ irreducible subfactor with expectation.
  • Every irreducible subfactor with expectation in a factor with separable predual contains a maximal abelian subalgebra.
  • The argument finishes the solution to Kadison's 1967 problem on maximal abelian subalgebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The ergodicity statement may serve as a template for proving maximal abelian subalgebra existence in other classes of subfactors once analogous flows are defined.
  • The separability condition on the predual is essential to the MASA conclusion and would need separate handling if dropped.

Load-bearing premise

The subfactor is irreducible and of type III₁, admits an expectation, and the ambient factor has separable predual.

What would settle it

An irreducible type III₁ subfactor with expectation inside a factor with separable predual whose relative bicentralizer flow fails to be ergodic or that contains no maximal abelian subalgebra would disprove the claim.

read the original abstract

We show that the relative bicentralizer flow of a type $\mathrm{III}_1$ irreducible subfactor with expectation is always ergodic. As a consequence, every irreducible subfactor with expectation in a factor with separable predual contains a maximal abelian subalgebra. This completes the solution to Kadison's problem on maximal abelian subalgebras from 1967.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that the relative bicentralizer flow of any type III₁ irreducible subfactor with expectation is ergodic. As a direct consequence, every irreducible subfactor with expectation inside a factor with separable predual contains a maximal abelian subalgebra. This is presented as completing the solution to Kadison's 1967 problem on the existence of MASAs in such subfactors.

Significance. If the central claims hold, the work resolves a long-standing open question in operator algebras by establishing ergodicity of the relative bicentralizer flow under the stated hypotheses and deriving the MASA existence result. The conditions (irreducibility, type III₁, existence of expectation, separable predual) are precisely matched to the statements, and the result supplies a concrete advance in the structural theory of type III factors.

minor comments (1)
  1. The notation for the relative bicentralizer flow could be introduced with an explicit reference to its definition in an earlier section to aid readers unfamiliar with the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The abstract states a direct theorem on ergodicity of the relative bicentralizer flow for type III₁ irreducible subfactors with expectation, yielding the MASA conclusion under the listed separability and irreducibility conditions. No equations, self-citations, or ansatzes are supplied that reduce the central claim to a fit, renaming, or prior result by the same author. The derivation is presented as building on the 1967 Kadison problem as external context rather than importing load-bearing uniqueness theorems or fitted inputs from self-citations. Absent any quoted reduction in the provided material, the result stands as independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract.

pith-pipeline@v0.9.1-grok · 5571 in / 970 out tokens · 27396 ms · 2026-06-26T05:34:32.692627+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

69 extracted references · 10 canonical work pages · 1 internal anchor

  1. [1]

    J. F. Aarnes , On the Mackey-topology for a von Neumann algebra. Math. Scan. 22 (1968), 87--107

    1968

  2. [2]

    Araki , Asymptotic Ratio Set and Property L_ '

    H. Araki , Asymptotic Ratio Set and Property L_ ' . Publ. Res. Inst. Math. Sci. 6 (1970), 443--460

    1970

  3. [3]

    H. Ando, U. Haagerup , Ultraproducts of von Neumann algebras. J. Funct. Anal. 266 (2014), 6842--6913

    2014

  4. [4]

    H. Ando, U. Haagerup, C. Houdayer and A. Marrakchi , Structure of bicentralizer algebras and inclusions of type III factors. Math. Ann. 376 (2020), 1145--1194

    2020

  5. [5]

    Crossed-products by locally compact groups: Intermediate subfactors

    R. Boutonnet, A. Brothier , Crossed-products by locally compact groups: Intermediate subfactors. To appear in J. Operator Theory. arXiv:1611.10121

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Bikram , Connes' Bicentralizer Problem for Mixed q -deformed Araki-Woods Algebras

    P. Bikram , Connes' Bicentralizer Problem for Mixed q -deformed Araki-Woods Algebras. arXiv:2410.09490

    work page arXiv

  7. [7]

    Bannon, A

    J. Bannon, A. Marrakchi, N. Ozawa , Full factors and co-amenable inclusions. Comm. in math. phys. •bf 378 (2) , 1107--1121

  8. [8]

    Caspers , On the isomorphism class of q -Gaussian W*-algebras for infinite variables

    M. Caspers , On the isomorphism class of q -Gaussian W*-algebras for infinite variables. To appear in Comptes Rendus de l'Académie des Sciences. arXiv:2210.11128

    work page arXiv

  9. [9]

    Capraro, L

    V. Capraro, L. P aunescu , Product between ultrafilters and applications to Connes' embedding problem , J. Operator Theory 68 (2012), 165--172

    2012

  10. [10]

    Connes , Une classification des facteurs de type III

    A. Connes , Une classification des facteurs de type III . Ann. Sci. \' E cole Norm. Sup. 6 (1973), 133--252

    1973

  11. [11]

    Connes , Almost periodic states and factors of type _1 , J

    A. Connes , Almost periodic states and factors of type _1 , J. Funct. Anal. 16 (1974), 415--445

    1974

  12. [12]

    Connes , Outer conjugacy classes of automorphisms of factors

    A. Connes , Outer conjugacy classes of automorphisms of factors. Ann. Sci. \' E cole Norm. Sup. 8 (1975), 383--419

    1975

  13. [13]

    Connes , Classification of injective factors

    A. Connes , Classification of injective factors. Cases II_1 , II_ , III_ , 1 . Ann. of Math. 74 (1976), 73--115

    1976

  14. [14]

    Connes , Classification des facteurs

    A. Connes , Classification des facteurs. In ``Operator algebras and applications, Part 2 (Kingston, 1980)'' Proc. Sympos. Pure Math. 38 Amer. Math. Soc., Providence, 1982, pp.\ 43--109

    1980

  15. [15]

    Connes , Factors of type _1 , property _ ' , and closure of inner automorphisms

    A. Connes , Factors of type _1 , property _ ' , and closure of inner automorphisms. J. Operator Theory 14 (1985), 189--211

    1985

  16. [16]

    Connes, E

    A. Connes, E. St rmer , Homogeneity of the state space of factors of type _1 , J. Funct. Anal. 28 (1978), 187--196

    1978

  17. [17]

    Connes, M

    A. Connes, M. Takesaki , The flow of weights of factors of type III . Tohoku Math. Journ. 29 (1977), 473--575

    1977

  18. [18]

    C. Ding, S. Kunnawalkam Elayavalli, J. Peterson , Properly proximal von Neumann algebras. Duke Math. J. 172 (2023), 2821--2894

    2023

  19. [19]

    C. Ding, J. Peterson , Biexact von Neumann algebras. preprint arXiv:2309.10161

    work page arXiv

  20. [20]

    Falcone, M

    T. Falcone, M. Takesaki , The Non-commutative Flow of Weights on a Von Neumann Algebra. J. Funct. Anal. 182 (2001), no. 1, 170--206

    2001

  21. [21]

    L. Ge, S. Popa , On some decomposition properties for factors of type II _1 , Duke Math. J. 94 (1998), 79--101

    1998

  22. [22]

    V. J. Golodets , Spectral properties of modular operators and the asymptotic ratio set. (in Russian) Izv. Akad. Nauk SSSR Math. Ser. Mat. Tom 39 (1975), English translation in Math. USSR Izv. 9 (1975), 599--619

    1975

  23. [23]

    Haagerup , The standard form of von Neumann algebras , Math

    U. Haagerup , The standard form of von Neumann algebras , Math. Scand. 37 (1975), 271--283

    1975

  24. [24]

    Haagerup , Operator valued weights in von Neumann algebras , I

    U. Haagerup , Operator valued weights in von Neumann algebras , I. J. Funct. Anal. 32 (1979), 175--206

    1979

  25. [25]

    Haagerup , Operator valued weights in von Neumann algebras , II

    U. Haagerup , Operator valued weights in von Neumann algebras , II. J. Funct. Anal. 33 (1979), 339--361

    1979

  26. [26]

    Haagerup , ^p -spaces associated with an arbitrary von Neumann algebra

    U. Haagerup , ^p -spaces associated with an arbitrary von Neumann algebra. In Alg\`ebres d’op\'erateurs et leurs applications en physique math\' ematique (Proc. Colloq., Marseille, 1977), volume 274 of Colloq. Internat. CNRS, pages 175–184. CNRS, Paris, 1979

    1977

  27. [27]

    Haagerup , A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space

    U. Haagerup , A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space. J. Funct. Anal. 62 (1985), 160--201

    1985

  28. [28]

    Haagerup , Connes' bicentralizer problem and uniqueness of the injective factor of type III_1

    U. Haagerup , Connes' bicentralizer problem and uniqueness of the injective factor of type III_1 . Acta Math. 69 (1986), 95--148

    1986

  29. [29]

    Houdayer, Y

    C. Houdayer, Y. Isono , Unique prime factorization and bicentralizer problem for a class of type III factors. Adv. Math. 305 (2017), 402--455

    2017

  30. [30]

    Houdayer, Y

    C. Houdayer, Y. Isono , Connes' bicentralizer problem for q-deformed Araki-Woods algebras. Bull. Lond. Math. Soc. 52 (2020), 1010--1023

    2020

  31. [31]

    Houdayer, A

    C. Houdayer, A. Marrakchi, P. Verraedt , Fullness and Connes' invariant of type III tensor product factors. arXiv:1611.07914

    work page arXiv

  32. [32]

    Houdayer, S

    C. Houdayer, S. Popa , Singular masas in type III factors and Connes' bicentralizer property. To appear in Proceedings of the 9th MSJ-SI ``Operator Algebras and Mathematical Physics''. arXiv:1704.07255

    work page arXiv

  33. [33]

    Raum , Asymptotic structure of free Araki-Woods factors

    C.Houdayer, S. Raum , Asymptotic structure of free Araki-Woods factors. Math. Ann. 363 (2015), 237--267

    2015

  34. [34]

    St rmer , Pointwise inner automorphisms of von Neumann algebras

    Haagerup, E. St rmer , Pointwise inner automorphisms of von Neumann algebras. With an appendix by C.\ Sutherland. J. Funct. Anal. 92 (1990), 177--201

    1990

  35. [35]

    St rmer , Equivalence of normal states on von Neumann algebras and the flow of weights

    Haagerup, E. St rmer , Equivalence of normal states on von Neumann algebras and the flow of weights. Adv. Math. 83 (1990), 180--262

    1990

  36. [36]

    Houdayer, Y

    C. Houdayer, Y. Ueda , Asymptotic structure of free product von Neumann algebras. Math. Proc. Cambridge Philos. Soc. 161 (2016), 489--516

    2016

  37. [37]

    Winsl w , The Effros-Mar\' echal Topology in the Space of Von Neumann Algebras Amer

    U.Haagerup, C. Winsl w , The Effros-Mar\' echal Topology in the Space of Von Neumann Algebras Amer. J. of Math., 120(3) (1998), 567--617

    1998

  38. [38]

    Izumi, R

    M. Izumi, R. Longo, S. Popa , A Galois correspondence for compact groups of automorphisms of von Neumann algebras with a generalization to Kac algebras. J.\ Funct.\ Anal. 155 (1998), 25--63

    1998

  39. [39]

    Isono, A

    Y. Isono, A. Marrakchi , Tensor product decompositions and rigidity of full factors. Ann. Sci. \' Ec. Norm. Sup\'e r. 55(4) , (2022), 109-139

    2022

  40. [40]

    Isono , Haagerup and St rmer's conjecture for pointwise inner automorphisms

    Y. Isono , Haagerup and St rmer's conjecture for pointwise inner automorphisms. preprint arXiv:2309.05279

    work page arXiv

  41. [41]

    Ioana, H

    A. Ioana, H. Tan , On existentially closed _1 factors. preprint arXiv:2306.00474

    work page arXiv

  42. [42]

    Ioana, S

    A. Ioana, S. Vaes , Spectral gap for inclusions of von Neumann algebras. Appendix to the article Cartan subalgebras of amalgamated free product _1 factors by A. Ioana in Ann. Sci. \' E cole Norm. Sup. 48 (2015), 71--130

    2015

  43. [43]

    Jones , Index for subfactors

    V.F.R. Jones , Index for subfactors. Invent. Math. 72 (1983), 1--25

    1983

  44. [44]

    Kadison , Problems on von Neumann algebras

    R.V. Kadison , Problems on von Neumann algebras. Baton Rouge Conference, 1967 (unpublished)

    1967

  45. [45]

    Kosaki , Extension of Jones' theory on index to arbitrary factors

    H. Kosaki , Extension of Jones' theory on index to arbitrary factors. J. Funct. Anal. 66 (1986), 123--140

    1986

  46. [46]

    Marrakchi , Stability of products of equivalence relations

    A. Marrakchi , Stability of products of equivalence relations. Compositio Mathematica, 154(9) (2017), 2005--2019

    2017

  47. [47]

    Marrakchi , Full factors, bicentralizer flow and approximately inner automorphisms

    A. Marrakchi , Full factors, bicentralizer flow and approximately inner automorphisms. Invent. Math. 222(1) (2018), 375--398

    2018

  48. [48]

    Marrakchi , On the weak relative Dixmier property

    A. Marrakchi , On the weak relative Dixmier property. Proc. London Math. Soc. 122(1) (2019), 118--123

    2019

  49. [49]

    Marrakchi , Kadison's problem for type subfactors and the bicentralizer conjecture

    A. Marrakchi , Kadison's problem for type subfactors and the bicentralizer conjecture. Invent. Math. 239 (2025), 79--163

    2025

  50. [50]

    G. W. Mackey , A theorem of Stone and von Neumann. Duke Math. J. 16 (1949), 313--326

    1949

  51. [51]

    Masuda , An analogue of Connes-Haagerup approach for classification of subfactors of type III_ 1

    T. Masuda , An analogue of Connes-Haagerup approach for classification of subfactors of type III_ 1 . J. Math. Soc. Japan 57 (2005), 959--1001

    2005

  52. [52]

    Masuda , On the Relative Bicentralizer Flows and the Relative Flow of Weights of Inclusions of Factors of Type _1

    T. Masuda , On the Relative Bicentralizer Flows and the Relative Flow of Weights of Inclusions of Factors of Type _1 . Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, pp. 391–400

    2020

  53. [53]

    Marrakchi, S

    A. Marrakchi, S. Vaes , Ergodic states on type _1 factors and ergodic actions. (2023), arXiv:2305.14217

    work page arXiv 2023

  54. [54]

    Nagisa, J

    M. Nagisa, J. Tomiyama , Completely positive maps in the tensor products of von Neumann algebras. J. Math. Soc. Japan. 33(3) (1981), 539--550

    1981

  55. [55]

    Ocneanu , Actions of discrete amenable groups on von Neumann algebras

    A. Ocneanu , Actions of discrete amenable groups on von Neumann algebras. Lecture Notes in Mathematics, 1138 . Springer-Verlag, Berlin, 1985. iv+115 pp

    1985

  56. [56]

    Okayasu , A note on injectivite factors with trivial bicentralizer

    R. Okayasu , A note on injectivite factors with trivial bicentralizer. (2021), arXiv:2106.05464

    work page arXiv 2021

  57. [57]

    Ozawa , A comment on free group factors

    N. Ozawa , A comment on free group factors. Noncommutative harmonic analysis with applications to probability II, 241—245, Banach Center Publ., 89, Polish Acad. Sci. Inst. Math., Warsaw, 2010

    2010

  58. [58]

    Pimsner, S

    M. Pimsner, S. Popa , Entropy and index for subfactors. Ann. Sci. \'Ecole Norm. Sup. 19 (1986), 57--106

    1986

  59. [59]

    Popa , On a problem of R.V.\ Kadison on maximal abelian -subalgebras in factors

    S. Popa , On a problem of R.V.\ Kadison on maximal abelian -subalgebras in factors. Invent. Math. 65 (1981), 269--281

    1981

  60. [60]

    Popa , Hyperfinite subalgebras normalized by a given automorphism and related problems

    S. Popa , Hyperfinite subalgebras normalized by a given automorphism and related problems. Operator algebras and their connections with topology and ergodic theory (Bu s teni, 1983), 421--433, Lecture Notes in Math., 1132 , Springer, Berlin, 1985

    1983

  61. [61]

    Popa , Classification of amenable subfactors of type II

    S. Popa , Classification of amenable subfactors of type II. Acta Math. 172 (1994), 163-255

    1994

  62. [62]

    Popa , Classification of subfactors and their endomorphisms

    S. Popa , Classification of subfactors and their endomorphisms. CBMS Regional Conference Series in Mathematics, 86 . Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1995. x+110 pp

    1995

  63. [63]

    Popa , On the relative Dixmier property for inclusions of ^* -algebras

    S. Popa , On the relative Dixmier property for inclusions of ^* -algebras. J. Funct. Anal. 171 (2000), 139--154

    2000

  64. [64]

    Popa , On Ergodic Embeddings of Factors

    S. Popa , On Ergodic Embeddings of Factors. Commun. Math. Phys. 384 (2021), 971--996

    2021

  65. [65]

    Schwartz , Two finite, non-hyperfinite, non-isomorphic factors

    J. Schwartz , Two finite, non-hyperfinite, non-isomorphic factors. Comm. Pure Appl. Math. 16 (1963), 19--26

    1963

  66. [66]

    C. E. Sutherland , Cohomology and Extensions of von Neumann Algebras. I. Publ. RIMS, Kyoto. Univ. 16 (1980), 105--133

    1980

  67. [67]

    Str a til a , L

    S. Str a til a , L. Zsid\' o , The Commutation Theorem for Tensor Products over von Neumann Algebras. Journal of Functional Analysis 165(2) (1999), 293--346

    1999

  68. [68]

    Takesaki , Theory of operator algebras

    M. Takesaki , Theory of operator algebras. II . Encyclopaedia of Mathematical Sciences, 125 . Operator Algebras and Non-commutative Geometry, 6. Springer-Verlag, Berlin, 2003. xxii+518 pp

    2003

  69. [69]

    Takesaki , Theory of operator algebras

    M. Takesaki , Theory of operator algebras. III