On the plus construction for \(BGL \mathbb{Z} [{1\over 2}]\) at the prime 2 (Q1188020)

The homotopy pullback \(JK(\mathbb{Z})\) of the diagram \(BGl\mathbb{F}_ 3^ +\to BU\leftarrow BO\) allows for a map \(\Phi:\bigl(BGl\mathbb{Z}[{1\over 2}]^ +\bigr)^ \wedge \to JK(\mathbb{Z})^ \wedge\), where \((\;)^ \wedge\) denotes 2-adic completion. \(\Omega\Phi\) is a homotopy retraction [\textit{M. Bökstedt}, ``Algebraic topology'', Proc. Conf., Aarhus 1982, Lect. Notes Math. 1051, 25-37 (1984; Zbl 0589.57032)]. As [\textit{W. G. Dwyer} and \textit{E. M. Friedlander}, Trans. Am. Math. Soc. 292, 247-280 (1985; Zbl 0581.14012)] \(JK(\mathbb{Z})\) may be viewed as the target for a 2-adic version of the Lichtenbaum-Quillen conjecture, there is support for it by Theorem 7.1.: \(\Phi_ *:H_ *\bigl( BGl\mathbb{Z}[{1\over 2}];\mathbb{Z}/2\bigr)\to H_ *(JK(\mathbb{Z});\mathbb{Z}_ k)\) is a split surjection of Hopf algebras over the Steenrod algebra. The homology of \(JK(\mathbb{Z})\) becomes accessible in a twofold way by means of the fibrations \(U/0\to JK(\mathbb{Z})\to BGl\mathbb{F}_ +^ 3\in H_ *BGl\mathbb{F}_ 3\) being known from [\textit{D. Quillen}, Ann. Math., II. Ser. 96, 552-586 (1972; Zbl 0249.18022)] and \(U\to JK(\mathbb{Z})\to BO\). The latter gives \(H_ *JK(\mathbb{Z})\cong H_ *U\otimes H_ *BO\) with \(\mathbb{R} P^ \infty\vee \Sigma\mathbb{C} P_ +^ \infty\) as generating complex (theorem 4.3). As \(BGl_ 1\mathbb{F}_ 3=\mathbb{R} P^ \infty\), projection and \(H\)-space multiplication combine to a map \(B(\mathbb{Z}\times \mathbb{Z}_ 2)=S^ 1\times \mathbb{R} P^ \infty\to JK(\mathbb{Z})\). This map also provides a generating complex for \(H_ *JK(\mathbb{Z})\). Its kernel can explicitly be described by quadratic relations (theorem 4.6). As \(\mathbb{Z}\times\mathbb{Z}_ 2\cong Gl_ 1\mathbb{Z}[{1\over 2}]\), the complex lifts to \(BGl\mathbb{Z}[{1\over 2}]^ +\). It then sufficies to check the relations of theorem 4.6 to be valid in \(H_ * Gl_ 2\mathbb{Z}[{1\over 2}]\). Useful information on \(SL_ 2\mathbb{Z}[{1\over 2}]\) becomes important from [\textit{J.-P. Serre}, Trees (1980; Zbl 0548.20018)]. Relations to [\textit{M. Bökstedt}, \textit{W. C. Hsiang} and \textit{I. Madsen}, The cyclotomic trace and algebraic \(K\)- theory of spaces; Invent. Math. 111, No. 3, 465-539 (1993)] are pointed out in section 7.