pith. sign in

arxiv: 2605.21873 · v1 · pith:DRJGGHUEnew · submitted 2026-05-21 · 🧮 math.OA · math.LO

Ultrapowers of spectral subspaces

Hiroshi Ando , Isaac Goldbring This is my paper

Pith reviewed 2026-05-22 02:55 UTC · model grok-4.3

classification 🧮 math.OA math.LO MSC 46L10
keywords ultrapowersspectral subspacestype III factorsvon Neumann algebrasmodular automorphism groupoperator algebrasmodel theory
0
0 comments X

The pith

For type III1 factors, the ultrapower of a spectral subspace is a proper subset of the spectral subspace of the ultrapower.

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

The paper establishes that when you start with a W*-probability space on a type III1 factor and take a nontrivial proper closed subset F of the reals, the ultrapower of the associated spectral subspace sits strictly inside the spectral subspace computed after first taking the ultrapower of the whole algebra. A sympathetic reader would care because this shows two standard constructions in operator algebras do not commute, even after passing to an ultraproduct. The distinction persists for every nonprincipal ultrafilter on the natural numbers. The authors note that the result carries model-theoretic consequences for how these objects behave in continuous logic.

Core claim

For any W*-probability space (M, φ) with M a type III1 factor, any nontrivial proper closed F ⊆ ℝ, and any nonprincipal ultrafilter U on ℕ, the ultrapower M(σ^φ, F)^U is a proper subset of M^U(σ^{φ^U}, F).

What carries the argument

The spectral subspace M(σ^φ, F) cut out by the modular automorphism group σ^φ of the state φ and the closed set F.

Load-bearing premise

The algebra must be a type III1 factor and F must be a nontrivial proper closed subset of the reals.

What would settle it

An explicit computation in a concrete type III1 factor showing that the two sides coincide for some nontrivial proper closed F and some nonprincipal ultrafilter.

read the original abstract

We prove, for any W$^*$-probability space $(M,\varphi)$ where $M$ is a type $\mathrm{III}_1$ factor, any nontrivial, proper closed $F\subseteq \mathbb{R}$, and any nonprincipal ultrafilter $\mathcal{U}$ on $\mathbb{N}$, that the ultrapower $M(\sigma^\varphi,F)^{\mathcal{U}}$ of the spectral subspace $M(\sigma^\varphi,F)$ is a proper subset of the spectral subspace $M^{\mathcal{U}}(\sigma^{\varphi^{\mathcal{U}}},F)$. We discuss the model-theoretic implications of this result.

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 / 3 minor

Summary. The paper proves that for any W*-probability space (M, φ) with M a type III₁ factor, any nontrivial proper closed subset F ⊆ ℝ, and any nonprincipal ultrafilter U on ℕ, the ultrapower M(σ^φ, F)^U is properly contained in the spectral subspace M^U(σ^{φ^U}, F). The manuscript also discusses model-theoretic implications of this non-commutativity between ultrapowers and spectral subspaces.

Significance. If the central inclusion holds, the result is significant for the model theory of operator algebras: it exhibits a setting in which ultrapowers fail to commute with taking spectral subspaces associated to the modular automorphism group, and the type III₁ assumption supplies the necessary Connes-spectrum behavior to produce a separating element. This provides a concrete, falsifiable distinction between the two sides that may be useful for studying ultrapower invariants or for constructing counterexamples to equality statements in related contexts.

minor comments (3)
  1. The notation for the modular automorphism group σ^φ and the spectral subspace M(σ^φ, F) is introduced without a brief reminder of the standard definition from Takesaki or Connes; adding one sentence in the introduction would improve accessibility for readers outside the immediate subfield.
  2. In the discussion of model-theoretic implications, the manuscript refers to 'certain properties' that are not preserved; specifying at least one concrete property (e.g., a particular invariant or formula) would make the claim more precise and easier to verify.
  3. The statement of the main theorem would benefit from an explicit sentence clarifying that the inclusion is proper only under the stated hypotheses on M, F, and U, even though this is already implicit in the abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of its potential significance for the model theory of operator algebras, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity: direct theorem on ultrapower inclusion for type III1 factors

full rationale

The paper states a scoped theorem asserting proper inclusion of the ultrapower of a spectral subspace inside the spectral subspace of the ultrapower, for type III1 factors with nontrivial proper closed F and nonprincipal U. The abstract presents this as a proved result relying on the distinguishing spectral and Connes-spectrum properties of type III1 factors rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equations or steps in the provided claim reduce the inclusion to a tautology or to inputs by construction; the scoping note that equality may hold when the type III1 or F conditions fail further indicates the argument uses independent structure of the setting. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The result rests on standard background facts from von Neumann algebra theory (modular automorphism groups, type classification) and set theory (nonprincipal ultrafilters); no new free parameters or invented entities are introduced in the abstract.

axioms (3)
  • domain assumption M is a type III1 factor equipped with a faithful normal state φ whose modular automorphism group σ^φ is defined
    Invoked in the statement of the theorem; standard in the theory of von Neumann algebras
  • domain assumption F is a nontrivial proper closed subset of ℝ
    Explicit hypothesis required for the proper-inclusion claim
  • domain assumption U is a nonprincipal ultrafilter on ℕ
    Required for the ultrapower construction to be non-trivial

pith-pipeline@v0.9.0 · 5612 in / 1488 out tokens · 41196 ms · 2026-05-22T02:55:27.213021+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

67 extracted references · 67 canonical work pages · 1 internal anchor

  1. [1]

    2004 , isbn =

    Yitzhak Katznelson , title =. 2004 , isbn =

    work page 2004

  2. [2]

    Model theory and Connes' bicentralizer problem

    Ando, Hiroshi and Goldbring, Isaac , year =. Model theory and. doi:10.48550/arXiv.2605.12776 , note =. 2605.12776 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.12776

  3. [3]

    Matsumoto, Kengo , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1997 , NUMBER =. doi:10.1112/S0024611597000166 , URL =

    work page doi:10.1112/s0024611597000166 1997

  4. [4]

    Houdayer, Cyril , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0002-9939-09-09923-7 , URL =

    work page doi:10.1090/s0002-9939-09-09923-7 2009

  5. [5]

    , TITLE =

    Connes, A. , TITLE =. J. Functional Analysis , FJOURNAL =. 1974 , PAGES =. doi:10.1016/0022-1236(74)90059-7 , URL =

    work page doi:10.1016/0022-1236(74)90059-7 1974

  6. [6]

    Houdayer, Cyril and Isono, Yusuke , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/blms.12376 , URL =

    work page doi:10.1112/blms.12376 2020

  7. [7]

    2024 , eprint =

    Panchugopal Bikram , title =. 2024 , eprint =

    work page 2024

  8. [8]

    Houdayer, Cyril and Ueda, Yoshimichi , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1017/S0305004116000396 , URL =

    work page doi:10.1017/s0305004116000396 2016

  9. [9]

    Arveson, William , TITLE =. J. Functional Analysis , FJOURNAL =. 1974 , PAGES =. doi:10.1016/0022-1236(74)90034-2 , URL =

    work page doi:10.1016/0022-1236(74)90034-2 1974

  10. [10]

    Pointwise inner automorphisms of injective factors , JOURNAL =

    Haagerup, Uffe and St. Pointwise inner automorphisms of injective factors , JOURNAL =. 1994 , NUMBER =. doi:10.1006/jfan.1994.1070 , URL =

    work page doi:10.1006/jfan.1994.1070 1994

  11. [11]

    Haagerup, Uffe and St rmer, Erling , TITLE =. J. Funct. Anal. , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0022-1236(90)90074-U , URL =

    work page doi:10.1016/0022-1236(90)90074-u 1990

  12. [12]

    Marrakchi, Amine , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/plms.12347 , URL =

    work page doi:10.1112/plms.12347 2021

  13. [13]

    Masuda, Toshihiko and Tomatsu, Reiji , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/memo/1153 , URL =

    work page doi:10.1090/memo/1153 2016

  14. [14]

    Masuda, Toshihiko , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/prims/56-2-4 , URL =

    work page doi:10.4171/prims/56-2-4 2020

  15. [15]

    Marrakchi, Amine , TITLE =. Invent. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00222-024-01299-5 , URL =

    work page doi:10.1007/s00222-024-01299-5 2025

  16. [16]

    Equivalence of normal states on von

    Haagerup, Uffe and St. Equivalence of normal states on von. Adv. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0001-8708(90)90078-2 , URL =

    work page doi:10.1016/0001-8708(90)90078-2 1990

  17. [17]

    Acta Math

    Takesaki, Masamichi , TITLE =. Acta Math. , FJOURNAL =. 1973 , PAGES =. doi:10.1007/BF02392037 , URL =

    work page doi:10.1007/bf02392037 1973

  18. [18]

    Diameters of state spaces of type

    Connes, Alain and Haagerup, Uffe and St. Diameters of state spaces of type. Operator algebras and their connections with topology and ergodic theory (. 1985 , ISBN =. doi:10.1007/BFb0074881 , URL =

    work page doi:10.1007/bfb0074881 1985

  19. [19]

    Connes, Alain and St rmer, Erling , TITLE =. J. Functional Analysis , FJOURNAL =. 1978 , NUMBER =. doi:10.1016/0022-1236(78)90085-x , URL =

    work page doi:10.1016/0022-1236(78)90085-x 1978

  20. [20]

    Ando, Hiroshi and Haagerup, Uffe and Winsl w, Carl , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1515/crelle-2014-0005 , URL =

    work page doi:10.1515/crelle-2014-0005 2016

  21. [21]

    Haagerup, Uffe and Winsl. The. Amer. J. Math. , FJOURNAL =. 1998 , NUMBER =

    work page 1998

  22. [22]

    Haagerup, Uffe and Winsl w, Carl , TITLE =. J. Funct. Anal. , FJOURNAL =. 2000 , NUMBER =. doi:10.1006/jfan.1999.3538 , URL =

    work page doi:10.1006/jfan.1999.3538 2000

  23. [23]

    , TITLE =

    Connes, A. , TITLE =. J. Operator Theory , FJOURNAL =. 1985 , NUMBER =

    work page 1985

  24. [24]

    Isono, Yusuke , TITLE =. Compos. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/S0010437X24007413 , URL =

    work page doi:10.1112/s0010437x24007413 2024

  25. [25]

    Okayasu, Rui , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/prims/60-1-3 , URL =

    work page doi:10.4171/prims/60-1-3 2024

  26. [26]

    Haagerup, Uffe , TITLE =. Math. Scand. , FJOURNAL =. 1975 , NUMBER =. doi:10.7146/math.scand.a-11606 , URL =

    work page doi:10.7146/math.scand.a-11606 1975

  27. [27]

    , TITLE =

    Takesaki, M. , TITLE =. 1970 , PAGES =

    work page 1970

  28. [28]

    Raynaud, Yves , TITLE =. J. Operator Theory , FJOURNAL =. 2002 , NUMBER =

    work page 2002

  29. [29]

    Pacific J

    Araki, Huzihiro , TITLE =. Pacific J. Math. , FJOURNAL =. 1974 , PAGES =

    work page 1974

  30. [30]

    , TITLE =

    Murphy, Gerard J. , TITLE =. 1990 , PAGES =

    work page 1990

  31. [31]

    The theory of

    Sakai, Sh. The theory of

    work page

  32. [32]

    1985 , PAGES =

    Ocneanu, Adrian , TITLE =. 1985 , PAGES =. doi:10.1007/BFb0098579 , URL =

    work page doi:10.1007/bfb0098579 1985

  33. [33]

    Some theorems on locally product Riemann - ian spaces

    Tomiyama, Jun , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1959 , PAGES =. doi:10.2748/tmj/1178244633 , URL =

    work page doi:10.2748/tmj/1178244633 1959

  34. [34]

    Sakai, Sh\^oichir\^o , TITLE =. Proc. Japan Acad. , FJOURNAL =. 1957 , PAGES =

    work page 1957

  35. [35]

    2003 , publisher =

    The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , author =. 2003 , publisher =

    work page 2003

  36. [36]

    Marrakchi, Amine , title =. Invent. Math. , fjournal =. 2020 , number =. doi:10.1007/s00222-020-00971-w , url =

    work page doi:10.1007/s00222-020-00971-w 2020

  37. [37]

    Houdayer, Cyril and Isono, Yusuke , title =. J. Lond. Math. Soc. (2) , fjournal =. 2015 , number =. doi:10.1112/jlms/jdv018 , url =

    work page doi:10.1112/jlms/jdv018 2015

  38. [38]

    Connes, Alain , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1973 , PAGES =

    work page 1973

  39. [39]

    Haagerup, Uffe , TITLE =. J. Functional Analysis , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0022-1236(79)90053-3 , URL =

    work page doi:10.1016/0022-1236(79)90053-3 1979

  40. [40]

    Bulletin des Sciences Math

    Alain Connes , title =. Bulletin des Sciences Math. 1973 , pages =

    work page 1973

  41. [41]

    Mathematische Annalen , volume =

    Hiroshi Ando and Uffe Haagerup and Cyril Houdayer and Amine Marrakchi , title =. Mathematische Annalen , volume =. 2020 , doi =

    work page 2020

  42. [42]

    Expositiones Mathematicae , volume =

    Nils Byrial Andersen , title =. Expositiones Mathematicae , volume =. 2014 , doi =

    work page 2014

  43. [43]

    Arulseelan and I

    J. Arulseelan and I. Goldbring and B. Hart and T. Sinclair , title =. arXiv preprint , eprint =

    work page

  44. [44]

    Ando, Hiroshi and Haagerup, Uffe , TITLE =. J. Funct. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.jfa.2014.03.013 , URL =

    work page doi:10.1016/j.jfa.2014.03.013 2014

  45. [45]

    Acta Math

    Haagerup, Uffe , TITLE =. Acta Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF02392257 , URL =

    work page doi:10.1007/bf02392257 1987

  46. [46]

    , TITLE =

    Takesaki, M. , TITLE =. 2003 , PAGES =. doi:10.1007/978-3-662-10451-4 , URL =

    work page doi:10.1007/978-3-662-10451-4 2003

  47. [47]

    Existentially closed

    Goldbring, Isaac and Houdayer, Cyril , journal=. Existentially closed. 2022 , publisher=

    work page 2022

  48. [48]

    Selfless

    Houdayer, Cyril and Marrakchi, Amine , journal=. Selfless

    work page

  49. [49]

    Beyond First Order Model Theory, Volume II , pages=

    Spectral gap and definability , author=. Beyond First Order Model Theory, Volume II , pages=. 2023 , publisher=

    work page 2023

  50. [50]

    Advances in Mathematics , volume=

    Unique prime factorization and bicentralizer problem for a class of type III factors , author=. Advances in Mathematics , volume=. 2017 , publisher=

    work page 2017

  51. [51]

    Journal of Functional Analysis , volume=

    Continuous model theories for von Neumann algebras , author=. Journal of Functional Analysis , volume=. 2019 , publisher=

    work page 2019

  52. [52]

    Selfless

    Robert, Leonel , journal=. Selfless. 2025 , publisher=

    work page 2025

  53. [53]

    Model Theory of

    Farah, Ilijas and Hart, Bradd and Lupini, Martino and Robert, Leonel and Tikuisis, Aaron and Vignati, Alessandro and Winter, Wilhelm , volume =. Model Theory of. 2021 , publisher =

    work page 2021

  54. [54]

    Free-independent sequences in type

    Popa, Sorin , journal =. Free-independent sequences in type. 1995 , publisher =

    work page 1995

  55. [55]

    Strict comparison in reduced group

    Amrutam, Tattwamasi and Gao, David and Kunnawalkam Elayavalli, Srivatsav and Patchell, Gregory , journal =. Strict comparison in reduced group. 2025 , publisher =

    work page 2025

  56. [56]

    Bulletin of the London Mathematical Society , volume=

    Model theory of operator algebras III: elementary equivalence and II1 factors , author=. Bulletin of the London Mathematical Society , volume=. 2014 , publisher=

    work page 2014

  57. [57]

    Advances in Mathematics , volume=

    Factoriality, type classification and fullness for free product von Neumann algebras , author=. Advances in Mathematics , volume=. 2011 , publisher=

    work page 2011

  58. [58]

    Model Theory of Operator Algebras , volume=

    Introduction to nontracial ultraproducts of von Neumann algebras , author=. Model Theory of Operator Algebras , volume=. 2023 , publisher=

    work page 2023

  59. [59]

    2022 , publisher=

    Ultrafilters throughout mathematics , author=. 2022 , publisher=

    work page 2022

  60. [60]

    Ando, Hiroshi and Goldbring, Isaac , title =

    work page

  61. [61]

    Israel Journal of Mathematics , volume=

    Model theory of operator algebras II: model theory , author=. Israel Journal of Mathematics , volume=. 2014 , publisher=

    work page 2014

  62. [62]

    Marrakchi, Amine and Vaes, Stefaan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1515/crelle-2024-0007 , URL =

    work page doi:10.1515/crelle-2024-0007 2024

  63. [63]

    On a problem of

    Popa, Sorin , journal=. On a problem of. 1981 , publisher=

    work page 1981

  64. [64]

    London Mathematical Society Lecture Note Series , volume=

    Model theory for metric structures , author=. London Mathematical Society Lecture Note Series , volume=. 2008 , publisher=

    work page 2008

  65. [65]

    Communications in Mathematical Physics , volume=

    Notes on algebraic invariants for non-commutative dynamical systems , author=. Communications in Mathematical Physics , volume=. 1979 , publisher=

    work page 1979

  66. [66]

    Annals of Pure and Applied Logic , volume=

    Using ultrapowers to compare continuous structures , author=. Annals of Pure and Applied Logic , volume=. 2024 , publisher=

    work page 2024

  67. [67]

    International Mathematics Research Notices , volume=

    On the Theories of McDuff’s II Factors , author=. International Mathematics Research Notices , volume=. 2017 , publisher=

    work page 2017