Amenable absorption in von Neumann algebras of hyperbolic groups

Adriana Fernandez Quero; Adrian Ioana; Ionut Chifan; Juan Felipe Ariza Mejia

Amenable absorption in von Neumann algebras of hyperbolic groups

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any hyperbolic group G, amenable subalgebras of L(G) with diffuse intersection to L(H) must lie inside L(H) for maximal amenable H.

desk verdict This strengthens amenable absorption for L(G) when G is hyperbolic and extends the result to acylindrically hyperbolic groups using geometric control on intersections. read the letter →

arxiv 2606.10105 v1 pith:HNBOQ3PL submitted 2026-06-08 math.OA

Juan Felipe Ariza Mejia , Ionut Chifan , Adriana Fernandez Quero , Adrian Ioana This is my paper · ORCID

classification math.OA

keywords hyperbolicgroupsvonNeumannalgebrasamenableabsorptionacylindricallymaximalsubgroupsgroupoperator

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the group von Neumann algebra L(G) of a hyperbolic group G obeys an amenable absorption property. Any amenable subalgebra Q inside L(G) whose intersection with L(H) is diffuse, where H is an infinite maximal amenable subgroup of G, must be contained in L(H). The same absorption holds more generally for acylindrically hyperbolic groups, which include relatively hyperbolic groups, mapping class groups, and limit groups. This gives a structural rule that pins down where amenable pieces can sit inside these algebras.

What carries the argument

The amenable absorption property, which forces any amenable subalgebra intersecting L(H) diffusely to be contained inside L(H) when H is a maximal amenable subgroup.

What would settle it

An explicit amenable subalgebra Q inside L(G) for some hyperbolic group G that intersects L(H) diffusely yet is not contained in L(H) would falsify the claim.

Watch

Extended reading notes

Core claim

We prove that the von Neumann algebra L(G) associated with any hyperbolic group G satisfies the following amenable absorption property: for any infinite maximal amenable subgroup H ≤ G and any amenable von Neumann subalgebra Q ⊂ L(G) with diffuse intersection with L(H), one must have Q ⊂ L(H). This strengthens a result of Boutonnet and Carderi. We also establish similar amenable absorption results for the broader class of acylindrically hyperbolic groups, including relatively hyperbolic groups, mapping class groups, and limit groups.

Load-bearing premise

The group G must be hyperbolic so that its geometry controls how subalgebras of L(G) can intersect L(H).

Editorial extensions

If this is right

The absorption property holds for all hyperbolic groups.
It extends directly to acylindrically hyperbolic groups including mapping class groups and limit groups.
It strengthens the earlier absorption result of Boutonnet and Carderi by removing extra hypotheses.
The geometric features of hyperbolicity are used to bound intersections between subalgebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The absorption rule may help classify maximal amenable subalgebras inside L(G) for concrete hyperbolic groups.
Analogous absorption statements could be tested for other groups whose Cayley graphs have negative curvature features.
One could check the property explicitly for free groups or surface groups to see the containment in action.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that for any hyperbolic group G, L(G) satisfies amenable absorption: if H is an infinite maximal amenable subgroup and Q is an amenable subalgebra of L(G) with diffuse intersection with L(H), then Q sits inside L(H). They prove the same for the larger class of acylindrically hyperbolic groups, which includes relatively hyperbolic groups, mapping class groups, and limit groups.

What is new is the strengthening of the Boutonnet-Carderi result specifically for hyperbolic groups, plus the extension to the acylindrically hyperbolic setting. The argument deploys the geometric assumptions on G to control intertwiners and force the inclusion once the diffuse intersection and maximality hypotheses are in place.

The paper does this with a precise statement and no visible circularity or extra assumptions on ICC-ness or torsion. The stress-test note aligns with the abstract in showing that the maximality and diffuse conditions are used exactly where needed to reach the contradiction.

Soft spots are minor and technical rather than structural. The details on handling relatively hyperbolic cases and the acylindrical actions will need checking in the full text, but nothing indicates a gap that would break the central claim.

This is for people working on von Neumann algebras of discrete groups and their rigidity properties, especially those who track connections to geometric group theory. A reader already following absorption or subfactor results for hyperbolic groups will get direct value from the extensions.

It deserves a serious referee because the result is sharp, the techniques rest on established group geometry and operator algebra methods, and the contribution is clearly stated.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for any hyperbolic group G, the group von Neumann algebra L(G) satisfies the amenable absorption property: given any infinite maximal amenable subgroup H ≤ G and any amenable von Neumann subalgebra Q ⊂ L(G) such that Q ∩ L(H) is diffuse, it follows that Q ⊂ L(H). The result is extended to the larger class of acylindrically hyperbolic groups (including relatively hyperbolic groups, mapping class groups, and limit groups) and is presented as a strengthening of Boutonnet-Carderi.

Significance. If the central containment holds, the result supplies a sharp structural rigidity statement for amenable subalgebras in L(G) that intersect maximal amenable group subalgebras diffusely. The argument combines geometric control on hyperbolic (or acylindrically hyperbolic) groups with von Neumann-algebraic intertwining techniques; the maximality of H and the diffuse-intersection hypothesis are used precisely to obtain the inclusion. This supplies a concrete, falsifiable prediction about subalgebra containment that can be tested in concrete examples and strengthens an earlier result in the literature.

minor comments (3)

The abstract and introduction state the main theorem clearly, but the precise definition of 'diffuse intersection' (i.e., whether it means the intersection is diffuse as a von Neumann algebra or merely non-atomic) should be recalled explicitly in the statement of Theorem A or in §2.
Notation for the group von Neumann algebra is introduced as both L(G) and L(G); a single consistent symbol should be adopted throughout.
The extension to acylindrically hyperbolic groups is stated in the abstract; the precise additional hypotheses needed for the relatively hyperbolic and mapping-class-group cases (e.g., on the peripheral subgroups) should be listed explicitly in the corresponding theorem statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report does not list any specific major comments under the MAJOR COMMENTS section.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper establishes a containment theorem for amenable subalgebras in L(G) for hyperbolic groups G by invoking the geometric control afforded by hyperbolicity (or acylindrical hyperbolicity) on group elements and intertwiners. The proof deploys the maximality of H and the diffuse-intersection hypothesis exactly to reach a contradiction, without any reduction of the central claim to fitted parameters, self-definitional loops, or load-bearing self-citations. The cited strengthening of Boutonnet-Carderi is external and independent. The derivation is therefore self-contained against the stated geometric assumptions.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The result is a theorem in operator algebra theory whose proof is expected to rest on standard facts about hyperbolic groups, amenable subgroups, and diffuse subalgebras; no free parameters or new entities are introduced in the abstract.

assumptions (2)

standard math Standard properties of hyperbolic groups and their maximal amenable subgroups
The statement invokes hyperbolicity and maximality of amenable subgroups as background facts from geometric group theory.
standard math Standard facts about von Neumann algebras generated by groups and diffuse intersections
The definition of diffuse intersection and the notion of amenable subalgebras are taken from prior literature in operator algebras.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Amenable absorption in von Neumann algebras of hyperbolic groups." pith.science (2026). https://pith.science/paper/HNBOQ3PL

@misc{pith2026260610105,
  author       = {Pith},
  title        = {Pith review of: Amenable absorption in von Neumann algebras of hyperbolic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HNBOQ3PL}},
  note         = {Machine review of arXiv:2606.10105}
}

abstract

We prove that the von Neumann algebra $\cL(G)$ associated with any hyperbolic group $G$ satisfies the following \emph{amenable absorption property}: for any infinite maximal amenable subgroup $H \leqslant G$ and any amenable von Neumann subalgebra $\mathcal{Q} \subset \cL(G)$ with diffuse intersection with $\cL(H)$, one must have $\mathcal{Q} \subset \cL(H)$. This strengthens a result of Boutonnet and Carderi \cite{BC2}. We also establish similar amenable absorption results for the broader class of acylindrically hyperbolic groups, including relatively hyperbolic groups, mapping class groups, and limit groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 8 canonical work pages

[1]

[AMAKCK25] J. F. Ariza Mej´ ıa, D. N. Amaraweera Kalutotage, I. Chifan, K. Khan, Relative solidity results and their applications to rigidity and computations of II 1 factors invariants, preprint arXiv:2509.19481,

work page arXiv
[2]

Akemann, P.A

AMENABLE ABSORPTION IN VON NEUMANN ALGEBRAS OF HYPERBOLIC GROUPS 13 [AO76] C.A. Akemann, P.A. Ostrand, Computing norms in groupC ∗-algebras. Amer. J. Math.98(1976), no. 4, 1015-1047. [Ati76] M. F. Atiyah, Elliptic operators, discrete groups and von Neumann algebras. Colloque ”Analyse et Topolo- gie” en l’Honneur de Henri Cartan (Orsay, 1974), pp. 43–72, A...

1976
[3]

Belinschi and M

[BC22] S. Belinschi and M. Capitaine. Strong convergence of tensor products of independent G.U.E. matrices. preprint, arXiv:2205.07695,

work page arXiv
[4]

Bordenave and B

[BC23] C. Bordenave and B. Collins. Norm of matrix-valued polynomials in random unitaries and permutations. arXiv:2304.05714,

work page arXiv
[5]

A new approach to strong convergence II. The classical ensembles

[BC13] R. Boutonnet, A. Carderi, Maximal amenable subalgebras of von Neumann algebras associated with hy- perbolic groups,Math. Ann.367(2017), 1199-1216. [BC14] R. Boutonnet, A. Carderi, Maximal amenable von Neumann subalgebras arising from maximal amenable subgroups,Geom. Funct. Anal.25(2015), no. 6, 1688-1705. [BH16] R. Boutonnet, C. Houdayer, Amenable ...

work page Pith review arXiv 2017
[6]

Chifan, T

[CS13] I. Chifan, T. Sinclair, On the structural theory of II 1 factors of negatively curved groups.Ann. Sci. ´Ec. Norm. Sup´ er.(4)46(2013), no. 1, 1–33 (2013). [Co76] A. Connes, Classification of injective factors,Ann. of Math.104(1976) 73-115. [DG08] F. Dahmani, D. Groves, The isomorphism problem for toral relatively hyperbolic groups.Publ. Math. Inst....

2013
[7]

The separable case of Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors

[Fan07] J. Fang, On maximal injective subalgebras of tensor products of von Neumann algebras.J. Funct. Anal. 244(2007), no. 1, 277–288. [Gao10] M. Gao, On maximal injective subalgebras.Proc. Amer. Math. Soc.138(2010), no. 6, 2065–2070. [Ge96] L. Ge, On maximal injective subalgebras of factors.Adv. Math.118(1996), no. 1, 34–70. [Ge98] L. Ge:Applications of...

work page Pith review arXiv 2007
[8]

Houdayer, Gamma stability in free product von Neumann algebras,Comm

[Ho14] C. Houdayer, Gamma stability in free product von Neumann algebras,Comm. Math. Phys.336(2015), no. 2, 831–851. [HI23] C. Houdayer, A. Ioana, Asymptotic freeness in tracial ultraproducts, preprint arXiv:2309.15029. [HU15] C. Houdayer, Y. Ueda, Asymptotic structure of free product von Neumann algebras,Math. Proc. Cambridge Philos. Soc.161(2016), no. 3...

work page arXiv 2015

Show all 13 references

[9]

Kunnawalkam Elayavalli, Gregory Patchell, Simplices of maximal amenable extensions in II 1 factors, preprint arXiv:2410.11788,

14 JUAN FELIPE ARIZA MEJ ´IA, IONUT ¸ CHIFAN, ADRIANA FERN´ANDEZ QUERO, AND ADRIAN IOANA [KEP24] S. Kunnawalkam Elayavalli, Gregory Patchell, Simplices of maximal amenable extensions in II 1 factors, preprint arXiv:2410.11788,
[10]

Leary, Maximal amenability with asymptotic orthogonality in amalgamated free products,J

[Le21] B. Leary, Maximal amenability with asymptotic orthogonality in amalgamated free products,J. Operator Theory.86(2021), no. 1, 17-29. [LM12] A. Lubotzky, C. Meiri, Sieve methods in group theory III: Aut(F n).Internat. J. Algebra Comput.22(2012), no. 7, 1250062, 8 pp. [MvN...

2021
[11]

ISBN: 979-8380-38107-9

175 pp. ISBN: 979-8380-38107-9. [Osi06a] D. Osin, Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems, Memoirs Amer. Math. Soc.179(2006), no

2006
[12]

Osin, Elementary subgroups of relatively hyperbolic groups and bounded generation,Internat

[Osi06] D. Osin, Elementary subgroups of relatively hyperbolic groups and bounded generation,Internat. J. Algebra Comput.,16(2006), no. 1, 99-118. [Osi07] D. Osin, Peripheral fillings of relatively hyperbolic groups,Invent. Math.167(2007), no. 2, 295-326. [Osi16] D. Osin, Acyl...

2006
[13]

Parraud, The spectrum of a tensor of random and deterministic matrices

[Pa24] F. Parraud, The spectrum of a tensor of random and deterministic matrices. Preprint 2024, arXiv:2410.04481. [PT11] J. Peterson, A. Thom, Group cocycles and the ring of affiliated operators.Invent. Math.185(2011), no. 3, 561–592. [Pe09] J. Peterson,L 2-rigidity in von Ne...

2024

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.

[1] [1]

[AMAKCK25] J. F. Ariza Mej´ ıa, D. N. Amaraweera Kalutotage, I. Chifan, K. Khan, Relative solidity results and their applications to rigidity and computations of II 1 factors invariants, preprint arXiv:2509.19481,

work page arXiv

[2] [2]

Akemann, P.A

AMENABLE ABSORPTION IN VON NEUMANN ALGEBRAS OF HYPERBOLIC GROUPS 13 [AO76] C.A. Akemann, P.A. Ostrand, Computing norms in groupC ∗-algebras. Amer. J. Math.98(1976), no. 4, 1015-1047. [Ati76] M. F. Atiyah, Elliptic operators, discrete groups and von Neumann algebras. Colloque ”Analyse et Topolo- gie” en l’Honneur de Henri Cartan (Orsay, 1974), pp. 43–72, A...

1976

[3] [3]

Belinschi and M

[BC22] S. Belinschi and M. Capitaine. Strong convergence of tensor products of independent G.U.E. matrices. preprint, arXiv:2205.07695,

work page arXiv

[4] [4]

Bordenave and B

[BC23] C. Bordenave and B. Collins. Norm of matrix-valued polynomials in random unitaries and permutations. arXiv:2304.05714,

work page arXiv

[5] [5]

A new approach to strong convergence II. The classical ensembles

[BC13] R. Boutonnet, A. Carderi, Maximal amenable subalgebras of von Neumann algebras associated with hy- perbolic groups,Math. Ann.367(2017), 1199-1216. [BC14] R. Boutonnet, A. Carderi, Maximal amenable von Neumann subalgebras arising from maximal amenable subgroups,Geom. Funct. Anal.25(2015), no. 6, 1688-1705. [BH16] R. Boutonnet, C. Houdayer, Amenable ...

work page Pith review arXiv 2017

[6] [6]

Chifan, T

[CS13] I. Chifan, T. Sinclair, On the structural theory of II 1 factors of negatively curved groups.Ann. Sci. ´Ec. Norm. Sup´ er.(4)46(2013), no. 1, 1–33 (2013). [Co76] A. Connes, Classification of injective factors,Ann. of Math.104(1976) 73-115. [DG08] F. Dahmani, D. Groves, The isomorphism problem for toral relatively hyperbolic groups.Publ. Math. Inst....

2013

[7] [7]

The separable case of Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors

[Fan07] J. Fang, On maximal injective subalgebras of tensor products of von Neumann algebras.J. Funct. Anal. 244(2007), no. 1, 277–288. [Gao10] M. Gao, On maximal injective subalgebras.Proc. Amer. Math. Soc.138(2010), no. 6, 2065–2070. [Ge96] L. Ge, On maximal injective subalgebras of factors.Adv. Math.118(1996), no. 1, 34–70. [Ge98] L. Ge:Applications of...

work page Pith review arXiv 2007

[8] [8]

Houdayer, Gamma stability in free product von Neumann algebras,Comm

[Ho14] C. Houdayer, Gamma stability in free product von Neumann algebras,Comm. Math. Phys.336(2015), no. 2, 831–851. [HI23] C. Houdayer, A. Ioana, Asymptotic freeness in tracial ultraproducts, preprint arXiv:2309.15029. [HU15] C. Houdayer, Y. Ueda, Asymptotic structure of free product von Neumann algebras,Math. Proc. Cambridge Philos. Soc.161(2016), no. 3...

work page arXiv 2015