On Relative Invariant Subalgebra Rigidity Property

Abstract

A countable discrete group $Γ$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteqΓ$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(Γ)$ invariant under conjugation by $N$, one has $\mathcal{M}=L(K)$ for some subgroup $K\leΓ$. Similarly, $Γ$ has the relative $C^*$-ISR-property if every $N$-invariant unital $C^*$-subalgebra $\mathcal{A} \subseteq C_r^*(Γ)$ 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.

Theorems & Definitions (45)

• Definition 1.1
• Theorem 1.2
• Theorem 1.3
• Theorem 1.4
• Definition 2.1: Acylindrical action
• Definition 2.2: Elementary closure and primitive elements
• Remark 2.3
• Remark 2.4
• Lemma 2.5
• proof