1: \begin{abstract}

2: Let $N\ge 4$. We prove that every injective homomorphism from the Torelli subgroup $\mathrm{IA}_N$ to $\mathrm{Out}(F_N)$ differs from the inclusion by a conjugation in $\mathrm{Out}(F_N)$. This applies more generally to the following subgroups of $\Out(F_N)$: every finite-index subgroup of $\mathrm{Out}(F_N)$ (recovering a theorem of Farb and Handel); every subgroup of $\mathrm{Out}(F_N)$ that contains a finite-index subgroup of one of the groups in the Andreadakis--Johnson filtration of $\mathrm{Out}(F_N)$; every subgroup that contains a power of every linearly-growing automorphism; more generally, every \emph{twist-rich} subgroup of $\Out(F_N)$ -- those are subgroups that contain sufficiently many twists in an appropriate sense.

3: 

4: Among applications, this recovers the fact that the abstract commensurator of every group above is equal to its relative commensurator in $\mathrm{Out}(F_N)$; it also implies that all subgroups in the Andreadakis--Johnson filtration of $\Out(F_N)$ are co-Hopfian.

5: 

6: We also prove the same rigidity statement for subgroups of $\Out(F_3)$ which contain a power of every Nielsen transformation. This shows in particular that $\Out(F_3)$ and all its finite-index subgroups are co-Hopfian, extending a theorem of Farb and Handel to the $N=3$ case.

7: \end{abstract}

8: