Biset functors and genetic sections for \(p\)-groups (Q1764839): Difference between revisions

Let \(k\) be a commutative ring and \(p\) a prime number. A biset functor \(F\) is a \(k\)-linear functor from \({\mathcal C}_{p,k}\) to \(k\)-Mod, where the objects of \({\mathcal C}_{p,k}\) are the finite \(p\)-groups, and \(\text{Hom} _{{\mathcal C}_{p,k}}(P,Q)=k\otimes_{\mathbb Z}B(Q\times P^{\text{ op}})\), where \(B(Q\times P^{\text{ op}})\) is the Burnside group of finite \((Q,P)\)-bisets. The author proves that for each \(p\)-group \(P\) there is a direct summand of \(F(P)\) having a natural direct sum decomposition indexed by the equivalence classes of genetic sections of \(P\). Here two sections \(T/S\) and \(T'/S'\) of \(P\) are equivalent if they are linked modulo \(P\), i.e., there is \(x\in P\) such that \(T^x\cap S'=S^x\cap T'\) and \(T^x\cdot S'=S^x\cdot T'\). The section \(T/S\) is called genetic if it has normal \(p\)-rank \(1\), and \(\text{End}_{{\mathbb Q}P}(\text{Ind}_T^P \text{Inf}_{T/S}^T\Phi_{T/S})=\text{End}_{{\mathbb Q}P}(\Phi_{T/S})\), where \(\Phi_{T/S}\) is the unique faithful irreducible \({\mathbb Q}T/S\)-module. This is then applied to describe the structure of the torsion part of the group \(D^\Omega(P)\) of relative syzygies in the Dade group of \(P\). Moreover, a precise conjecture on the structure of the torsion part \(D^t(P)\) of the Dade group of \(P\) is formulated.