Model theory and Connes' bicentralizer problem

Hiroshi Ando; Isaac Goldbring

Home/Archive/arXiv

arXiv · 2605.12776

Model theory and Connes' bicentralizer problem

Hiroshi Ando·Isaac Goldbring

View original source ↗Read source document ↗Export metadata ↓

Abstract

We make a series of model-theoretic contributions to Connes' bicentralizer problem, one of the most prominent open problems in the theory of von Neumann algebras. Our work builds on the recent result of Houdayer and Marrakchi who show that, for separable diffuse W$^*$-probability spaces, having trivial bicentralizer is equivalent to being selfless, that is, having the first factor inclusion into the free product be an existential embedding. We first show that the class of selfless $W^*$-probability spaces is $\forall\exists$-axiomatizable. We then extend the Houdayer-Marrakchi equivalence to all diffuse W$^*$-probability spaces, removing the separability hypothesis. Combining these results, we show that for any axiomatizable class of diffuse $W^*$-probability spaces, those with trivial bicentralizer form an $\forall\exists$-axiomatizable class; in particular, the class of type $\mathrm{III}_1$ factors with trivial bicentralizer is $\forall\exists$-axiomatizable. We give concrete axioms for this class using totally bounded variants of Haagerup's characterization of the bicentralizer, which we develop here and believe to be of independent interest. We also introduce the notion of pseudoperiodic $\mathrm{III}_1$ factors and show that any such factor has trivial bicentralizer. In the final section, we prove that the bicentralizer problem has a positive solution if and only if the bicentralizer functor is a zeroset relative to the theory of $\mathrm{III}_1$ factors. We use this result to give an equivalent formulation of the bicentralizer problem in terms of a uniformity condition on Haagerup's Dixmier-type characterization of the bicentralizer.

Explore related subjects

math.OA math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Hiroshi Ando, Isaac Goldbring. 2026-05-12. Model theory and Connes' bicentralizer problem. https://arxiv.org/abs/2605.12776

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Maximal Ergodic Theorems for Operators with Finite Peripheral Spectrum

Let $\mathcal M$ be a semifinite von Neumann algebra and $T : \mathcal{M} \to \mathcal{M}$ be a positive $L_\infty-L_1$ contraction in the sense of Junge-Xu, of which the numerical range, when viewed as an operator on $L_2(\mathcal M),$ is contained in a closed polygon with vertices on the unit circle. In this article, we prove that there exists a positive constant $C_p(T)$ such that \begin{equation}\label{abstract1stin} \Big\|\sup_{n \ge 0}\!^{+} T^n x \Big\|_p \le C_p(T)\, \|x\|_p \end{equation} for all $ x \in L_p(\mathcal{M}) $, $1<p<\infty$ extending some noncommutative maximal ergodic inequalities proved by Junge-Xu \cite{junge-Xu} and later generalized by Bekjan \cite{Bekjan2008}. In the commutative setting, similar inequalities as in \eqref{abstract1stin} hold for arbitrary $L_\infty-L_1$ contractions with the same condition in the numerical range, yielding a vast generalization of a classical maximal ergodic theorem of Stein \cite{Stein-ergodic-theorem} proved in 1960s. Moreover, we establish a noncommutative weak-type maximal inequality for convolution powers which was proved by Calderón and Bellow \cite{Bellow-Calderon} in the classical setting, complementing our strong type noncommutative maximal ergodic inequalities. Our method relies on several new polynomial identities, suitable square function estimates tailored to fit our setting and generalization of Stein's method of embedding maximal function into analytic family of operators. However, we show that even in the classical setting, the variational inequality extending \eqref{abstract1stin} holds for arbitrary operators described above, precisely when the spectrum meets the unit circle only at $1.$

math.OA↗

arXiv2026

Group actions on von Neumann algebras with compact open subgroups

We study strictly outer actions of locally compact groups with a compact open subgroup on von Neumann factors. For amenable groups, we prove 2-cohomology vanishing and obtain classification results using a description of the central sequence algebra and Rohlin-type observations. We also characterize the inclusions of factors associated with group actions, and extend M. Choda's result to this locally compact setting.

math.OA↗

arXiv2026

Covariant representations of actions of inverse semigroups: a new approach to the reduced and essential crossed-product C*-algebras

We consider an action of an inverse semigroup on a C*-algebra $A$ and use it to construct a groupoid of germs with unit space the spectrum of $A$. Motivated by the representation theory of C*-algebras of groupoids, we construct a concrete family of covariant representations for the action. We use this family to give new definitions of the reduced and essential crossed product C*-algebras that avoid, respectively, passing to the double commutant and local multiplier algebra of $A$. Our reduced crossed product is isomorphic to the one defined by Exel, Buss and Meyer, and when the inverse semigroup is quasi-countable our essential crossed product is isomorphic to the one defined by Kwaśniewski and Meyer.

math.OA↗