arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2508.17241

Model Theory of General von Neumann Algebras I: Generalized Ocneanu Ultraproducts

Jananan Arulseelan
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper collates, presents, and expands upon technology and results obtained as part of the author's PhD thesis. We generalize work done in the $σ$-finite setting by the author, Goldbring, Hart, and Sinclair by producing a language and axiomatization of full left Hilbert algebras. To improve the accessibility of using this axiomatization, we examine the metric structure ultraproduct associated to this axiomatization. In doing so, we generalize results of Ando-Haagerup and Masuda-Tomatsu. This examination leads us to multiple operator-algebraic characterizations of the ultraproduct which closely resemble known characterizations of the Ocneanu ultraproduct. One of these is closely related to the notion of continuous elements of an ultraproduct with respect to an action. In the spirit of results of the author, Goldbring, and Hart, we prove various undecidable universal theory results for von Neumann algebras with unbounded weights. Notably, we prove that the hyperfinite II$_\infty$ factor together with its canonical tracial weight has an undecidable theory. This result was expected by experts, but could not be made precise until now. We also study the strengthenings of the negative solution to CEP that this result implies.

Explore related subjects

math.OAmath.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jananan Arulseelan. 2025-08-24. Model Theory of General von Neumann Algebras I: Generalized Ocneanu Ultraproducts. https://arxiv.org/abs/2508.17241

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

KEEP EXPLORING

Related papers

arXiv2026

A three-functor formalism for commutative von Neumann algebras

A three-functor formalism is the half of a six-functor formalism that supports the projection and base change formulas. In this paper, we provide a three-functor formalism for commutative von Neumann algebras and their modules. Using the Gelfand-Naimark theorem, this gives rise to a three-functor formalism for measure spaces and measurable bundles of Hilbert spaces. We use this to prove Fell absorption for unitary representations of measure groupoids. The three-functor formalism for commutative von Neumann algebras takes values in W*-categories, and we discuss in what sense it is a unitary three-functor formalism.

math.OA↗
arXiv2026

On Generators for $W^{*}$-bundles

We give an explicit example of a $W^{*}$-bundle $M$ over a compact, metrizable space $K$, which has each fiber $M_{p}$ a $\textrm{II}_{1}$-factor with separable predual, and which satisfies the following negation of the generator problem: given any finite family $a_{1},\cdots,a_{n}\in M$ of continuous sections, there is a $p\in K$ (depending upon that family) so that $a_{1,p},\cdots,a_{n,p}$ do not generate $M_{p}$ as a von Neumann algebra. More generally, if $N$ is a sub-bundle of $M$ with the property that each fiber is hyperfinite, or has a Cartan, or is generated by two commuting diffuse subalgebras, or has diffuse central sequence algebra, or is generated by a single sequential commutation orbit, then given any finite family $a_{1},\cdots,a_{n}\in M$ of continuous sections, there is a $p\in K$ (depending upon that family) so that $a_{1,p},\cdots,a_{n,p}$ together with $N_{p}$ do not generate $M_{p}$. We discuss implications for the generator problem for von Neumann algebras: e.g. there is no ``continuous" way to take countably many generators for a tracial von Neumann algebra with separable predual and produce a single generator, at least if such a procedure works for all von Neumann algebras simultaneously.

math.OA↗
arXiv2026

The Operator Daugavet Property in Semifinite Noncommutative $L_1$-Spaces

Let $\mathcal M$ be a diffuse semifinite von Neumann algebra endowed with a faithful normal semifinite trace $τ$. We prove that, for every nonzero Banach space $Y$, the projective tensor product $L_1(\mathcal M,τ)\widehat{\otimes}_πY$ has the operator Daugavet property. Moreover, the witnessing operators may always be chosen contractive. This extends the operator Daugavet phenomenon from atomless vector-valued $L_1$-spaces to the semifinite noncommutative setting and yields further Daugavet-type consequences for projective symmetric tensor products, all without approximation assumptions.

math.OA↗