arxiv: 2605.12737 · v1 · submitted 2026-05-12 · 🧮 math.GR · math.OA

Recognition: no theorem link

Selfless inclusions arising from commensurator groups of hyperbolic groups

Aaratrick Basu, Felipe Flores

Pith reviewed 2026-05-14 19:36 UTC · model grok-4.3

classification 🧮 math.GR math.OA

keywords commensurator groupshyperbolic groupsC*-selfless groupsGromov boundaryextreme boundary actionsgroup inclusionsC*-algebras

0 comments

The pith

The commensurator group of any torsion-free hyperbolic group is C*-selfless.

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

The paper establishes that the commensurator group Comm(H) of a torsion-free hyperbolic group H is always C*-selfless. It reaches this by proving that the Gromov boundary of H serves as a topologically free extreme boundary for Comm(H), for Aut(H), and for other groups that contain H in an almost normal fashion. A reader would care because this produces concrete new examples of C*-selfless groups and inclusions arising from classical geometric group theory. The result therefore links boundary dynamics of hyperbolic groups to properties of their associated operator algebras.

Core claim

We prove that the commensurator group Comm(H) of a torsion-free hyperbolic group H is C*-selfless. The proof proceeds by showing that the Gromov boundary ∂H is a topologically free extreme boundary for Comm(H), for Aut(H), and for other groups that contain H in an almost normal way.

What carries the argument

The Gromov boundary ∂H acting as a topologically free extreme boundary for Comm(H) and related groups.

Load-bearing premise

The Gromov boundary of H is a topologically free extreme boundary for Comm(H) and the groups containing H almost normally.

What would settle it

Exhibit a torsion-free hyperbolic group H such that the natural action of Comm(H) on ∂H fails to be topologically free or fails to be extreme.

read the original abstract

We provide new examples of $\mathrm{C}^*$-selfless groups and inclusions. In particular, we prove that the commensurator group ${\rm Comm}(H)$ of a torsion-free hyperbolic group $H$ is $\mathrm{C}^*$-selfless. Our approach involves showing that the Gromov boundary $\partial H$ is a topologically free extreme boundary for ${\rm Comm}(H)$, ${\rm Aut}(H)$, and for other groups that contain $H$ in an almost normal way.

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.

Desk Editor's Note private letter to a colleague

The paper gives a geometric construction for new C*-selfless groups via commensurators of torsion-free hyperbolic groups, but the extension of the extreme boundary property to Comm(H) is the step that needs the closest look.

read the letter

The main takeaway is that Comm(H) for torsion-free hyperbolic H is C*-selfless because the Gromov boundary acts as a topologically free extreme boundary for it and for groups containing H almost normally. The paper uses this to produce new examples of selfless groups and inclusions in a geometrically natural way. This construction appears fresh and avoids just recycling old examples from the literature on hyperbolic groups themselves. It does a decent job linking standard facts about minimal actions on Gromov boundaries to the operator-algebra side without adding unnecessary layers. The approach stays concrete and focuses on the almost normal containment to carry over the required dynamical properties. The soft spot sits in the transfer step itself. For H the boundary properties are classical, but showing they survive under Comm(H) requires confirming that no extra elements create invariant probability measures or fixed open sets. The abstract states the conclusion cleanly, yet the details on how the almost normal condition blocks those issues are not visible here, so the strength of that argument is hard to judge from the outside. If the proof handles the larger group action without gaps, the result holds; if it leans on an unstated assumption, the claim weakens. This work is for readers already comfortable with boundary dynamics in geometric group theory and with C*-selflessness questions in operator algebras. Someone hunting for explicit new examples in that intersection would get value from it. It deserves a serious referee to verify the boundary extension in detail rather than a desk rejection.

Referee Report

2 major / 1 minor

Summary. The paper claims to construct new examples of C*-selfless groups and inclusions by proving that the commensurator group Comm(H) of any torsion-free hyperbolic group H is C*-selfless. The argument proceeds by showing that the Gromov boundary ∂H is a topologically free extreme boundary for Comm(H), for Aut(H), and for other groups containing H in an almost normal fashion.

Significance. If the central claim holds, the result supplies explicit new families of C*-selfless groups beyond the hyperbolic groups themselves, together with associated selfless inclusions. This enlarges the known stock of groups whose reduced C*-algebras exhibit the strong boundary properties used to detect C*-simplicity and related rigidity phenomena.

major comments (2)

[Abstract (and the proof of the main theorem)] The extension of the topologically free extreme boundary property from H to Comm(H) is the load-bearing step. The manuscript must supply a self-contained argument showing that no element of Comm(H) admits a non-trivial invariant probability measure on ∂H or fixes a non-empty open set; the appeal to almost normal containment alone does not automatically inherit strong proximality from the hyperbolic case.
[Section introducing the boundary action] The precise definition of 'topologically free extreme boundary' employed for Comm(H) should be stated explicitly and compared with the standard definition used for H. It is unclear whether the authors require only minimality plus topological freeness or the stronger Furstenberg boundary property, and which of these is actually verified for the larger group.

minor comments (1)

[Abstract] The abstract would be clearer if it named the main theorem and indicated whether the result is stated for all torsion-free hyperbolic groups or only for a subclass (e.g., non-elementary).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the major comments point by point below and will incorporate revisions to strengthen the exposition and completeness of the arguments.

read point-by-point responses

Referee: [Abstract (and the proof of the main theorem)] The extension of the topologically free extreme boundary property from H to Comm(H) is the load-bearing step. The manuscript must supply a self-contained argument showing that no element of Comm(H) admits a non-trivial invariant probability measure on ∂H or fixes a non-empty open set; the appeal to almost normal containment alone does not automatically inherit strong proximality from the hyperbolic case.

Authors: We agree that the current reliance on almost normal containment would benefit from a more explicit, self-contained treatment to make the inheritance of strong proximality fully transparent. In the revised manuscript we will insert a dedicated lemma and proof in the main theorem section that directly verifies the absence of non-trivial invariant probability measures and fixed open sets for non-identity elements of Comm(H), using the torsion-freeness and hyperbolicity of H together with the almost normal property. This addition will render the argument self-contained while preserving the original strategy. revision: yes
Referee: [Section introducing the boundary action] The precise definition of 'topologically free extreme boundary' employed for Comm(H) should be stated explicitly and compared with the standard definition used for H. It is unclear whether the authors require only minimality plus topological freeness or the stronger Furstenberg boundary property, and which of these is actually verified for the larger group.

Authors: We will revise the introductory section on the boundary action to state the definition of 'topologically free extreme boundary' explicitly as the conjunction of minimality, topological freeness, and the strong proximality (Furstenberg) property. We will then provide a direct comparison with the standard definition for H and confirm that the full stronger Furstenberg boundary property is verified for Comm(H) (and the other groups considered) via the almost normal containment. This clarification will remove any ambiguity about which properties are established. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by directly proving that the Gromov boundary ∂H serves as a topologically free extreme boundary for Comm(H) (and related groups containing H almost normally), which then implies C*-selflessness. No equations or steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the argument relies on standard facts about non-elementary torsion-free hyperbolic groups acting on their boundaries, extended via almost-normal containment. The manuscript is self-contained against external benchmarks in boundary dynamics and C*-algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard facts about hyperbolic groups and their boundaries together with the new claim that the boundary is topologically free and extreme for the commensurator action.

axioms (1)

domain assumption Gromov boundary of a torsion-free hyperbolic group is a topologically free extreme boundary for the commensurator action
This is the key property invoked to conclude C*-selflessness; it is stated as shown in the paper.

pith-pipeline@v0.9.0 · 5367 in / 1169 out tokens · 17104 ms · 2026-05-14T19:36:45.003241+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 11 canonical work pages · 6 internal anchors

[1]

Strict comparison in reduced group C ∗-algebras

T. Amrutam, D. Gao, S. Kunnawalkam Elayavalli, and G. Patchell. “Strict comparison in reduced group C ∗-algebras”. In:Invent. Math.242.3 (2025), pp. 639–657

2025
[2]

C ∗-irreducibility for reduced twisted groupC ∗-algebras

E. B´ edos and T. Omland. “C ∗-irreducibility for reduced twisted groupC ∗-algebras”. In: J. Funct. Anal.284.5 (2023), Paper No. 109795, 31

2023
[3]

A topological characterisation of hyperbolic groups

B. H. Bowditch. “A topological characterisation of hyperbolic groups”. In:J. Amer. Math. Soc.11.3 (1998), pp. 643–667

1998
[4]

C ∗-simplicity and the unique trace property for discrete groups

E. Breuillard, M. Kalantar, M. Kennedy, and N. Ozawa. “C ∗-simplicity and the unique trace property for discrete groups”. In:Publ. Math. Inst. Hautes ´Etudes Sci.126 (2017), pp. 35–71

2017
[5]

M. R. Bridson and A. Haefliger.Metric spaces of non-positive curvature. Vol. 319. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999, pp. xxii+643

1999
[6]

Automorphisms acting on the left-orderings of a bi-orderable group

A. Clay and S. Zabanfahm. “Automorphisms acting on the left-orderings of a bi-orderable group”. In:New York J. Math.23 (2017), pp. 67–82

2017
[7]

Pureness and stable rank one for reduced twisted group $\mathrm{C}^\ast$-algebras of certain group extensions

F. Flores, M. Klisse, M. ´O Cobhthaigh, and M. Pagliero.Pureness and stable rank one for reduced twisted groupC ∗-algebras of certain group extensions. 2026. arXiv:2601.19758 [math.OA]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[8]

Flores, M

F. Flores, M. Klisse, M. ´O Cobhthaigh, and M. Pagliero.Selfless reduced free products and graph products ofC ∗-algebras. 2025. arXiv:2510.24675 [math.OA]

work page arXiv 2025
[9]

D. Gao, S. Kunnawalkam Elayavalli, A. Manzoor, and G. Patchell.A new source of purely finite matricial fields. 2026. arXiv:2603.24502 [math.GR]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[10]

D. Gao, S. Kunnawalkam Elayavalli, G. Patchell, and L. Teryoshin.Selfless reduced amal- gamated free products and HNN extensions. 2026. arXiv:2604.06982 [math.OA]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[11]

de la Harpe.Topics in geometric group theory

P. de la Harpe.Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000, pp. vi+310. 8

2000
[12]

Hayes, S

B. Hayes, S. Kunnawalkam Elayavalli, G. Patchell, and L. Robert.Selfless Inclusions of C∗-Algebras. 2025. arXiv:2510.13398 [math.OA]

work page arXiv 2025
[13]

Hayes, S

B. Hayes, S. Kunnawalkam Elayavalli, and L. Robert.Selfless reduced free productC ∗- algebras. 2025. arXiv:2505.13265 [math.OA]

work page arXiv 2025
[14]

Selfless W$^*$-probability spaces and Connes' bicentralizer problem

C. Houdayer and A. Marrakchi.Selfless W ∗-probability spaces and Connes’ bicentralizer problem. 2026. arXiv:2511.11409 [math.OA]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[15]

Boundaries of hyperbolic groups

I. Kapovich and N. Benakli. “Boundaries of hyperbolic groups”. In:Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001). Vol. 296. Contemp. Math. Amer. Math. Soc., Providence, RI, 2002, pp. 39–93

2000
[16]

Faithful actions of automorphisms on the space of orderings of a group

T. Koberda. “Faithful actions of automorphisms on the space of orderings of a group”. In:New York J. Math.17 (2011), pp. 783–798

2011
[17]

Kunnawalkam Elayavalli and C

S. Kunnawalkam Elayavalli and C. Schafhauser.Negative resolution to theC ∗-algebraic Tarski problem. 2025. arXiv:2503.10505 [math.OA]

work page arXiv 2025
[18]

C ∗-irreducibility of commensurated subgroups

K. Li and E. Scarparo. “C ∗-irreducibility of commensurated subgroups”. In:Pacific J. Math.322.2 (2023), pp. 369–380

2023
[19]

Proximality and selflessness for group C*-algebras

N. Ozawa.Proximality and selflessness for groupC ∗-algebras. 2025. arXiv:2508.07938 [math.OA]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[20]

S. Raum, H. Thiel, and E. Vilalta.Strict comparison for twisted groupC ∗-algebras. 2025. arXiv:2505.18569 [math.OA]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[21]

Selfless C ∗-algebras

L. Robert. “Selfless C ∗-algebras”. In:Adv. Math.478 (2025), Paper No. 110409, 28

2025
[22]

Irreducible inclusions of simpleC ∗-algebras

M. Rørdam. “Irreducible inclusions of simpleC ∗-algebras”. In:Enseign. Math.69.3-4 (2023), pp. 275–314

2023
[23]

RelativeC ∗-simplicity and characterizations for normal subgroups

D. Ursu. “RelativeC ∗-simplicity and characterizations for normal subgroups”. In:J. Op- erator Theory87.2 (2022), pp. 471–486

2022
[24]

Vigdorovich.Selfless reducedC ∗-algebras of linear groups

I. Vigdorovich.Selfless reducedC ∗-algebras of linear groups. 2026. arXiv:2602 . 10616 [math.OA]

2026
[25]

Vigdorovich.Structural properties of reducedC ∗-algebras associated with higher-rank lattices

I. Vigdorovich.Structural properties of reducedC ∗-algebras associated with higher-rank lattices. 2025. arXiv:2503.12737 [math.OA]. ADDRESS Aaratrick Basu Department of Mathematics, University of Virginia, 121 Kerchof Hall. 141 Cabell Dr, Charlottesville, Virginia, United States E-mail: ukg7ef@virginia.edu Felipe Flores Department of Mathematics, Universi...

work page arXiv 2025