Strong pure infiniteness of crossed products

Consider an exact action of discrete group $G$ on a separable $C^*$-algebra $A$. It is shown that the reduced crossed product $A\rtimes_{\sigma, \lambda} G$ is strongly purely infinite - provided that the action of $G$ on any quotient $A/I$ by a $G$-invariant closed ideal $I\neq A$ is element-wise properly outer and that the action of $G$ on $A$ is $G$-separating (cf. Definition 4.1). This is the first non-trivial sufficient criterion for strong pure infiniteness of reduced crossed products of $C^*$-algebras $A$ that are not $G$-simple. In the case $A=\mathrm{C}_0(X)$ the notion of a $G$-separating action corresponds to the property that two compact sets $C_1$ and $C_2$, that are contained in open subsets $C_j\subseteq U_j \subseteq X$, can be mapped by elements of $g_j\in G$ onto disjoint sets $\sigma_{g_j}(C_j)\subseteq U_j$, but we do not require that $\sigma_{g_j}(U_j)\subseteq U_j$. A generalization of strong boundary actions on compact spaces to non-unital and non-commutative $C^*$-algebras $A$ (cf. Definition 6.1) is also introduced. It is stronger than the notion of $G$-separating actions by Proposition 6.6, because $G$-separation does not imply $G$-simplicity and there are examples of $G$-separating actions with reduced crossed products that are stably projection-less and non-simple.