Sierakowski's ideal-separation conjecture for reduced crossed products
Sierakowski's conjecture. If the action of Γ\GammaΓ on A^\widehat{A}A is essentially free, then AAA separates the ideals of A⋊rΓA\rtimes_r\GammaA⋊rΓ.