English

Ultrapowers of spectral subspaces

Operator Algebras 2026-05-22 v1 Logic

Abstract

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

Keywords

Cite

@article{arxiv.2605.21873,
  title  = {Ultrapowers of spectral subspaces},
  author = {Hiroshi Ando and Isaac Goldbring},
  journal= {arXiv preprint arXiv:2605.21873},
  year   = {2026}
}

Comments

10 pages; first draft; comments welcome!

R2 v1 2026-07-22T07:25:11.337Z