arxiv: 2604.04835 · v1 · submitted 2026-04-06 · 🧮 math.OA · math.DS· math.FA· math.GN· math.GT

Recognition: 2 theorem links

· Lean Theorem

On Relative Invariant Subalgebra Rigidity Property

Tattwamasi Amrutam

Pith reviewed 2026-05-10 18:54 UTC · model grok-4.3

classification 🧮 math.OA math.DSmath.FAmath.GNmath.GT MSC 46L1020F65

keywords relative ISR propertyacylindrically hyperbolic groupsvon Neumann algebrasreduced group C*-algebrashyperbolic groupslattices in Lie groupsrigiditynormal subgroups

0 comments

The pith

Torsion-free acylindrically hyperbolic groups with trivial amenable radical satisfy the relative ISR property for their group von Neumann algebras.

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

The paper proves that groups satisfying certain geometric conditions, namely being torsion-free and acylindrically hyperbolic while having trivial amenable radical, possess the relative ISR property. This means that for any nontrivial normal subgroup N, every von Neumann subalgebra of L(Γ) that stays invariant under conjugation by N must equal L(K) for some subgroup K of Γ. The same style of result is shown for the reduced group C*-algebra when the group is merely torsion-free and hyperbolic, and an analogous statement holds for irreducible lattices with trivial center in higher-rank semisimple Lie groups such as SL_d(Z) for d at least 3. A reader would care because these conditions cover many groups arising in geometric group theory and lattice theory, giving explicit classes where the group structure rigidly determines the possible invariant subalgebras inside the associated operator algebras.

Core claim

We show that every torsion-free acylindrically hyperbolic group with trivial amenable radical satisfies the relative ISR property. Moreover, we also show that all torsion-free hyperbolic groups have the relative C*-ISR property. Furthermore, we establish an analogous relative ISR-property for irreducible lattices in higher-rank semisimple Lie groups, such as SL_d(Z) (d ≥ 3), with trivial center.

What carries the argument

The relative ISR property, which asserts that any von Neumann subalgebra invariant under conjugation by a nontrivial normal subgroup N must be the group von Neumann algebra of some subgroup K.

If this is right

For these groups any N-invariant subalgebra in the group von Neumann algebra arises exactly from a subgroup.
Torsion-free hyperbolic groups satisfy the same rigidity at the level of reduced group C*-algebras.
Irreducible lattices with trivial center in higher-rank Lie groups obey the relative ISR property.
The results supply new families of groups to which prior absolute ISR statements can be relativized.

Where Pith is reading between the lines

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

The same geometric hypotheses might support analogous rigidity statements for other operator-algebraic constructions built from these groups.
The lattice case suggests possible overlap with known superrigidity results for higher-rank lattices.
One could test whether weakening torsion-freeness still permits the property or produces explicit counterexamples.

Load-bearing premise

The groups in question must actually be torsion-free, acylindrically hyperbolic, and have trivial amenable radical, and the notion of N-invariance must match the standard conjugation action on the algebra.

What would settle it

Exhibit one concrete torsion-free acylindrically hyperbolic group with trivial amenable radical together with a nontrivial normal subgroup N and an N-invariant von Neumann subalgebra inside L(Γ) that is not equal to L(K) for any subgroup K of Γ.

read the original abstract

A countable discrete group $\Gamma$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteq\Gamma$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(\Gamma)$ invariant under conjugation by $N$, one has $\mathcal{M}=L(K)$ for some subgroup $K\le\Gamma$. Similarly, $\Gamma$ has the relative $C^*$-ISR-property if every $N$-invariant unital $C^*$-subalgebra $\mathcal{A} \subseteq C_r^*(\Gamma)$ is of the form $C_r^*(K)$. We show that every torsion-free acylindrically hyperbolic group with trivial amenable radical satisfies the relative ISR property. Moreover, we also show that all torsion-free hyperbolic groups have the relative $C^*$-ISR property. Furthermore, we establish an analogous relative ISR-property for irreducible lattices in higher-rank semisimple Lie groups, such as $\mathrm{SL}_d(\mathbb{Z})$ ($d \geq 3$), with trivial center.

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

Amrutam adds relative ISR for acylindrically hyperbolic groups and higher-rank lattices, with clean statements but thin proof visibility.

read the letter

Here's the quick take on Amrutam's paper: it proves that torsion-free acylindrically hyperbolic groups with trivial amenable radical have the relative ISR property, that torsion-free hyperbolic groups have the relative C*-ISR property, and that irreducible higher-rank lattices with trivial center satisfy an analogous relative ISR property. What stands out as new is the application to acylindrically hyperbolic groups and to those lattices, which aren't just the usual hyperbolic cases. The statements are clean and tie directly to the group properties without extra parameters or fitted quantities. The paper does a good job laying out the definitions of the relative ISR and C*-ISR properties in terms of N-invariant subalgebras being group algebras, and it picks groups where these geometric conditions are known to hold. That makes the results concrete additions to the list of examples. On the soft spots, the abstract gives no proof sketches or key steps, so it's hard to see if the arguments for the lattice case rely on deep results from Lie group theory or if there's a gap in handling the von Neumann algebra side. The soundness can't be fully checked without the details, even though the hypotheses are standard and no obvious inconsistencies show up. The C* version for hyperbolic groups might be more straightforward, but again, without the text it's guesswork. This paper is really for researchers in operator algebras who work on rigidity of subalgebras in group factors or reduced C* algebras, especially those following the intersection with geometric group theory. Someone already familiar with ISR properties or Popa's work on subfactors would find the new families interesting to check against their own results. Overall, it looks like it deserves a serious referee to go through the proofs and confirm everything checks out, rather than a desk reject.

Referee Report

0 major / 3 minor

Summary. The paper defines the relative ISR property for a countable discrete group Γ: for every non-trivial normal subgroup N ⊴ Γ and every von Neumann subalgebra M ⊆ L(Γ) invariant under conjugation by N, one has M = L(K) for some subgroup K ≤ Γ. An analogous relative C*-ISR property is defined for unital C*-subalgebras of the reduced group C*-algebra C_r^*(Γ). The main theorems establish that every torsion-free acylindrically hyperbolic group with trivial amenable radical satisfies relative ISR, that all torsion-free hyperbolic groups satisfy relative C*-ISR, and that irreducible lattices in higher-rank semisimple Lie groups with trivial center (such as SL_d(ℤ) for d ≥ 3) satisfy an analogous relative ISR property.

Significance. If the proofs are correct, the results supply new families of groups exhibiting strong subalgebra rigidity in their associated von Neumann and reduced C*-algebras, extending existing work on invariant subalgebras under group actions. The statements are formulated under explicit, standard geometric hypotheses (torsion-freeness, acylindrical hyperbolicity, trivial amenable radical, higher-rank lattice irreducibility) and use the usual definitions of N-invariance, so they are directly falsifiable and build on established techniques in operator algebras.

minor comments (3)

[Abstract] The abstract states the theorems cleanly but supplies no indication of the proof methods (e.g., whether they rely on boundary actions, Popa-style intertwining, or deformation/rigidity techniques); adding one sentence on the strategy would improve readability without lengthening the abstract.
[Definition 1.1] Notation for the group von Neumann algebra L(Γ) and reduced C*-algebra C_r^*(Γ) is standard, but the manuscript should explicitly record that the subgroup K in the conclusion of relative ISR need not be normal (this follows from the invariance assumption but is worth a one-line remark).
[Theorem 1.4] The statement for lattices mentions 'analogous' relative ISR; a brief comparison paragraph clarifying which parts of the definition carry over verbatim and which require adjustment for the lattice setting would prevent reader confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for the positive recommendation of minor revision. The description of the relative ISR-property, the relative C*-ISR-property, and the main theorems accurately reflects the content of the paper.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states theorems showing that torsion-free acylindrically hyperbolic groups with trivial amenable radical satisfy the relative ISR property, torsion-free hyperbolic groups satisfy the relative C*-ISR property, and certain lattices satisfy an analogous property. These are presented as direct consequences of the given group hypotheses and standard definitions of N-invariance for subalgebras of L(Γ) or C_r^*(Γ). No equations, fitted parameters, self-citations as load-bearing premises, or reductions of results to inputs by construction appear in the provided abstract or claim structure. The derivation chain is self-contained against the stated assumptions without invoking self-definitional loops or renaming known results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work consists of proving theorems inside the existing frameworks of group theory and operator algebras; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)

standard math Standard axioms and definitions of countable discrete groups, normal subgroups, von Neumann algebras L(Γ), C*-algebras C_r^*(Γ), and acylindrical hyperbolicity.
The paper invokes these established structures to define the ISR properties and to state the hypotheses on the groups.

pith-pipeline@v0.9.0 · 5482 in / 1319 out tokens · 71913 ms · 2026-05-10T18:54:32.382279+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Definition 1.1. A group Γ is said to have the relative ISR-property if for every non-trivial normal subgroup N ⊴ Γ and every von Neumann subalgebra M ⊆ L(Γ) invariant under conjugation by N, one has M = L(K) for some subgroup K ≤ Γ.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 1.2. Let Γ be a torsion-free acylindrically hyperbolic group with trivial amenable radical. Then Γ has the relative ISR-property.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Factors with prescribed number of invariant subalgebras not arising from subgroups
math.OA 2026-05 unverdicted novelty 6.0

For every integer n at least 1, there exist i.c.c. groups G such that L(G) has precisely n G-invariant von Neumann subalgebras not arising from subgroups.

Reference graph

Works this paper leans on

4 extracted references · 3 canonical work pages · cited by 1 Pith paper

[1]

Amrutam, A

[AB21] V. Alekseev and R. Brugger,A rigidity result for normalized subfactors, Journal of Operator Theory86(2021), no. 1, 3–15. [AB24] T. Amrutam and J. Bassi,On relative commutants of subalgebras in group and tracial crossed product von neumann algebras, Pacific Journal of Mathematics331(2024), no. 1, 1–22. [AD19] C. R Abbott and F. Dahmani,Property p na...

work page arXiv 2021
[2]

Dudko and Y

[DJ24] A. Dudko and Y. Jiang,A character approach to the isr property, arXiv preprint arXiv:2410.14517 (2024). [Fur03] A. Furman,On minimal strongly proximal actions of locally compact groups, Israel J. Math.136(2003), 173–187. 24 AMRUTAM [Fur73] H. Furstenberg,Boundary theory and stochastic processes on homogeneous spaces, Harmonic analysis on homogeneou...

work page arXiv 2024
[3]

Jiang and H

[JL26a] Y. Jiang and H. Li,Classification of invariant subalgebras in a class of factors with property (T), arXiv preprint arXiv:2601.06353 (2026). [JL26b] Y. Jiang and R. Liu,On invariant subalgebras when the ISR property fails, J. Operator Theory95(2026), no. 1, 103–117. [JS21] Y. Jiang and A. Skalski,Maximal subgroups and von neumann subalgebras with t...

work page arXiv 2026
[4]

Kalantar and M

[KK17] M. Kalantar and M. Kennedy,Boundaries of reducedC∗-algebras of discrete groups, J. Reine Angew. Math.727(2017), 247–267. [KP23] M. Kalantar and N. Panagopoulos,On invariant subalgebras of group and von neumann algebras, Ergodic Theory and Dynamical Systems43(2023), no. 10, 3341–3353. [Osi06] D.VOsin,Elementary subgroups of relatively hyperbolic gro...

2017