1: \begin{abstract}

2:  We study percolation on nonamenable groups at the \emph{uniqueness threshold} $p_u$, the critical value that separates the phase in which there are infinitely many infinite clusters from the phase in which there is a unique infinite cluster.

3:    The number of infinite clusters at $p_u$ itself is a subtle question, depending on the choice of group, with only a relatively small number of examples understood. In this paper, we do the following:

4:    \begin{itemize}

5:    \item Prove non-uniqueness at $p_u$ in a new class of examples, namely those groups that contain an amenable, $wq$-normal subgroup of exponential growth. Concrete new examples to which this result applies include lamplighters over nonamenable base groups.

6:    \item Prove a co-heredity property of a certain strong form of non-uniqueness at $p_u$, stating that this property is inherited from a $wq$-normal subgroup to the entire group.

7:    % which, together with the above result and other previous results, allows for the treatment of a large number of examples including Thompson's group $F$ and other groups of dynamical origin.

8:     Remarkably, this co-heredity property is the same as that proven for the vanishing of the first $\ell^2$ Betti number by Peterson and Thom (Invent.\ Math.\ 2011), supporting the conjecture that the two properties are equivalent.

9:    \end{itemize}

10:    Our proof is based on the method of \emph{subgroup relativization}, and relies in particular on relativized versions of uniqueness monotonicity, the equivalence of non-uniqueness and connectivity decay, 

11:    % the monotonicity of the unique percolation cluster,

12:     the sharpness of the phase transition, and the Burton-Keane theorem.

13:     % , which are of independent interest.

14:      As a further application of the relative Burton-Keane theorem, we resolve a question of Lyons and Schramm (Ann.\ Probab.\ 1999) concerning intersections of random walks with percolation clusters.

15: \end{abstract}

16: