English

Two results on cohomology of groups adapted to cochains

Group Theory 2023-08-17 v1

Abstract

Given a group GG and a GG-module MM, we denote by (C(G,M),d)(C(G,M),d) the corresponding cochain complex obtained from the standard resolution. An element of the cohomology H(G,M)H(G,M) will be written as the class [a][a] of some cocycle aC(G,M)a\in C(G,M). The first result involves the triviality of the action of GG on H(G,M)H(G,M), i.e. s[a]=[a]s[a]=[a] [a]Hn(G,M)\forall [a]\in H^n(G,M), sGs\in G. Adapted to cochains, we prove that saa=(hsd+dhs)(a)sa-a=(h_sd+dh_s)(a) aCn(G,M)\forall a\in C^n(G,M), for some explicit map hs:C(G,M)C(G,M)[1]h_s:C(G,M)\to C(G,M)[-1]. The second result regards the commutativity of the cup product, i.e. [a][b]=(1)pqt([b][a])[a]\cup [b]=(-1)^{pq}t_*([b]\cup [a]) [a]Hp(G,N)\forall [a]\in H^p(G,N), [b]Hq(G,M)[b]\in H^q(G,M). (Here t:NMMNt:N\otimes M\to M\otimes N is the natural bijection.) Adapted to cochains, we prove that (1)pqt(ba)ab=(hd+dh)(ab)(-1)^{pq}t_*(b\cup a)-a\cup b=(hd+dh)(a\otimes b) aCp(G,M)\forall a\in C^p(G,M), bCq(G,N)b\in C^q(G,N), for some explicit map h:C(G,M)C(G,N)C(G,MN)[1]h:C(G,M)\otimes C(G,N)\to C(G,M\otimes N)[-1].

Keywords

Cite

@article{arxiv.2308.08368,
  title  = {Two results on cohomology of groups adapted to cochains},
  author = {Constantin-Nicolae Beli},
  journal= {arXiv preprint arXiv:2308.08368},
  year   = {2023}
}