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

DOI10.5802/CML.67zbMATH Open1473.03021arXiv2007.11628OpenAlexW3150900745MaRDI QIDQ2022201FDOQ2022201

Authors: Isaac Goldbring, Bradd Hart 

Publication date: 28 April 2021

Published in: Confluentes Mathematici (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (15)

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

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)