Quillen's vanishing conjecture for linear groups

Let $GL_j(R)$ be the general linear group and let $D_j(R)\subset GL_j(R)$ be its diagonal subgroup. For group homology with coefficients in $k$, the canonical inclusion induces

$$\rho:H_i(D_j(R);k)\to H_i(GL_j(R);k).$$

Here $R=\mathbb Z[\zeta_p,1/p]$, where $p$ is a regular odd prime and $\zeta_p$ is a primitive $p$th root of unity, and $k=\mathbb F_p$. Quillen's conjecture. The homomorphism $\rho$ is an epimorphism for every $i$ and $j$. The conjecture has been proved in several low-rank cases but disproved for infinitely many cases, including sufficiently large ranks for particular rings; its general formulation is therefore refuted.