Exterior homology and cohomology of finite groups (Q2736078)

Let \(G\) be a finite group of order \(n\). The paper under review defines the `exterior' homology and cohomology of \(G\) as follows: let \(\Lambda^i\mathbb{Z}[G]\), \(i\geq 1\), be the \(i\)-th exterior algebra of \(\mathbb{Z}[G]\), and \(A\) be a \(G\)-module. Then, the exterior homology of \(G\) with coefficients in \(A\) (\(H_*^\lambda(G;A)\)) is defined as the homology of the complex NEWLINE\[NEWLINE\{\Lambda^1\mathbb{Z}[G]\}\otimes_GA@<\partial\otimes\text{Id}<<\{\Lambda^2\mathbb{Z}[G]\}\otimes_GA@<\partial\otimes\text{Id}<<\cdots@<\partial\otimes\text{Id}<<\{\Lambda^n\mathbb{Z}[G]\}\otimes_GA@<<<0NEWLINE\]NEWLINE whereas the exterior cohomology (\(H^*_\lambda(G;A)\)) of \(G\) is the homology of the complex NEWLINE\[NEWLINE\Hom_G(\Lambda^1\mathbb{Z}[G],A)@>\partial>>\Hom_G(\Lambda^2\mathbb{Z}[G],A)@>\partial>>\cdots@>\partial>>\Hom_G(\Lambda^n\mathbb{Z}[G],A)@>\partial>>0.NEWLINE\]NEWLINE From the definition it follows that these (co)homology groups vanish for \(*>n\), in contrast with the usual (co)homology. Moreover, the author proves that there are canonical homomorphisms \(\lambda_*\colon H_*(G;A)\to H_*^\lambda(G;A)\) and \(\lambda_*\colon H^*_\lambda(G;A)\to H^*(G;A)\). These are isomorphisms in homology in dimension \(0\) and in cohomology in dimensions \(0,1,2\). The author also proves that these exterior groups satisfy Poincaré duality (when \(A\) is a considered as the trivial \(G\) module). It is also proved that the Chern characters of linear representations of \(G\) lie in \(\text{Im}(\lambda_*)\). Finally, the author uses exterior cohomology to study \(2\)-forms on the augmentation ideal.NEWLINENEWLINEFor the entire collection see [Zbl 0967.00102].