The Andersen-Masbaum-Ueno conjecture for the derived subgroup of the Johnson kernel

A conjecture of Andersen, Masbaum and Ueno states that for any compact oriented surface ${\mathrm{\Sigma }}_{g,n}$ and any pseudo-Anosov $f\in \mathrm{M}\mathrm{o}\mathrm{d}({\mathrm{\Sigma }}_{g,n}),$ the matrix ${\rho }_r(f)$ has infinite order for any large $r,$ where ${\rho }_r$ is the $\mathrm{S}\mathrm{O}(3)$-WRT quantum representation of the mapping class group $\mathrm{M}\mathrm{o}\mathrm{d}({\mathrm{\Sigma }}_{g,n})$ at a primitive $r$-th root of unity. We prove this conjecture for prime $r$ and any $f\in [J_2({\mathrm{\Sigma }}_{g,n}),J_2({\mathrm{\Sigma }}_{g,n})],$ where $J_2({\mathrm{\Sigma }}_{g,n})$ is the Johnson kernel.