Friday, 7 January 2011

group cohomology - Coboundary Representations for Trivial Cup Products

Suppose G is a pro-p-group, p odd, and mathbbFp is given the trivial G-action. By skew-symmetry of the cup-product in degree 1, given chiinH1(G,mathbbFp), we have chicupchi=0inH2(G,mathbbFp). In fact, in this case, it's even possible to explicitly write chicupchi as a coboundary -- chicupchi=dleft(binomchi2right), the coboundary of "chi choose 2".



In any case, my question is whether or not there anyone has seen any other tricks of this sort, i.e., for the explicit realization of a trivial cup product as a coboundary. In my specific case, I know a particular cup product is zero since I can force it, via the G-equivariance of the cup-product, to land in a known-to-be-trivial eigenspace of H2. I was hoping there was some "eigenspace-averaging" trick similar to the construction of orthogonal idempotents to get my hands on an explicit pre-image, but really, I'd just like to be aware of any tricks for doing this.

No comments:

Post a Comment