Nonsofic wreath products of residually finite groups

This work builds on the breakthrough of OpenAI in finding the first nonsofic group. We analyze the underlying proof mechanism and find further applications. Let $Γ<G$ be such that $\{g\in G:gΓg^{-1}\leqΓ\}$ generates $G$ as a group, and suppose that both $Γ$ and $G$ have property $(T)$. If $Γ$ is not normal, then the generalized wreath product $\bigl(\bigoplus_{G/Γ}\mathbb Z/2\mathbb Z\bigr)\rtimes G$ and the group double $G \ast_Γ G$ are nonsofic. These hypotheses hold for explicit pairs of elementary groups over polynomial and Laurent polynomial rings, in which both groups are residually finite and Kazhdan.