English

Back-and-forth equivalent group von Neumann algebras

Logic 2024-03-26 v1 Operator Algebras

Abstract

We prove that if GG and HH are α\alpha-back-and-forth equivalent groups (in the sense of computable structure theory) for some ordinal αω\alpha \geq \omega, then their group von Neumann algebras L(G)L(G) and L(H)L(H) are also α\alpha-back-and-forth equivalent. In particular, if GG and HH are ω\omega-back-and-forth-equivalent groups, then L(G)L(G) and L(H)L(H) are elementarily equivalent; this is known to fail under the weaker hypothesis that GG and HH are merely elementarily equivalent. We extend this result to crossed product von Neumann algebras associated to Bernoulli actions of back-and-forth equivalent groups.

Keywords

Cite

@article{arxiv.2403.16181,
  title  = {Back-and-forth equivalent group von Neumann algebras},
  author = {Isaac Goldbring and Matthew Harrison-Trainor},
  journal= {arXiv preprint arXiv:2403.16181},
  year   = {2024}
}

Comments

30 pages; first draft; comments welcome!

R2 v1 2026-06-28T15:31:43.234Z