Ultrapowers of spectral subspaces

TL;DR

This paper investigates ultrapowers of spectral subspaces in type III_1 factors within W*-probability spaces, revealing that ultrapower spectral subspaces are proper subsets of the spectral subspaces of ultrapowered algebras, with implications for model theory.

Contribution

It establishes a novel relationship between ultrapowers of spectral subspaces and spectral subspaces of ultrapowered algebras in type III_1 factors, highlighting nontrivial model-theoretic consequences.

Findings

Ultrapower of spectral subspace is a proper subset of the spectral subspace of the ultrapower.

Results apply to W*-probability spaces with type III_1 factors.

Discusses implications for model theory of operator algebras.

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.