Verification of the Quillen conjecture in the rank 2 imaginary quadratic case

Abstract

We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\mathrm{SL}}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}])$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}$ is an imaginary quadratic ring of integers. To make explicit the free module structure on the cohomology ring conjectured by Quillen, we compute the mod $2$ cohomology of ${\mathrm{SL}}_2(\mathbb{Z}[\sqrt{-2}][\frac{1}{2}])$ via the amalgamated decomposition of the latter group.

13 pages, 1 figures