arXiv Science⌕ Search

arXiv · 2610.41417

IRA Rigidity and boomerang subalgebras of group von Neumann algebras

Abstract

We introduce the notion of Boomerang subalgebras of group von Neumann algebras and study their general properties. We show that every Boomerang subalgebra of $L(Γ)$ is the group von Neumann algebra of a Boomerang subgroup when $Γ$ is a countable $C^*$-simple acylindrically hyperbolic group or a finite product of such groups. Consequently, every such group is invariant random algebra (IRA) rigid: every IRA arises as the pushforward of an invariant random subgroup (IRS) under the group von Neumann algebra construction. We also establish IRA rigidity for adjoint $K$-split higher rank $S$-arithmetic groups, as well as for all countable mixed identity-free (MIF) groups and their finite products. Consequently, IRA rigidity holds for countable groups admitting a topologically free minimal extremely proximal action on a compact Hausdorff space with more than two points. The same conclusion holds for countable groups admitting a faithful minimal action of general type on a tree whose induced boundary action is topologically free, and for finite products of groups admitting either of these actions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tattwamasi Amrutam, Yair Glasner, Yair Hartman, Yongle Jiang. 2026-10-30. IRA Rigidity and boomerang subalgebras of group von Neumann algebras. https://arxiv.org/abs/2610.41417

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The e-Property for Quantum Markov Semigroups

Let $(\mathcal{T}_t)_{t\geqslant0}$ be a quantum Markov semigroup on a von Neumann algebra and let $\mathcal{A}$ be an invariant Feller $C^*$-algebra. We formulate the $e$-property on the full state space and show that its quantitative defect is equivalent, within an optimal factor two, to the Hausdorff measure of non-compactness of observable orbits. We develop Cesàro and Lip-norm criteria and a generalised Doeblin minorisation by a state-space contracting positive map, including finite-dimensional and measure-prepare factorisations. When every observable has the $e$-property, the Jacobs--de Leeuw--Glicksberg decomposition identifies the reversible Choi--Effros algebra and the norm-stable sector. Expected and decoherence-free subalgebras transfer the property under norm decay of the complementary dynamics, including infinite-dimensional ultracontractive and finite-index Pimsner--Popa regimes. Finally, we establish the full comparison hierarchy among ordinary, eventual, Cesàro and pointwise eventual equicontinuity notions, reinforced by matrix Jamison and homoclinic flow counterexamples. Projection-face criteria are treated in a companion paper.

math.OA↗

Geometric Aspects of $C^*$-Extreme Points II

Building on the results of \cite{HR}, we investigate the relationship between \(C^*\)-extremality and linear extremality in the closed unit balls of general unital \(C^*\)-algebras. We show that, unlike in von Neumann algebras, these two notions of extremality need not coincide in general \(C^*\)-algebras. More precisely, we prove that the unilateral shift is a linear extreme point, but not a \(C^*\)-extreme point, of the closed unit ball of the Toeplitz \(C^*\)-algebra. We further establish that \(C^*\)-extremality implies linear extremality whenever the \(C^*\)-algebra admits a faithful unital representation on a separable Hilbert space. We also prove this implication for elements admitting a factorization $x=v|x|$, where $v$ is a partial isometry belonging to the algebra, and extend the result to suitable quotient \(C^*\)-algebras, including the Calkin algebra. Finally, we characterize the linear extreme points of the closed unit ball of unital \(C^*\)-subalgebras of \(B(H)\) containing the compact operators.

math.OA↗

Every classifiable simple C*-algebra has a C*-diagonal

We construct C*-diagonals in all UCT Kirchberg algebras. Together with known constructions of C*-diagonals in the stably finite setting by Xin Li, this shows that every classifiable C*-algebra (in the sense of the Elliott classification programme) has a C*-diagonal. In fact, we show that every UCT Kirchberg algebra admits an untwisted principal étale groupoid model with a finite-dimensional unit space.

math.OA↗