English

Productive elements in group cohomology

Algebraic Topology 2012-04-30 v2

Abstract

Let GG be a finite group and kk be a field of characteristic p>0p>0. A cohomology class ζHn(G,k)\zeta \in H^n(G,k) is called productive if it annihilates \ExtkG(Lζ,Lζ)\Ext^*_{kG}(L_{\zeta},L_{\zeta}). We consider the chain complex \bPz\bPz of projective kGkG-modules which has the homology of an (n1)(n-1)-sphere and whose kk-invariant is ζ\zeta under a certain polarization. We show that ζ\zeta is productive if and only if there is a chain map Δ:\bPz\bPz\bPz\Delta: \bPz \to \bPz \otimes \bPz such that (\idϵ)Δ\id(\id \otimes \epsilon)\Delta\simeq \id and (ϵ\id)Δ\id(\epsilon \otimes \id)\Delta \simeq \id. Using the Postnikov decomposition of \bPz\bPz\bPz \otimes \bPz, we prove that there is a unique obstruction for constructing a chain map Δ\Delta satisfying these properties. Studying this obstruction more closely, we obtain theorems of Carlson and Langer on productive elements.

Keywords

Cite

@article{arxiv.1101.3834,
  title  = {Productive elements in group cohomology},
  author = {Ergun Yalcin},
  journal= {arXiv preprint arXiv:1101.3834},
  year   = {2012}
}

Comments

20 pages. A slightly different version appeared in Homology, Homotopy and Applications

R2 v1 2026-06-21T17:14:22.025Z