pith. sign in

arxiv: 2606.19322 · v1 · pith:SOAGYV2Snew · submitted 2026-06-17 · 🧮 math.GR · math.LO· math.OA

Existential Inclusions of Bi-exact Groups are Conjugacy Representation Rigid

Connor MacMahon This is my paper

Pith reviewed 2026-06-26 18:51 UTC · model grok-4.3

classification 🧮 math.GR math.LOmath.OA
keywords bi-exact groupsexistential embeddingsquasi-regular representationsconjugacy rigidityamenable intersectionsself-commensurating subgroupsgroup rigidity
0
0 comments X

The pith

Existential embeddings of non-amenable bi-exact groups force amenable intersections with conjugates and yield conjugacy rigidity via quasi-regular representations.

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

The paper proves that if a non-amenable bi-exact group Λ admits an existential embedding into a group Γ, then every intersection Λ ∩ gΛg^{-1} with g outside Λ must be amenable. Combined with prior results of Bekka and Kalantar, this property implies that the weak equivalence class of the quasi-regular representation λ_{Γ/Λ} identifies Λ uniquely up to conjugacy inside the self-commensurating subgroups of Γ. A sympathetic reader would care because the result connects the algebraic character of the embedding directly to a representation-theoretic invariant that recovers the subgroup. The argument applies only under the stated hypotheses on Λ and the embedding.

Core claim

If Λ is a non-amenable bi-exact group and Λ ↪ Γ is an existential embedding, then each intersection Λ ∩ gΛg^{-1} for g in Γ Λ is amenable. In conjunction with work of Bekka and Kalantar, the weak equivalence class of the quasi-regular representation λ_{Γ/Λ} therefore determines Λ up to conjugacy among the self-commensurating subgroups of Γ.

What carries the argument

Existential embedding of a non-amenable bi-exact group, which forces the amenability of all intersections with its conjugates lying outside the subgroup.

If this is right

  • The intersections Λ ∩ gΛg^{-1} are amenable whenever the embedding is existential and Λ is non-amenable and bi-exact.
  • The weak equivalence class of λ_{Γ/Λ} classifies Λ up to conjugacy inside the self-commensurating subgroups of Γ.
  • This classification holds for any larger group Γ that admits such an embedding of Λ.

Where Pith is reading between the lines

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

  • The same amenability conclusion might hold for other classes of groups that share the relevant intersection properties with bi-exact groups.
  • The result could be used to test whether particular known embeddings of bi-exact groups satisfy the existential condition by checking the amenability of intersections.
  • Representation rigidity of this form may extend to questions about distinguishing subgroups by their associated von Neumann algebras or reduced C*-algebras.

Load-bearing premise

The embedding must be existential and the group must be non-amenable and bi-exact.

What would settle it

An explicit construction of an existential embedding of a non-amenable bi-exact group into a larger group in which at least one intersection with a conjugate is non-amenable would falsify the central claim.

read the original abstract

If $\Lambda$ is a non-amenable bi-exact group and $\Lambda \hookrightarrow \Gamma$ is an existential embedding, then each of the intersections $\Lambda \cap g \Lambda g^{-1}$ for $g$ a member of $\Gamma \backslash \Lambda$ is amenable. This in conjunction with work of Bekka and Kalantar demonstrates that in this situation, the weak equivalence class of the quasi-regular representation $\lambda_{\Gamma/\Lambda}$ determines $\Lambda$ up to conjugacy among the self-commensurating subgroups of $\Gamma$.

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 / 0 minor

Summary. The paper claims that if Λ is a non-amenable bi-exact group and Λ ↪ Γ is an existential embedding, then each intersection Λ ∩ gΛg^{-1} for g ∈ Γ ackslash Λ is amenable. Combined with prior work of Bekka and Kalantar, this implies that the weak equivalence class of the quasi-regular representation λ_{Γ/Λ} determines Λ up to conjugacy among the self-commensurating subgroups of Γ.

Significance. If established with a complete proof, the result would connect existential embeddings of bi-exact groups to amenability of intersections and yield a conjugacy rigidity theorem for quasi-regular representations. This could strengthen tools for studying representation equivalence and subgroup rigidity in geometric group theory.

major comments (1)
  1. The provided manuscript consists solely of the abstract statement of the theorem. No definitions of 'existential embedding' or 'bi-exact group', no proof of the amenability claim for the intersections, and no details on how Bekka-Kalantar is applied are included. This prevents any evaluation of the derivation or verification of the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The observation that the submitted manuscript contains only the theorem statement, without definitions or proof, is accurate and prevents evaluation of the result. We will revise accordingly.

read point-by-point responses

  1. Referee: The provided manuscript consists solely of the abstract statement of the theorem. No definitions of 'existential embedding' or 'bi-exact group', no proof of the amenability claim for the intersections, and no details on how Bekka-Kalantar is applied are included. This prevents any evaluation of the derivation or verification of the central claim.

    Authors: We agree that the current manuscript version is limited to the theorem statement and lacks all required supporting material. This is a critical deficiency that makes the claim unverifiable. The full paper will be expanded to include definitions of existential embeddings and bi-exact groups, a complete proof of the amenability of the intersections, and an explicit account of how the Bekka-Kalantar theorem is applied to obtain the conjugacy rigidity conclusion. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states a conditional theorem: if Λ is non-amenable bi-exact and Λ ↪ Γ is existential, then intersections Λ ∩ gΛg^{-1} (g ∉ Λ) are amenable; this is then combined with external Bekka-Kalantar work on quasi-regular representations to obtain conjugacy rigidity among self-commensurating subgroups. The abstract and claim contain no equations, no fitted parameters renamed as predictions, no self-citations, and no ansatz or uniqueness theorem imported from the author's prior work. The load-bearing steps rely on the stated group-theoretic assumptions and external results, making the derivation self-contained against external benchmarks with no reduction to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

No free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract; the result rests on standard group-theoretic notions and the cited prior work.

axioms (1)
  • standard math Standard axioms of group theory and first-order logic for existential embeddings
    Invoked implicitly in the statement of the theorem

pith-pipeline@v0.9.1-grok · 5617 in / 1180 out tokens · 35388 ms · 2026-06-26T18:51:21.323609+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

13 extracted references · 1 canonical work pages

  1. [1]

    & Kalantar, M

    Bekka, B. & Kalantar, M. Quasi-Regular Representations of Discrete Groups and Associated C˚-Algebras.Transactions of the American Mathematical Society373,2105–2133 (3030)

  2. [2]

    Riemannian Coverings and Isospectral Manifolds.Annals of Mathematics121, 169–186 (1985)

    Sunada, T. Riemannian Coverings and Isospectral Manifolds.Annals of Mathematics121, 169–186 (1985)

    1985

  3. [3]

    Guirardel,V.,Levitt,G.&Sklinos,R.Towers and the First Order Theories of Hyperbolic Groups (Memoirs of the American Mathematical Society, 2024)

    2024

  4. [4]

    & Ziegler, M.A Course in Model Theory(Cambridge University Press, 2012)

    Tent, K. & Ziegler, M.A Course in Model Theory(Cambridge University Press, 2012)

    2012

  5. [5]

    A Kurosh-Type Theorem for Type II1 Factors.International Mathematics Research Notices2006,97560 (2006)

    Ozawa, N. A Kurosh-Type Theorem for Type II1 Factors.International Mathematics Research Notices2006,97560 (2006)

    2006

  6. [6]

    Brown,N.&Ozawa,N.C ˚-Algebras and Finite-Dimensional Approximations(AmericanMath- ematical Society, 2008)

    2008

  7. [7]

    A Comment on Free Group Factors.Banach Center Publ.89,241–245 (2010)

    Ozawa, N. A Comment on Free Group Factors.Banach Center Publ.89,241–245 (2010)

    2010

  8. [8]

    & Peterson, J.Bi-exact von Neumann algebras2023

    Ding, C. & Peterson, J.Bi-exact von Neumann algebras2023. arXiv:2309.10161 [math.OA]. https://arxiv.org/abs/2309.10161

    work page arXiv

  9. [9]

    Small Cancellation Groups are Bi-exact.Journal of Topology and Analysis18, 853–888 (2026)

    Oyakawa, K. Small Cancellation Groups are Bi-exact.Journal of Topology and Analysis18, 853–888 (2026)

    2026

  10. [10]

    The ClassSas an ME Invariant.International Mathematics Research Notices2009, 2749–2759 (2009)

    Sako, H. The ClassSas an ME Invariant.International Mathematics Research Notices2009, 2749–2759 (2009)

    2009

  11. [11]

    & Kunnawalkam Elayavalli, S.Questions on the Structure of Random Embeddings ofLpF 2q2026

    Hayes, B., Jekel, D. & Kunnawalkam Elayavalli, S.Questions on the Structure of Random Embeddings ofLpF 2q2026. arXiv:2606 . 02985 [math.OA].https : / / arxiv . org / abs / 2606 . 02985

  12. [12]

    KunnawalkamElayavalli,S.RemarksontheDiagonalEmbeddingandStrong1-Boundedness. Doc. Math.28,671–681 (2023)

    2023

  13. [13]

    & Kunnawalkam Elayavalli, S

    Hayes, B., Jekel, D. & Kunnawalkam Elayavalli, S. Consequences of the Random Matrix So- lution To the Peterson-Thom Conjecture.Analysis & PDE18,1805–1834 (2025). 5

    2025