A remark on the freeness condition of Suzuki's correspondence theorem for intermediate ${\rm C}^\ast$-algebras
Let $Γ$ be a discrete group satisfying the approximation property (AP). Let $X$, $Y$ be $Γ$-spaces and $π\colon Y \to X$ be a proper factor map which is injective on the non-free part. We prove the one-to-one correspondence between intermediate ${\rm C}^\ast$-algebras of $C_0(X) \rtimes_r Γ\subset C_0(Y) \rtimes Γ$ and intermediate $Γ$-${\rm C}^\ast$-algebras of $C_0(X) \subset C_0(Y)$. This is a generalization of Suzuki's theorem that proves the statement for free actions.
math.OA↗