English

On groups of central type, non-degenerate and bijective cohomology classes

Group Theory 2007-05-23 v1

Abstract

A finite group GG is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class [c]H2(G,\C)[c]\in H^2(G,\C^*) (GG acts trivially on \C\C^*). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation theoretical properties. Suppose that a finite group QQ acts on an abelian group AA so that there exists a bijective 1-cocycle πZ1(Q,\ach)\pi\in Z^1(Q,\ach), where \ach=Hom(A,\C)\ach=\rm{Hom}(A,\C^*) is endowed with the diagonal QQ-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in Z2(G,\C)Z^2(G,\C^*), where G:=AQG:=A\rtimes Q. Hence, the semidirect product GG is of central type. In this paper we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class [π]H1(Q,\ach)[\pi]\in H^1(Q,\ach) as above, we construct non-degenerate classes [cπ]H2(G,\C)[c_{\pi}]\in H^2(G,\C^*) for certain extensions 1AGQ11\to A\to G\to Q\to 1 which are not necessarily split. We thus strictly extend the above family of central type groups.

Keywords

Cite

@article{arxiv.0704.2516,
  title  = {On groups of central type, non-degenerate and bijective cohomology classes},
  author = {Nir Ben David and Yuval Ginosar},
  journal= {arXiv preprint arXiv:0704.2516},
  year   = {2007}
}

Comments

13 pages