pith. sign in

arxiv: 2606.10105 · v1 · pith:HNBOQ3PLnew · submitted 2026-06-08 · 🧮 math.OA

Amenable absorption in von Neumann algebras of hyperbolic groups

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

Pith reviewed 2026-06-27 13:48 UTC · model grok-4.3

classification 🧮 math.OA
keywords hyperbolic groupsvon Neumann algebrasamenable absorptionacylindrically hyperbolic groupsmaximal amenable subgroupsgroup von Neumann algebrasoperator algebras
0
0 comments X

The pith

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.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

Load-bearing premise

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

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.

read the original 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.

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

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)
  1. 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.
  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.
  3. 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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.1-grok · 5642 in / 1279 out tokens · 18811 ms · 2026-06-27T13:48:01.784755+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 · 2 linked inside Pith

  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,

    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,

    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,

    arXiv

  5. [5]

    Boutonnet, A

    [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 ...

    Pith/arXiv 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]

    Fang, On maximal injective subalgebras of tensor products of von Neumann algebras.J

    [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...

    Pith/arXiv 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...

    arXiv 2015

  9. [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,

    arXiv

  10. [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. [MvN43] F. J. Murray, J. von Neumann, Rings of operators IV.Ann. of Math.44(1943), 7...

    2021

  11. [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. [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, Acylindrically hyperbolic groups,Trans. Amer. Math. Soc.368(2016), no. 2, 851-888. [...

    2006

  13. [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 Neumann algebras.Invent. Math.175(2009), no. 2, 417–433. [Po83] S. Popa, Maximal i...

    arXiv 2024