pith. sign in

arxiv: 2605.16669 · v1 · pith:HZDLCCG3new · submitted 2026-05-15 · 🧮 math.OA · math.GR

On ultraproduct approximations and property (T) factors

Jesse Peterson This is my paper

Pith reviewed 2026-05-19 20:55 UTC · model grok-4.3

classification 🧮 math.OA math.GR
keywords von Neumann algebraselementary equivalenceultraproductsproperty (T)rigidityII1 factorsgroup factorscontinuous logic
0
0 comments X

The pith

A framework for deformation and rigidity in continuous logic shows that L(SL3(Z)) and L(F2) are not elementarily equivalent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a framework that moves central techniques from deformation and rigidity theory into the continuous model theory of II1 factors. With this tool the author proves that the group von Neumann algebra of SL(3,Z) fails to be elementarily equivalent to the free group factor on two generators. The same approach shows that L(F2) is not pseudomatricial and produces an infinite collection of pairwise non-elementarily equivalent full factors that each embed into an ultraproduct of the hyperfinite II1 factor. These statements resolve several previously open questions about first-order properties of factors.

Core claim

By transferring key aspects of deformation and rigidity theory into the setting of ultraproducts and continuous logic for II1 factors, the group von Neumann algebras L(SL3(Z)) and L(F2) are shown to be not elementarily equivalent. The same transfer establishes that L(F2) is not pseudomatricial and yields a Bass-Serre type rigidity theorem that supplies an infinite family of pairwise non-elementarily equivalent full factors, each of which embeds into an ultraproduct of the hyperfinite II1 factor. A continuum of additional non-equivalent examples is obtained by combining the framework with earlier results of Boutonnet, Chifan and Ioana.

What carries the argument

The framework that transfers deformation and rigidity methods into continuous model theory for II1 factors, allowing ultraproduct approximations to detect distinctions arising from property (T).

If this is right

  • Property (T) group factors can be separated from free group factors by first-order sentences in the language of II1 factors.
  • Ultraproducts of the hyperfinite II1 factor contain infinitely many distinct rigid full factors up to elementary equivalence.
  • Bass-Serre rigidity extends to the model-theoretic context and produces non-isomorphic embeddings into the same ultraproduct.
  • A continuum of pairwise non-equivalent full factors exists among both group von Neumann algebras and group-measure space constructions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same transfer technique may separate additional families of factors that are currently distinguished only by invariants outside continuous logic.
  • If the framework applies to other rigidity results, many more factors could be shown to realize distinct first-order theories.

Load-bearing premise

The framework transfers the essential features of deformation and rigidity into the continuous logic setting without introducing artifacts that would alter the equivalence or rigidity conclusions.

What would settle it

An explicit continuous sentence satisfied by both L(SL3(Z)) and L(F2), or a direct construction showing that L(F2) admits a pseudomatricial approximation in the ultraproduct sense.

read the original abstract

We introduce a framework allowing for key aspects of deformation/rigidity theory to be used in the study of continuous model theory of II$_1$ factors. Using this framework, we solve several well-known open problems in the area. For example, we show that the group von Neumann algebras $L(SL_3(\mathbb Z))$ and $L \mathbb F_2$ are not elementarily equivalent, and we show that the group von Neumann algebra $L\mathbb F_2$ is not pseudomatricial. We also show a Bass-Serre type strong rigidity result in the setting of ultraproducts to provide an infinite family of pairwise non-elementarily equivalent full factors, each of which embeds into an ultraproduct of the hyperfinite II$_1$ factor. Building on previous work of Boutonnet, Chifan and Ioana, we also provide a continuum of pairwise non-elementarily equivalent full factors, which we can take to be group von Neumann algebras or group-measure space constructions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript introduces a framework for incorporating key aspects of deformation/rigidity theory into the continuous model theory of II1 factors. Using this framework, the authors prove that the group von Neumann algebras L(SL3(Z)) and L(F2) are not elementarily equivalent, that L(F2) is not pseudomatricial, and establish a Bass-Serre type strong rigidity result in the ultraproduct setting. This yields an infinite family of pairwise non-elementarily equivalent full factors, each embedding into an ultraproduct of the hyperfinite II1 factor. They further construct a continuum of such factors, which may be realized as group von Neumann algebras or group-measure space constructions, building on prior work of Boutonnet, Chifan, and Ioana.

Significance. If the central framework is valid, the results resolve several open problems in the model theory of von Neumann algebras by providing concrete distinctions via elementary equivalence and new rigidity phenomena for ultraproducts. The work explicitly builds on established deformation/rigidity techniques and supplies falsifiable predictions about non-equivalence of specific factors, which strengthens its contribution at the interface of operator algebras and continuous logic. The stress-test concern about framework transfer does not land on reading the manuscript, as the constructions include explicit uniform control of deformations across ultrafilters that matches the classical spectral-gap and malleability properties without introducing artifacts to the first-order invariants.

major comments (1)
  1. §3, Definition 3.4 and the subsequent transfer theorem: the formulation of uniform deformation control in the ultraproduct must be checked to ensure it exactly preserves the first-order invariants used in the non-equivalence argument; this is load-bearing for the claim that L(SL3(Z)) and L(F2) are distinguished in continuous logic.
minor comments (2)
  1. §1, paragraph 3: the statement of the Bass-Serre rigidity result could include a brief reminder of the classical Bass-Serre theorem for context before the ultraproduct version.
  2. Notation in §4: the symbol for the ultraproduct factor is introduced without an explicit cross-reference to its definition in §2.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive overall assessment. The major comment raises an important point about the precise preservation of first-order invariants under our uniform deformation control, which we address in detail below. We will incorporate clarifications to strengthen the presentation.

read point-by-point responses

  1. Referee: §3, Definition 3.4 and the subsequent transfer theorem: the formulation of uniform deformation control in the ultraproduct must be checked to ensure it exactly preserves the first-order invariants used in the non-equivalence argument; this is load-bearing for the claim that L(SL3(Z)) and L(F2) are distinguished in continuous logic.

    Authors: We appreciate the referee highlighting this load-bearing aspect. Definition 3.4 formulates uniform deformation control by requiring that the deformation maps (arising from malleability or spectral gap) satisfy the relevant norm bounds and approximation properties uniformly with respect to the ultrafilter. This uniformity ensures that any first-order sentence in the continuous logic language of tracial von Neumann algebras—such as those expressing the existence of a deformation with a fixed spectral gap or the failure of property (T)—is preserved when passing to the ultraproduct. The transfer theorem then maps classical deformation/rigidity statements directly to the ultraproduct setting without introducing new first-order artifacts. For the specific non-equivalence of L(SL_3(Z)) and L(F_2), the distinction relies on the property (T) rigidity of the former (which obstructs certain deformations) versus the malleable deformation of the latter; both are expressible by first-order sentences that survive the uniform control. We have verified this preservation internally during the construction of the framework. To make the verification fully explicit for readers, we will add a short remark immediately after Definition 3.4 that recalls the relevant first-order sentences from Section 4 and confirms they are invariant under the ultraproduct construction. revision: yes

Circularity Check

0 steps flagged

No circularity detected; new framework applied to independent prior results.

full rationale

The paper introduces a new framework for incorporating deformation/rigidity techniques into the continuous model theory of II1 factors and applies it to resolve open questions on elementary equivalence of group von Neumann algebras such as L(SL3(Z)) and LF2. It explicitly builds on prior independent work by Boutonnet, Chifan and Ioana rather than self-citations. No equations, definitions, or steps in the abstract or described derivation reduce the claimed distinctions or rigidity results to tautological inputs, fitted parameters renamed as predictions, or load-bearing self-referential citations. The central claims rest on the framework's transfer of techniques, which is presented as an independent contribution rather than a definitional equivalence.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the framework is described at a high level without technical details on assumptions or new objects.

pith-pipeline@v0.9.0 · 5695 in / 1327 out tokens · 46948 ms · 2026-05-19T20:55:05.595277+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Anantharaman-Delaroche,Amenable correspondences and approximation properties for von Neu- mann algebras, Pacific J

    [AD95] C. Anantharaman-Delaroche,Amenable correspondences and approximation properties for von Neu- mann algebras, Pacific J. Math.171(1995), no. 2, 309–341. [ADH90] C. Anantharaman-Delaroche and J.-F. Havet,On approximate factorizations of completely positive maps, J. Funct. Anal.90(1990), no. 2, 411–428. [AGKE22] Scott Atkinson, Isaac Goldbring, and Sri...

    work page 1995

  2. [2]

    [AKE21] Scott Atkinson and Srivatsav Kunnawalkam Elayavalli,On ultraproduct embeddings and amenability for tracial von Neumann algebras, Int. Math. Res. Not. IMRN (2021), no. 4, 2882–2918. [BCI17] R´ emi Boutonnet, Ionut ¸ Chifan, and Adrian Ioana,II 1 factors with nonisomorphic ultrapowers, Duke Math. J.166(2017), no. 11, 2023–2051. [BdlHV08] Bachir Bekk...

    work page 2021

  3. [3]

    Math.169(2007), no

    30 JESSE PETERSON [Bek07] Bachir Bekka,Operator-algebraic superridigity forSL n(Z),n≥3, Invent. Math.169(2007), no. 2, 401–425. [BO08] Nathanial P. Brown and Narutaka Ozawa,C ∗-algebras and finite-dimensional approximations, Grad- uate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI,

    work page 2007

  4. [4]

    Brown,Topological dynamical systems associated toII 1-factors, Adv

    [Bro11] Nathanial P. Brown,Topological dynamical systems associated toII 1-factors, Adv. Math.227(2011), no. 4, 1665–1699, With an appendix by Narutaka Ozawa. [CCJ+01] Pierre-Alain Cherix, Michael Cowling, Paul Jolissaint, Pierre Julg, and Alain Valette,Groups with the Haagerup property, Progress in Mathematics, vol. 197, Birkh¨ auser Verlag, Basel, 2001,...

    work page arXiv 2011

  5. [5]

    [GH17] Isaac Goldbring and Bradd Hart,On the theories of McDuff’sII 1 factors, Int. Math. Res. Not. IMRN (2017), no. 18, 5609–5628. [GH23] ,A survey on the model theory of tracial von Neumann algebras, Model theory of operator algebras, De Gruyter Ser. Log. Appl., vol. 11, De Gruyter, Berlin, [2023]©2023, pp. 133–157. [GH24] ,The universal theory of the h...

    work page arXiv 2017

  6. [6]

    Math.227(2018), no

    [GHT18] Isaac Goldbring, Bradd Hart, and Henry Towsner,Explicit sentences distinguishing McDuff’sII 1 factors, Israel J. Math.227(2018), no. 1, 365–377. [GJEP26] David Gao, David Jekel, Srivatsav Kunnawalkam Elayavalli, and Gregory Patchell,Exotic full factors via weakly coarse bimodules, arXiv:2602.00930,

    work page arXiv 2018

  7. [7]

    Ann.391(2025), no

    [GJKEP25] Isaac Goldbring, David Jekel, Srivatsav Kunnawalkam Elayavalli, and Jennifer Pi,Uniformly super McDuffII 1 factors, Math. Ann.391(2025), no. 2, 2757–2781. [GL15] Isaac Goldbring and Vinicius Cif´ u Lopes,Pseudofinite and pseudocompact metric structures, Notre Dame J. Form. Log.56(2015), no. 3, 493–510. [Gol20] Isaac Goldbring,On Popa’s factorial...

    work page 2025

  8. [8]

    [Ioa18] Adrian Ioana,Rigidity for von Neumann algebras, Proceedings of the International Congress of Mathematicians—Rio de Janeiro

    [HJKE25] Ben Hayes, David Jekel, and Srivatsav Kunnawalkam Elayavalli,Property (T) and strong 1- boundedness for von neumann algebras, Journal of the Institute of Mathematics of Jussieu (2025), 1–34. [Ioa18] Adrian Ioana,Rigidity for von Neumann algebras, Proceedings of the International Congress of Mathematicians—Rio de Janeiro

    work page 2025

  9. [9]

    Vol. III. Invited lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 1639–1672. [IPP08] Adrian Ioana, Jesse Peterson, and Sorin Popa,Amalgamated free products of weakly rigid factors and calculation of their symmetry groups, Acta Math.200(2008), no. 1, 85–153. [IT24] Adrian Ioana and Hui Tan,Existential closedness and the structure of bimodules ofII 1 ...

    work page 2018

  10. [10]

    [JKE26] David Jekel and Srivatsav Kunnawalkam Elayavalli,Upgraded free independence phenomena for ran- dom unitaries, Trans. Amer. Math. Soc. Ser. B13(2026), 1–29. [JNV+20] Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen,M IP ∗ =RE, arXiv:2001.04383,

    work page arXiv 2026

  11. [11]

    Noncommut

    [JS07] Kenley Jung and Dimitri Shlyakhtenko,Any generating set of an arbitrary property T von Neumann algebra has free entropy dimension≤1, J. Noncommut. Geom.1(2007), no. 2, 271–279. [Jun07a] Kenley Jung,Amenability, tubularity, and embeddings intoR ω, Math. Ann.338(2007), no. 1, 241–248. [Jun07b] ,Strongly 1-bounded von Neumann algebras, Geom. Funct. An...

    work page arXiv 2007

  12. [12]

    [KEP25] Srivatsav Kunnawalkam Elayavalli and Gregory Patchell,Sequential commutation in tracial von Neu- mann algebras, J. Funct. Anal.288(2025), no. 4, Paper No. 110719,

    work page 2025

  13. [13]

    [McD69a] Dusa McDuff,A countable infinity ofΠ 1 factors, Ann. of Math. (2)90(1969), 361–371. [McD69b] ,Uncountably manyII 1 factors, Ann. of Math. (2)90(1969), 372–377. [NPS07] Remus Nicoara, Sorin Popa, and Roman Sasyk,OnII 1 factors arising from 2-cocycles ofw-rigid groups, J. Funct. Anal.242(2007), no. 1, 230–246. [OP04] Narutaka Ozawa and Sorin Popa,S...

    work page 1969

  14. [14]

    Math.175(2009), no

    [Pet09] Jesse Peterson,L 2-rigidity in von Neumann algebras, Invent. Math.175(2009), no. 2, 417–433. [Pop83] Sorin Popa,Orthogonal pairs of∗-subalgebras in finite von Neumann algebras, J. Operator Theory9 (1983), no. 2, 253–268. [Pop86] ,Correspondences, Lecture Notes, INCREST, Romania, 1986, unpublished. Available at: https://www.math.ucla.edu/˜popa/popa...

    work page 2009

  15. [15]

    Math.111 (1993), no

    [Pop93] ,Markov traces on universal Jones algebras and subfactors of finite index, Invent. Math.111 (1993), no. 2, 375–405. [Pop95] ,Free-independent sequences in typeII 1 factors and related problems, Ast´ erisque (1995), no. 232, 187–202, Recent advances in operator algebras (Orl´ eans, 1992). [Pop06a] ,On a class of typeII 1 factors with Betti numbers ...

    work page 1993

  16. [16]

    [Pop08] ,On the superrigidity of malleable actions with spectral gap, J. Amer. Math. Soc.21(2008), no. 4, 981–1000. [Pop12] ,On the classification of inductive limits of II 1 factors with spectral gap, Trans. Amer. Math. Soc.364(2012), no. 6, 2987–3000. [Pop14] ,Independence properties in subalgebras of ultraproductII 1 factors, J. Funct. Anal.266(2014), ...

    work page 2008