Elementary equivalence and disintegration of tracial von Neumann algebras
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e105

Voir la notice de l'article provenant de la source Cambridge University Press

We prove an analog of the disintegration theorem for tracial von Neumann algebras in the setting of elementary equivalence rather than isomorphism, showing that elementary equivalence of two direct integrals of tracial factors implies fiberwise elementary equivalence under mild, and necessary, hypotheses. This verifies a conjecture of Farah and Ghasemi. Our argument uses a continuous analog of ultraproducts where an ultrafilter on a discrete index set is replaced by a character on a commutative von Neumann algebra, which is closely related to Keisler randomizations of metric structures. We extend several essential results on ultraproducts, such as Łoś’s theorem and countable saturation, to this more general setting.
Gao, David; Jekel, David. Elementary equivalence and disintegration of tracial von Neumann algebras. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e105. doi: 10.1017/fms.2025.10066
@article{10_1017_fms_2025_10066,
     author = {Gao, David and Jekel, David},
     title = {Elementary equivalence and disintegration of tracial von {Neumann} algebras},
     journal = {Forum of Mathematics, Sigma},
     pages = {e105},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10066},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10066/}
}
TY  - JOUR
AU  - Gao, David
AU  - Jekel, David
TI  - Elementary equivalence and disintegration of tracial von Neumann algebras
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e105
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10066/
DO  - 10.1017/fms.2025.10066
ID  - 10_1017_fms_2025_10066
ER  - 
%0 Journal Article
%A Gao, David
%A Jekel, David
%T Elementary equivalence and disintegration of tracial von Neumann algebras
%J Forum of Mathematics, Sigma
%D 2025
%P e105
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10066/
%R 10.1017/fms.2025.10066
%F 10_1017_fms_2025_10066

[AGHS25] Aruseelan, J., Goldbring, I., Hart, B. and Sinclair, T., ‘Totally bounded elements in -probability spaces’, Preprint, 2025, . Google Scholar | arXiv

[AGZ09] Anderson, G. W., Guionnet, A. and Zeitouni, O., An Introduction to Random Matrices (Cambridge Studies in Advanced Mathematics) (Cambridge University Press, Cambridge, 2009).10.1017/CBO9780511801334 Google Scholar | DOI

[AP16] Anantharaman, C. and Popa, S., An Introduction to Factors, book in progress, 2016. Google Scholar

[BBHU08] Ben Yaacov, I., Berenstein, A., Henson, C. W. and Usvyatsov, A., ‘Model theory for metric structures’, in Chatzidakis, Z., Macpherson, D., Pillay, A. and Wilkie, A., eds., Model Theory with Applications to Algebra and Analysis, Vol. II (London Mathematical Society Lecture Notes Series) no. 350 (London Mathematical Society, 2008), 315–427.10.1017/CBO9780511735219.011 Google Scholar | DOI

[BCI17] Boutonnet, R., Chifan, I. and Ioana, A., ‘ factors with non-isomorphic ultrapowers’, Duke Math. J. 166(11) (2017), 2023–2051. http://doi.org/10.1215/00127094-0000017X Google Scholar | DOI

[Ben13] Ben Yaacov, I., ‘On theories of random variables’, Israel J. Math. 194 (2013), 957–1012. http://doi.org/10.1007/s11856-012-0155-4 Google Scholar | DOI

[BIT24] Ben Yaacov, I., Ibarlucía, T. and Tsankov, T., ‘Extremal models and direct integrals in affine logic’, Preprint, 2024, . Google Scholar | arXiv

[Bla06] Blackadar, B., Operator Algebras: Theory of -algebras and von Neumann Algebras (Encyclopaedia of Mathematical Sciences) vol. 122 (Springer-Verlag, Berlin, Heidelberg, 2006). Google Scholar

[BO08] Brown, N. P. and Ozawa, N., -algebras and Finite-Dimensional Approximations (Graduate Studies in Mathematics) vol. 88 (American Mathematical Society, Providence, 2008). Google Scholar

[CIKE23] Chifan, I., Ioana, A. and Elayavalli, S. Kunnawalkam, ‘An exotic factor without property Gamma’, Geom. Funct. Anal. 33 (2023), 1243–1265. http://doi.org/10.1007/s00039-023-00649-4 Google Scholar | DOI

[CIOS23] Chifan, I., Ioana, A., Osin, D. and Sun, B., ‘Wreath-like products of groups and their von neumann algebras I: -superrigidity’, Ann. of Math. (2) 198(3) (2023), 1261–1303. http://doi.org/10.4007/annals.2023.198.3.6 Google Scholar | DOI

[CQT24] Chifan, I., Fernández Quero, A. and Tan, H., ‘Rigidity results for von Neumann algebras with diffuse center’, Preprint, 2024, . Google Scholar | arXiv

[Dab19] Dabrowski, Y., ‘Continuous model theories for von Neumann algebras’, J. Func. Anal. 277(11) (2019). http://doi.org/10.1016/j.jfa.2019.108308 Google Scholar | DOI

[Dix81] Dixmier, J., Von Neumann Algebras (North-Holland Publishing Company, 1981). Google Scholar

[FG24] Farah, I. and Ghasemi, S., ‘Preservation of elementarity by tensor products of tracial von Neumann algebras’, Pacific J. Math. 332(1) (2024), 91–113. http://doi.org/10.2140/pjm.2024.332.91 Google Scholar | DOI

[FGL06] Fang, J., Ge, L. and Li, W., ‘Central sequence algebras of von Neumann algebras’, Taiwanese J. Math. 10(1) (2006), 187–200. http://doi.org/10.11650/twjm/1500403810 Google Scholar | DOI

[FHS13] Farah, I., Hart, B. and Sherman, D., ‘Model theory of operator algebras I: Stability’, Bull. Lond. Math. Soc. 45(4) (2013), 825–838. http://doi.org/10.1112/blms/bdt014 Google Scholar | DOI

[FHS14a] Farah, I., Hart, B. and Sherman, D., ‘Model theory of operator algebras II: Model theory’, Israel J. Math. 201(1) (2014), 477–505. http://doi.org/10.1007/s11856-014-1046-7 Google Scholar | DOI

[FHS14b] Farah, I., Hart, B. and Sherman, D., ‘Model theory of operator algebras III: Elementary equivalence and factors’, Bull. Lond. Math. Soc. 46(3) (2014), 609–628. http://doi.org/10.1112/blms/bdu012 Google Scholar | DOI

[FJP23] Farah, I., Jekel, D. and Pi, J., ‘Quantum expanders and quantifier reduction in tracial von Neumann algebras’, Preprint, 2023, arxiv: 2310.06197. Google Scholar

[GH17] Goldbring, I. and Hart, B., ‘On the theories of McDuff’s factors’, Int. Math. Res. Not. 2017(27) (2017), 5609–5628. http://doi.org/10.1093/imrn/rnw180 Google Scholar

[GH23] Goldbring, I. and Hart, B., ‘A survey on the model theory of tracial von Neumann algebras’, in Goldbring, Isaac, ed., Model Theory of Operator Algebras (DeGruyter, Berlin, Boston, 2023), 133–157. http://doi.org/10.1515/9783110768282-004 Google Scholar | DOI

[Gol23] Goldbring, I., ‘Spectral gap and definability’, in Iovino, J., ed., Beyond First Order Model Theory, Volume II (Chapman and Hall/CRC, 2023), 36.10.1201/9780429263637-3 Google Scholar | DOI

[Har23] Hart, B., ‘An introduction to continuous model theory’, in Goldbring, Isaac, ed., Model Theory of Operator Algebras (DeGruyter, Berlin, Boston, 2023), 83–131. http://doi.org/10.1515/9783110768282-003 Google Scholar | DOI

[IPV13] Ioana, A., Popa, S. and Vaes, S., ‘A class of superrigid group von Neumann algebras’, Ann. of Math. (2) 178(1) (2013), 231–286. http://doi.org/10.4007/annals.2013.178.1.4 Google Scholar | DOI

[Jek23] Jekel, D., ‘Covering entropy for types in tracial -algebras’, J. Logic Anal. 15(2) (2023), 1–68. http://doi.org/10.4115/jla.2023.15.2 Google Scholar

[Jek24] Jekel, D., ‘Optimal transport for types and convex analysis for definable predicates in tracial -algebras’, J. Funct. Anal. 287(9) (2024), 110583. http://doi.org/10.1016/j.jfa.2024.110583 Google Scholar | DOI

[JP24] Jekel, D. and Pi, J., ‘An elementary proof of the inequality for conditional free entropy’, Doc. Math. 29(5) (2024), 1085–1124. http://doi.org/10.4171/dm/969 Google Scholar | DOI

[Kei99] Keisler, H. J., ‘Randomizing a model’, Adv. Math. 143(1) (1999), 124–158. http://doi.org/10.1006/aima.1998.1793 Google Scholar | DOI

[KP23] Kunnawalkam Elayavalli, S. and Patchell, G., ‘Sequential commutation in tracial von Neumann algebras’, J. Funct. Anal. 288(4) (2025), 1–28. Article No. 110719. http://doi.org/10.1016/j.jfa.2024.110719 Google Scholar | DOI

[Mah42] Maharam, D., ‘On homogeneous measure algebras’, Proc. Nat. Acad. Sci. USA 28(3) (1942), 108–111. http://doi.org/10.1073/pnas.28.3.108 Google Scholar PubMed | DOI

[McD69a] Mcduff, D., ‘A countable infinity of factors’, Ann. of Math. 90(2) (1969), 361–371. http://doi.org/10.2307/1970729 Google Scholar | DOI

[McD69b] Mcduff, D., ‘Uncountably many factors’, Ann. of Math. 90(2) (1969), 372–377. http://doi.org/10.2307/1970730 Google Scholar | DOI

[MS17] Mingo, J. A. and Speicher, R., Free Probability and Random Matrices (Fields Institute Monographs) (Springer, New York, 2017).10.1007/978-1-4939-6942-5 Google Scholar | DOI

[SS08] Sinclair, A. and Smith, R., Finite von Neumann Algebras and Masas (Cambridge University Press, Cambridge, 2008).10.1017/CBO9780511666230 Google Scholar | DOI

[Tak79] Takesaki, M., Theory of Operator Algebras I (Springer-Verlag, New York, NY, 1979).10.1007/978-1-4612-6188-9 Google Scholar | DOI

[VDN92] Voiculescu, D.-V., Dykema, K. J. and Nica, A., Free Random Variables (CRM Monograph Series) vol. 1 (American Mathematical Society, Providence, RI, 1992).10.1090/crmm/001 Google Scholar | DOI

[von49] Von Neumann, J., ‘On rings of operators. reduction theory’, Ann. of Math 50(2) (1949), 401–485. http://doi.org/10.2307/1969463 Google Scholar | DOI

[Wri54] Wright, F. B., ‘A reduction for algebras of finite type’, Ann. of Math 60(3) (1954), 560–570. http://doi.org/10.2307/1969851 Google Scholar | DOI

Cité par Sources :