Homological symbols and the Quillen conjecture. (Q1004454)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homological symbols and the Quillen conjecture. |
scientific article |
Statements
Homological symbols and the Quillen conjecture. (English)
0 references
10 March 2009
0 references
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)\).
0 references
homological symbols algebra
0 references
Quillen conjecture
0 references
linear group homology
0 references
arithmetic rings
0 references
0 references