English

The third homology of stem-extensions and Whitehead's quadratic functor

K-Theory and Homology 2022-02-14 v2

Abstract

Let AGQA \rightarrowtail G\twoheadrightarrow Q be a stem-extension and let ρ:A×GG\rho: A\times G\to G be the multiplication map. We show that there is a natural map φ:H1(Σ2ϵ,Tor1Z(2A,2A))H3(G,Z)/ρ(AZH2(G,Z))\varphi: H_1(\Sigma_2^\epsilon, {\rm Tor}_1^{\mathbb{Z}}({}_{2^\infty}A,{}_{2^\infty}A))\to H_3(G,\mathbb{Z})/\rho_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{Z})) such that, the image of φ\varphi coincides with the image of the natural map H3(A,Z)H3(G,Z)/ρ(AZH2(G,Z))H_3(A,\mathbb{Z})\to H_3(G,\mathbb{Z})/\rho_\ast(A \otimes_{\mathbb{Z}} H_2(G,\mathbb{Z})). An important tool used here is Whitehead's quadratic functor Γ\Gamma. As part of our proof of the main result, we give a precise homological description of the kernel of the natural map Γ(A)AzA\Gamma(A) \to A\otimes_{\mathbb{z}} A, γ(a)aa\gamma(a)\mapsto a\otimes a.

Keywords

Cite

@article{arxiv.2007.11177,
  title  = {The third homology of stem-extensions and Whitehead's quadratic functor},
  author = {Behrooz Mirzaii and Fatemeh Yeganeh Mokari and David M. Carbajal Ordinola},
  journal= {arXiv preprint arXiv:2007.11177},
  year   = {2022}
}

Comments

11 pages