Noncommutative topological boundaries and amenable invariant random intermediate subalgebras

Abstract

As an analogue of the topological boundary of discrete groups $Γ$, we define the noncommutative topological boundary of tracial von Neumann algebras $(M, τ)$ and apply it to generalize the main results of [AHO23], showing that for a trace-preserving action $Γ\curvearrowright (A, τ_A)$ on an amenable tracial von Neumann algebra, any $Γ$-invariant amenable intermediate subalgebra between $A$ and $Γ\ltimes A$ is necessarily a subalgebra of $\mathrm{Rad}(Γ) \ltimes A$. By taking $(A, τ_A) = L^\infty(X, ν_X)$ for a free pmp action $Γ\curvearrowright (X, ν_X)$, we obtain a similar result for the invariant subequivalence relations of $\mathcal{R}_{Γ\curvearrowright X}$.