Property $P_{naive}$ for acylindrically hyperbolic groups

Abstract

We prove that every acylindrically hyperbolic group that has no non-trivial finite normal subgroup satisfies a strong ping pong property, the $P_{naive}$ property: for any finite collection of elements $h_1, \dots, h_k$, there exists another element $γ\neq 1$ such that for all $i$, $\langle h_i, γ\rangle = \langle h_i \rangle* \langle γ\rangle$. We also obtain that if a collection of subgroups $H_1, \dots, H_k$ is a hyperbolically embedded collection, then there is $γ\neq 1$ such that for all $i$, $\langle H_i, γ\rangle = H_i * \langle γ\rangle$.