A limit approach to group homology.

From MaRDI portal
Publication:2482066



Abstract: In this paper, we consider for any free presentation G=F/R of a group G the coinvariance H0(G,Rabotimesn) of the n-th tensor power of the relation module Rab and show that the homology group H2n(G,mathbbZ) may be identified with the limit of the groups H0(G,Rabotimesn), where the limit is taken over the category of these presentations of G. We also consider the free Lie ring generated by the relation module Rab, in order to relate the limit of the groups gammanR/[gammanR,F] to the n-torsion subgroup of H2n(G,mathbbZ).


\textit{I. Emmanouil} and \textit{I. B. S. Passi}, [Homology Homotopy Appl. 10, No. 1, 237-257 (2008; Zbl 1154.19001)], have shown that for any group \(G\), the homology groups \(H_n(G,\mathbb{Q})\) can be described as the limits of certain functors over the category of group extensions \(G=K/H\) by using Quillen's description of the cyclic homology of an algebra over a field of characteristic 0 as the limit of a suitable functor over the category of extensions of the algebra [cf. \textit{D. Quillen}, K-Theory 3, No. 3, 205-246 (1989; Zbl 0696.16021)]. Working in the same direction the authors here obtain a description of the even homology of \(G\) with coefficients in an arbitrary \(\mathbb{Z} G\)-module \(M\) as the limit of a functor over the category \(\mathfrak B\) of all free presentations \(G=F/R\). More precisely, they use the associated relation module \(R_{ab}=R/[R,R]\) and prove that there is an isomorphism \[ H_{2n}(G,M)\simeq\varprojlim H_0(G,M\otimes R^{\otimes n}_{ab}), \] where the limit is taken over \(\mathfrak B\). They also consider the free Lie ring on the relation module \(R_{ab}\) and relate the limit of the quotients \(\gamma_nR/[\gamma_nR,F]\) to the \(n\)-torsion subgroup of \(H_{2n}(G,\mathbb{Z})\).











This page was built for publication: A limit approach to group homology.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482066)