REVIEW 3 major objections 4 minor 44 references
A continuum of non-measure equivalent groups
T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read There exists a continuum of pairwise non-measure-equivalent finitely generated groups with property (T), zero ℓ²-Betti numbers, and no torsion.
desk verdict Genuinely new construction and rigidity results, but the torsion-free 'moreover' is broken and the abstract promises a theorem the body doesn't contain. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the wreath-like product: a group G sitting in an extension 1 → A^(B) → G → B → 1 where conjugation permutes the summands of the core A^(B) according to the action of the quotient B. The paper proves a rigidity theorem (Theorem 6.1) saying that measure equivalence of two such groups passes to measure equivalence of their cores, and a product-rigidity theorem (Theorem 4.4) extending known finite-product rigidity to infinite direct sums of class-C groups. These two results fit together as a decoding chain: G_x ~_ME G_y ⇒ ⊕_{k∈x} A_k^(B) ~_ME ⊕_{k∈y} A_k^(B) ⇒ N_x = N_y ⇒ x=y.
What would settle it
Exhibit a group A in class C whose countable direct sum ⊕_ℕ A is not in class C; if such an A exists, Theorem 4.4 cannot be applied to the groups ⊕_{k∈x} A_k^(B) in the proof of Theorem 1.1, and the stated decoding chain collapses.
Extended reading notes
Core claim
The central claim is that the measure equivalence class of a specially built group remembers an arbitrary binary sequence. Starting from an infinite family {A_k} of pairwise non-measure-equivalent groups in the class C of groups with a mixing unitary representation and nonzero second bounded cohomology, the authors attach to each x∈{0,1}ᴺ the group G_x, an extension with core ⊕_{k∈x} A_k and a fixed torsion-free hyperbolic quotient B, chosen from the wreath-like product family so that G_x has property (T). If G_x and G_y are measure equivalent, a cocycle-rigidity dichotomy for hyperbolic quotients forces the direct-sum cores ⊕_{k∈x} A_k^(B) and ⊕_{k∈y} A_k^(B) to be measure equivalent; a new
Load-bearing premise
The proof silently assumes that the class C of groups (those with a mixing unitary representation and nonzero second bounded cohomology) is closed under countable direct sums; the final step that decodes x from y depends on this closure, which the paper neither proves nor cites.
Editorial extensions
If this is right
- There exist continuum many pairwise non-measure-equivalent countable groups that are finitely generated, have property (T), are torsion-free, and have zero ℓ²-Betti numbers in every degree.
- The measure equivalence relation on finitely generated groups is not smooth; it cannot be classified by real-valued invariants in the usual Borel sense.
- This relation is above every countable Borel equivalence relation in the Borel reducibility hierarchy, so constructing invariants that separate groups is genuinely hard.
- The construction provides a new source of groups in the 'trivial invariants' regime, where cost and ℓ²-Betti numbers are silent; such groups may be useful for testing other rigidity phenomena.
Reading between the lines
- The coding trick — using the base hyperbolic group to build property (T) extensions and then recovering the coded set from the core — is likely portable to other equivalence relations in measured group theory, such as orbit equivalence or von Neumann equivalence, wherever a matching product-rigidity theorem exists.
- One might test whether the same construction can be used to prove non-smoothness (and even universality) of other natural equivalence relations on groups, such as isomorphism or quasi-isometry within restricted classes.
- Because the family lies in the trivial ℓ²-Betti-number regime, it provides a natural testing ground for whether other invariants (e.g., higher-order cohomology, or the first ℓ²-Betti number after quotients) can distinguish these groups where the standard ones cannot.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims Theorem 1.1: there is a continuum-sized family {G_x}_{x∈{0,1}^N} of pairwise non-measure-equivalent ICC countable groups with property (T), zero ℓ²-Betti numbers in all degrees, and torsion-free members. The strategy combines a family {A_k} of pairwise non-ME class-C groups; a wreath-like product construction (Proposition 2.4) producing property (T) groups G_x ∈ WR(D_x, B); a measure-equivalence rigidity theorem for wreath-like products (Theorem 6.1); and an infinite-product ME rigidity theorem (Theorem 4.4). The proof aims to recover x from the ME class of G_x. The abstract also states consequences for the Borel complexity of the ME equivalence relation, but those consequences are not proved in the body.
Significance. If the proof can be completed, Theorem 1.1 is a substantial advance: it provides the first continuum of pairwise non-ME finitely generated groups in the regime where the standard invariants — ℓ²-Betti numbers and cost — are trivial, while also having property (T) and torsion-freeness. The paper contains a substantial and largely self-contained cocycle-rigidity section, and the structural reductions (wreath-like rigidity to products, then product rigidity to the index set) are attractive and potentially powerful. However, the current manuscript has load-bearing gaps: one ingredient is based on an impossible Betti-number computation, and another silently assumes a closure property for class C that is neither proved nor cited.
major comments (3)
- [Proposition 5.2, Section 5] The asserted value β_1^{(2)}(B_d)=0 is incompatible with the free-product formula used elsewhere in the paper. For infinite groups, β_1^{(2)}(A*Z)=β_1^{(2)}(A)+β_1^{(2)}(Z)+1=β_1^{(2)}(A)+1. Since C_d is infinite, the correct value is β_1^{(2)}(B_d)=β_1^{(2)}(C_d)+1≥1, not 0. Thus the proof of Proposition 5.2, and the 'can be taken torsion-free' part of Theorem 1.1 that depends on it, fails as written. The cited [26, Théorème 6.8] cannot yield the stated equality. This ingredient needs to be corrected or replaced.
- [Section 6, proof of Theorem 1.1 (application of Theorem 4.4)] Theorem 6.1 gives ME between D_x^{(B)} = ⊕_{k∈N_x} A_k^{(N)} and D_y^{(B)} = ⊕_{k∈N_y} A_k^{(N)}. To apply Theorem 4.4, the individual factors must be ICC groups in class C. The text says only 'Since A_k is ICC and in class C', but the factors that actually appear are A_k^{(N)}, the countable direct sum of copies of A_k. ICC is easy, but membership of A_k^{(N)} in class C is not proved or cited, and is not immediate from the definition. Without this closure property, the conclusion that the index sets N_x and N_y coincide does not follow from Theorem 4.4 as stated. A lemma establishing this closure, or a reformulation avoiding it, is required.
- [Abstract vs. body] The abstract announces two additional results: that the finitely generated ME equivalence relation ≃^{fg}_{ME} is non-smooth, and that it lies above every countable Borel equivalence relation in the Borel reducibility hierarchy. Neither statement appears in the introduction or body, and Theorem 1.1 alone does not imply them. The manuscript should either prove these claims or amend the abstract to state only what is established.
minor comments (4)
- [Proposition 5.2 / [26, Théorème 6.8]] Please recheck the cited reference for the vanishing β_1(B_d)=0. The cited theorem more naturally gives the free-product formula, which would contradict the claimed value.
- [Proposition 5.1] The calculation β_1(A_c)=c uses β_1(F_2×F_2)=0 together with the +1 term from the free-product formula. A sentence noting this would prevent confusion, since F_2×F_2 itself has vanishing first ℓ²-Betti number.
- [Section 6, final paragraph] The appeal to 'the Künneth formula' for the infinite direct sum D_x^{(B)} should be justified by a reference. Künneth formulas are usually stated for finite direct products, and the infinite direct sum case needs a separate argument.
- [Corollary 3.2] In the proof, 'Claim (1)' should likely be a reference to Lemma 3.3(1) rather than to an internal claim.
Circularity Check
No circular reduction in the main derivation; the rigidity chain is logically independent of the conclusion. Self-citations are load-bearing but not circular.
full rationale
The main chain is: G_x ~_ME G_y ⇒ (Theorem 6.1) D_x^(B) ~_ME D_y^(B) ⇒ (Theorem 4.4) the index sets N_x and N_y coincide ⇒ x = y. This does not assume the conclusion: x is encoded combinatorially and recovered by injectivity/rigidity. The rigidity theorems (3.1, 4.4, 6.1) are proved in the paper by cocycle arguments; they are not renamed versions of the target result. The only external inputs are standard ME invariants (Gaboriau cost, ℓ²-Betti), Monod-Shalom class C facts, and the authors' prior wreath-like-product existence theorems [13,14]. Those prior theorems assert existence of property (T) groups in WR(-,B) under assumptions that do not include pairwise non-ME of the G_x, so they are not a re-labelling of the continuum theorem. There is no fitted parameter renamed as a prediction. Two non-circular correctness caveats should be weighed separately: (a) Proposition 5.2 asserts β_1^(2)(C_d * Z)=0 via [26], while the standard free-product formula used elsewhere gives β_1^(2)(C_d)+1 ≥ 1, undermining the 'can be taken torsion-free' assertion if correct; (b) applying Theorem 4.4 to the factors A_k^(N) needs each such infinite direct sum to be in class C, while the text only says 'Since A_k is ICC and in class C', silently assuming a closure property. These are gaps/errors, not circular reductions, so they do not raise the circularity score.
Assumptions & free parameters
assumptions (9)
- domain assumption Property (T) wreath-like products exist over arbitrary direct sums of n-generated groups (Proposition 2.4, via [14, Prop 2.11, Lemmas 2.8/2.10/2.12] and [13, Lemma 3.22, Cor 4.18, Prop 4.21])
- standard math Monod–Shalom [39, Theorem 1.3]: certain free products lie in class C
- standard math Gaboriau's cost/ℓ²-Betti and approximate ergodic dimension machinery [25, 26]
- standard math Brothier–Deprez–Vaes [10, Theorem 4.1] property (S) cocycle dichotomy (Theorem 3.7)
- standard math Adams [2, 3, 4] and Hjorth–Kechris [29]: boundary amenability of hyperbolic groups; H-equivariant maps P^{≥3}(∂H) → F(H); minimal c-equivariant maps
- standard math Zimmer cocycle reduction [44, Lemma 5.2.11] applied measurably across ergodic components
- domain assumption Class C is closed under countable direct sums (factors A_k^(N) or D_x lie in class C)
- standard math Lück [37, Theorem 7.2(6)]: vanishing of ℓ²-Betti numbers in extensions with β-acyclic kernel and an infinite-order element in the quotient; Künneth-type vanishing for direct sums
- standard math Alvarez–Gaboriau [5, Theorem 1.5] and the free-product formula for ℓ²-Betti numbers
Cite this review
Pith. "Pith review of A continuum of non-measure equivalent groups." pith.science (2026). https://pith.science/paper/VATD5NY7
@misc{pith2026251204531,
author = {Pith},
title = {Pith review of: A continuum of non-measure equivalent groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/VATD5NY7}},
note = {Machine review of arXiv:2512.04531}
}
abstract
We construct a continuum sized family $\{G_x\}_{x\in\{0,1\}^{\mathbb N}}$ of pairwise non-measure equivalent countable groups which have property (T) (hence are finitely generated), have zero $\ell^2$-Betti numbers of all orders, and are torsion-free. We also prove that the equivalence relation $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ of measure equivalence between finitely generated groups is non-smooth, resolving a question of S. Thomas. Our proof moreover shows that $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ sits above every countable Borel equivalence relation in the Borel reducibility hierarchy.
Reference graph
Works this paper leans on
-
[13]
Ionut ¸ Chifan, Adrian Ioana, Denis Osin, and Bin Sun. Wreath-like products of groups and their von Neumann algebras II: Outer automorphisms, preprint arXiv 2304.07457, to appear in Duke Math. J
-
[14]
Wreath-like products of groups and their von Neumann algebras I: W ∗-superrigidity.Ann
Ionut ¸ Chifan, Adrian Ioana, Denis Osin, and Bin Sun. Wreath-like products of groups and their von Neumann algebras I: W ∗-superrigidity.Ann. of Math. (2), 198(3):1261–1303, 2023
2023
-
[1]
Kesten’s theorem for invariant random subgroups.Duke Math
Mikl´ os Ab´ ert, Yair Glasner, and B´ alint Vir´ ag. Kesten’s theorem for invariant random subgroups.Duke Math. J., 163(3):465–488, 2014
2014
-
[2]
Boundary amenability for word hyperbolic groups and an application to smooth dynamics of simple groups.Topology, 33(4):765–783, 1994
Scot Adams. Boundary amenability for word hyperbolic groups and an application to smooth dynamics of simple groups.Topology, 33(4):765–783, 1994
1994
-
[3]
Some new rigidity results for stable orbit equivalence.Ergodic Theory Dynam
Scot Adams. Some new rigidity results for stable orbit equivalence.Ergodic Theory Dynam. Systems, 15(2):209–219, 1995
1995
-
[4]
Reduction of cocycles with hyperbolic targets.Ergodic Theory Dynam
Scot Adams. Reduction of cocycles with hyperbolic targets.Ergodic Theory Dynam. Systems, 16(6):1111–1145, 1996
1996
-
[5]
Free products, orbit equivalence and measure equivalence rigidity.Groups Geom
Aur´ elien Alvarez and Damien Gaboriau. Free products, orbit equivalence and measure equivalence rigidity.Groups Geom. Dyn., 6(1):53–82, 2012
2012
-
[6]
Anantharaman-Delaroche
C. Anantharaman-Delaroche. Action moyennable d’un groupe localement compact sur une alg` ebre de von Neumann. II.Math. Scand., 50(2):251–268, 1982
1982
Show all 44 references
-
[7]
Syst` emes dynamiques non commutatifs et moyennabilit´ e.Math
Claire Anantharaman-Delaroche. Syst` emes dynamiques non commutatifs et moyennabilit´ e.Math. Ann., 279(2):297–315, 1987
1987
-
[8]
Amenable invariant random subgroups (with an ap- pendix by Phillip Wesolek).Israel Journal of Mathematics, 213(1):399–422, 2016
Uri Bader, Bruno Duchesne, and Jean L´ ecureux. Amenable invariant random subgroups (with an ap- pendix by Phillip Wesolek).Israel Journal of Mathematics, 213(1):399–422, 2016
2016
-
[9]
Properly proximal groups and their von Neumann algebras.Ann
R´ emi Boutonnet, Adrian Ioana, and Jesse Peterson. Properly proximal groups and their von Neumann algebras.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 54(2):445–482, 2021
2021
-
[10]
Rigidity for von Neumann algebras given by locally compact groups and their crossed products.Comm
Arnaud Brothier, Tobe Deprez, and Stefaan Vaes. Rigidity for von Neumann algebras given by locally compact groups and their crossed products.Comm. Math. Phys., 361(1):81–125, 2018
2018
-
[11]
Brown and Narutaka Ozawa.C∗-algebras and finite-dimensional approximations, volume 88 ofGraduate Studies in Mathematics
Nathanial P. Brown and Narutaka Ozawa.C∗-algebras and finite-dimensional approximations, volume 88 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008
2008
-
[12]
Jeff Cheeger and Mikhael Gromov.L 2-cohomology and group cohomology.Topology, 25(2):189–215, 1986
1986
-
[15]
Ionut ¸ Chifan and Yoshikata Kida.OEandW ∗ superrigidity results for actions by surface braid groups. Proc. Lond. Math. Soc. (3), 111(6):1431–1470, 2015
2015
-
[16]
Some OE- andW ∗-rigidity results for actions by wreath product groups.J
Ionut Chifan, Sorin Popa, and James Owen Sizemore. Some OE- andW ∗-rigidity results for actions by wreath product groups.J. Funct. Anal., 263(11):3422–3448, 2012
2012
-
[17]
Completely bounded multipliers of the Fourier algebra of a simple Lie group of real rank one.Invent
Michael Cowling and Uffe Haagerup. Completely bounded multipliers of the Fourier algebra of a simple Lie group of real rank one.Invent. Math., 96(3):507–549, 1989
1989
-
[18]
Michael Cowling and Robert J. Zimmer. Actions of lattices in Sp(1, n).Ergodic Theory Dynam. Systems, 9(2):221–237, 1989
1989
-
[19]
Relative solidity for biexact groups in measure equivalence, preprint arxiv:2503.24167
Changying Ding and Daniel Drimbe. Relative solidity for biexact groups in measure equivalence, preprint arxiv:2503.24167
-
[20]
W ∗-correlations of II 1 factors and rigidity of tensor products and graph products, preprint arxiv:2507.04691
Daniel Drimbe and Stefaan Vaes. W ∗-correlations of II 1 factors and rigidity of tensor products and graph products, preprint arxiv:2507.04691
-
[21]
Graph products and measure equivalence: classification, rigid- ity, and quantitative aspects, preprint arxiv:2401.04635
Amandine Escalier and Camille Horbez. Graph products and measure equivalence: classification, rigid- ity, and quantitative aspects, preprint arxiv:2401.04635
-
[22]
Dimensions of finitely generated simple groups and their sub- groups, preprint arxiv:2503.01987
Francesco Fournier-Facio and Bin Sun. Dimensions of finitely generated simple groups and their sub- groups, preprint arxiv:2503.01987. 20 ADRIAN IOANA AND ROBIN TUCKER-DROB
-
[23]
Gromov’s measure equivalence and rigidity of higher rank lattices.Ann
Alex Furman. Gromov’s measure equivalence and rigidity of higher rank lattices.Ann. of Math. (2), 150(3):1059–1081, 1999
1999
-
[24]
A survey of measured group theory
Alex Furman. A survey of measured group theory. InGeometry, rigidity, and group actions, Chicago Lectures in Math., pages 296–374. Univ. Chicago Press, Chicago, IL, 2011
2011
-
[25]
Cout des relations d’´ equivalence et des groupes.Inventiones mathematicae, 139(1):41–98, 2000
Damien Gaboriau. Cout des relations d’´ equivalence et des groupes.Inventiones mathematicae, 139(1):41–98, 2000
2000
-
[26]
Invariantsl 2 de relations d’equivalence et de groupes.Publications math´ ematiques de l’IH ´ES, 95:93–150, 2002
Damien Gaboriau. Invariantsl 2 de relations d’equivalence et de groupes.Publications math´ ematiques de l’IH ´ES, 95:93–150, 2002
2002
-
[27]
M. Gromov. Asymptotic invariants of infinite groups. InGeometric group theory, Vol. 2 (Sussex, 1991), volume 182 ofLondon Math. Soc. Lecture Note Ser., pages 1–295. Cambridge Univ. Press, Cambridge, 1993
1991
-
[28]
Measure equivalence rigidity ofOut(F N ), preprint arxiv:2103.03696
Vincent Guirardel and Camille Horbez. Measure equivalence rigidity ofOut(F N ), preprint arxiv:2103.03696
-
[29]
Greg Hjorth and Alexander S. Kechris. Rigidity theorems for actions of product groups and countable Borel equivalence relations.Mem. Amer. Math. Soc., 177(833):viii+109, 2005
2005
-
[30]
Measure equivalence rigidity among the higman groups, preprint arxiv:2206.00884
Camille Horbez and Jingyin Huang. Measure equivalence rigidity among the higman groups, preprint arxiv:2206.00884
-
[31]
Measure equivalence classification of transvection-free right-angled Artin groups.J
Camille Horbez and Jingyin Huang. Measure equivalence classification of transvection-free right-angled Artin groups.J. ´Ec. polytech. Math., 9:1021–1067, 2022
2022
-
[32]
Von Neumann equivalence and properly proximal groups
Ishan Ishan, Jesse Peterson, and Lauren Ruth. Von Neumann equivalence and properly proximal groups. Adv. Math., 438:Paper No. 109481, 43, 2024
2024
-
[33]
Proper cocycles and weak forms of amenability.Colloq
Paul Jolissaint. Proper cocycles and weak forms of amenability.Colloq. Math., 138(1):73–88, 2015
2015
-
[34]
Kechris and Benjamin D
Alexander S. Kechris and Benjamin D. Miller.Topics in orbit equivalence, volume 1852 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 2004
2004
-
[35]
Measure equivalence rigidity of the mapping class group.Ann
Yoshikata Kida. Measure equivalence rigidity of the mapping class group.Ann. of Math. (2), 171(3):1851–1901, 2010
1901
-
[36]
Invariants of orbit equivalence relations and Baumslag-Solitar groups.Tohoku Mathe- matical Journal, Second Series, 66(2):205–258, 2014
Yoshikata Kida. Invariants of orbit equivalence relations and Baumslag-Solitar groups.Tohoku Mathe- matical Journal, Second Series, 66(2):205–258, 2014
2014
-
[37]
Wolfgang L¨ uck.L2-invariants: theory and applications to geometry andK-theory, volume 44 ofErgeb- nisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys...
2002
-
[38]
Cocycle superrigidity and bounded cohomology for negatively curved spaces.J
Nicolas Monod and Yehuda Shalom. Cocycle superrigidity and bounded cohomology for negatively curved spaces.J. Differential Geom., 67(3):395–455, 2004
2004
-
[39]
Orbit equivalence rigidity and bounded cohomology.Annals of mathematics, pages 825–878, 2006
Nicolas Monod and Yehuda Shalom. Orbit equivalence rigidity and bounded cohomology.Annals of mathematics, pages 825–878, 2006
2006
-
[40]
Ornstein and Benjamin Weiss
Donald S. Ornstein and Benjamin Weiss. Ergodic theory of amenable group actions. I. The Rohlin lemma.Bull. Amer. Math. Soc. (N.S.), 2(1):161–164, 1980
1980
-
[41]
Unique Cartan decomposition for II1 factors arising from arbitrary actions of hyperbolic groups.J
Sorin Popa and Stefaan Vaes. Unique Cartan decomposition for II1 factors arising from arbitrary actions of hyperbolic groups.J. Reine Angew. Math., 694:215–239, 2014
2014
-
[42]
The classSas an ME invariant.Int
Hiroki Sako. The classSas an ME invariant.Int. Math. Res. Not. IMRN, (15):2749–2759, 2009
2009
-
[43]
Measure equivalence rigidity and bi-exactness of groups.J
Hiroki Sako. Measure equivalence rigidity and bi-exactness of groups.J. Funct. Anal., 257(10):3167– 3202, 2009
2009
-
[44]
Birkh¨ auser Basel, 1984
Robert J Zimmer.Ergodic theory and semisimple groups. Birkh¨ auser Basel, 1984. Department of Mathematics, University of California San Diego, 9500 Gilman Drive, La Jolla, CA 92093, USA Email address:aioana@ucsd.edu Department of Mathematics, University of Florida, 1400 Stadiu...
1984
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.