Erratum to ``A unified approach to the plus-construction, Bousfield localization, Moore spaces and zero-in-the-spectrum examples'' (Q375904): Difference between revisions

Let \(G\) be a group. A \(G\)-\textit{dense ring} is a ring \(R\) together with a homomorphism \(\mathbb Z[G] \to R\) such that, for any right \(\mathbb Z[G]\)-module \(M\), any free right \(R\)-module \(F\), and any surjective \(R\)-module homomorphism \(M \otimes_{\mathbb Z[G]} R \twoheadrightarrow F\), there is a basis for \(F\) in the image of \(M \otimes 1\). This technical notion encompasses all subrings of \(\mathbb Q\), \(\mathbb F_p\) for any prime number \(p\), as well as group algebras over these rings. Moreover the real reduced group \(C^*\)-algebra \(C^*_{\mathbb R} (G)\) and the real Banach algebra \(l^1_{\mathbb R} (G)\) are also \(G\)-dense. The main result of this article establishes a Quillen plus-construction for homology with coefficients in a \(G\)-dense ring \(R\). Let \(X\) be a CW-complex with fundamental group \(\pi\) and \(\alpha: \pi \rightarrow G\) a group homomorphism which is injective on \(H_1(-; R)\) and surjective on \(H_2(-; R)\). Assume that \(R\) is a PID or that the relative homology group \(H_1(G, \pi; R)\) is a stably free \(R\)-module. Then one can construct a relative CW-complex \(g: X \hookrightarrow Y\) by adding \(1\)-, \(2\)-, and \(3\)-cells such that (1) \(\pi_1 Y = G\) and \(\pi_1 g = \alpha\); (2) \(g\) induces an isomorphism on \(H_q(-; R)\) for \(q \geq 2\). This nice theorem has even nicer applications, connecting various well-known results about apparently different areas in algebraic topology. Let us mention only three of them. When \(R = \mathbb Z\), \(\alpha\) is surjective, and \(P=\text{Ker} \alpha\) is perfect, then \(Y = X^+_P\) is Quillen's plus-construction. When \(R = \mathbb Z\) and \(\pi\) is the trivial group, then \(M(G, 1)\) is a Moore space. The main result's conditions allowing the construction of such a Moore space are precisely those of \textit{K. Varadarajan} [Ann. Math. (2) 84, 368--371 (1966; Zbl 0149.20103)]. When \(R=C^*_{\mathbb R} (G)\), the theorem allows the author to obtain results related to the zero-in-the-spectrum conjecture, extending those of \textit{N. Higson, J. Roe} and \textit{T. Schick} [Geom. Dedicata 87, No. 1--3, 335--343 (2001; Zbl 0991.57002)].