Secondary multiplication in Tate cohomology of generalized quaternion groups

TL;DR

This paper investigates the properties of a canonical element in the Hochschild cohomology of Tate cohomology for generalized quaternion groups, revealing its non-triviality across all cases but limited detectability.

Contribution

It demonstrates that the converse of a known theorem does not hold for generalized quaternion groups by analyzing the non-triviality and detectability of the canonical element.

Findings

Canonical element is non-trivial for all quaternion groups of order 2^n with n>2.

Detection of non-triviality by modules occurs only when n=3.

The converse of the Benson-Krause-Schwede theorem does not hold in this setting.

Abstract

Let k be a field and let G be a finite group. By a theorem of D.Benson, H.Krause and S.Schwede, there is a canonical element in the Hochschild cohomology of the Tate cohomology HH^{3,-1} H*(G) with the following property: Given any graded H*(G)-module X, the image of the canonical element in Ext^{3,-1}(X,X) is zero if and only if X is isomorphic to a direct summand of H*(G,M) for some kG-module M. In particular, if the canonical element vanishes, then every module is a direct summand of a realizable H*(G)-module. We prove that the converse of that last statement is not true by studying in detail the case of generalized quaternion groups. Suppose that k is a field of characteristic 2 and G is generalized quaternion of order 2^n with n>2. We show that the canonical element is non-trivial for all n, but there is an H*(G)-module detecting this non-triviality if and only if n=3.