Homological symbols and the Quillen conjecture. (Q1004454)

Let \(R=\mathbb{Z}[\tfrac1\ell,\xi_\ell]\) for an odd regular prime \(\ell\), where \(\xi_\ell\) is a primitive \(\ell\)-th root of unity. Consider in the bi-graded algebra \(A=\bigoplus_{i,j=0}^\infty H_i(\text{GL}_j(R),\mathbb{F}_\ell)\) the subspace \(V=H_*(\text{GL}_1(R),\mathbb{F}_\ell)\). The author conjectures that the kernel of the map from the tensor algebra on \(V\) to \(A\) is generated by certain relations coming from \(H_*(\text{GL}_1(R)^{\times 2},\mathbb{F}_\ell)\). Now take \(\ell=5\). Using the computer algebra system GAP the author confirms the conjecture for this \(\ell\) and computes both \(H_2(\text{GL}_2(\mathbb{Z}[\tfrac15,\xi_5]),\mathbb{F}_5)\) and \(H_2(\text{SL}_2(\mathbb{Z}[\frac15,\xi_5]),\mathbb{F}_5)\).