The third homology of stem-extensions and Whitehead's quadratic functor
Let A↣G↠Q be a stem-extension and let ρ:A×G→G be the multiplication map. We show that there is a natural map φ:H1(Σ2ε,Tor1Z(2∞A,2∞A))→H3(G,Z)/ρ∗(A⊗ZH2(G,Z)) such that, the image of φ coincides with the image of the natural map H3(A,Z)→H3(G,Z)/ρ∗(A⊗ZH2(G,Z)). An important tool used here is Whitehead's quadratic functor Γ. As part of our proof of the main result, we give a precise homological description of the kernel of the natural map Γ(A)→A⊗zA, γ(a)↦a⊗a.