Properties expressible in small fragments of the theory of the hyperfinite II₁ factor

DOI10.5802/CML.67MaRDI QIDQ2022201zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Bradd Hart

Publication date 28 April 2021

Published in Confluentes Mathematici (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/2007.11628

zbMATH Keywords

von Neumann algebrascontinuous model theory\(\mathrm{II}_1\) factorsfactorial commutant embedding problem

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Models of other mathematical theories (03C65) Continuous model theory, model theory of metric structures (03C66)

Abstract: We show that any II${}_1$ factor that has the same 4-quantifier theory as the hyperfinite II${}_1$ factor $mathcalR$ satisfies the conclusion of the Popa Factorial Commutant Embedding Problem (FCEP) and has the Brown property. These results improve recent results proving the same conclusions under the stronger assumption that the factor is actually elementarily equivalent to $mathcalR$. In the same spirit, we improve a recent result of the first-named author, who showed that if (1) the amalgamated free product of embeddable factors over a property (T) base is once again embeddable, and (2) $mathcalR$ is an infinitely generic embeddable factor, then the FCEP is true of all property (T) factors. In this paper, it is shown that item (2) can be weakened to assume that $mathcalR$ has the same 3-quantifier theory as an infinitely generic embeddable factor.

Recommendations

• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• Embedding universality for \(\mathrm{II}_1\) factors with property (T)
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• On Popa's factorial commutant embedding problem
• scientific article; zbMATH DE number 2207653

Cites work

• Existentially closed \(\mathrm{ II}_1\) factors
• Model theory for metric structures
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• On Popa's factorial commutant embedding problem
• On the theories of McDuff's II\(_1\) factors
• Property T for von Neumann Algebras
• Topological dynamical systems associated to \(\text{II}_{1}\)-factors

Cited in

(15)

• Uniformly super McDuff \(\mathrm{II}_1\) factors
• Eigenvalue inequalities in an embeddable factor
• An exotic \(\mathrm{II}_1\) factor without property Gamma
• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• A remark on the ultrapower algebra of the hyperfinite factor
• Minimal faces and Schur's lemma for embeddings into \(R^{\mathcal{U}}\)
• Model theory of \(C^*\)-algebras
• Computability and the Connes embedding problem
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• On the theories of McDuff's II\(_1\) factors
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• On Popa's factorial commutant embedding problem
• A survey on the model theory of tracial von Neumann algebras
• \(\mathcal H\)-theories, fragments of HA and PA-normality

This page was built for publication: Properties expressible in small fragments of the theory of the hyperfinite \(\mathrm{II}_1\) factor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2022201)