Induction formulae for Mackey functors with applications to representations of the twisted quantum double of a finite group (Q403107): Difference between revisions

The paper under review studies Mackey functors and provides more methods for calculating them in certain cases. The induction theorems for these functors show how algebraic invariants of finite groups can be computed from the corresponding invariants of families of subgroups. The main object of study are the low and upper plus functors that are introduced in [\textit{R. Boltje}, J. Algebra 206, No. 1, 293--343, Art. No. JA987419 (1998; Zbl 0913.20001)]. The splitting theorem is given for the low plus functors from the restriction functors to Mackey functors that is an adjoint of the forgetful functor. Let \(A\) be a Mackey functor to abelian groups. Let \({\mathcal G}_A(H)\) free abelian group on the set of \(K\)-orbits of elements of bases of \(A(K)\), \(K \leq H\). Let \(N_H(K, {\sigma})\) consist of elements of \(H\) that conjugate the element of the base to itself and \(W_H(K, {\sigma}) = N_H(K, {\sigma})/K\). Let the obstruction group \(\text{Obs}_A(H)\) be the direct sum of the finite groups \(\mathbb{Z}|W_H(K, {\sigma})|\mathbb{Z}\), \(K \leq H\). Then \(A_+(H)\) is the kernel of the natural projection map. For applications, the author presents an alternative proof of Boltje's integrality result for canonical induction formulae, and show an integrality condition for the crossed Mackey functors. Also, he proves a canonical induction of the quantum double of the group \(D^{\omega}(G)\). That is a quasi-triangular, quasi-Hopf algebra with underlying vector space \((FG)^*{\otimes}_FFG\) for an algebraically closed field \(F\). Here \(\omega\) is a \(3\)-cocylce with values in \(\mathbb{C}^{\times}\). It was shown first that the functor \(RD^{\omega}(G)\) is a Mackey functor and present a canonical choice of Brauer's induction theorem on representations of \(D^{\omega}(G)\).