Idempotents of double Burnside algebras, \(L\)-enriched bisets, and decomposition of \(p\)-biset functors (Q1644832)

Let \(R\) be a unital commutative ring and \(G\) a finite group whose order is invertible in \(R\). The article is an in-depth study of the double Burnside algebra \(RB(G,G)=R\otimes_{\mathbb Z}B(G,G)\) of \(G\) over \(R\), where \(B(G,G)\) is the Burnside group of finite \((G,G)\)-bisets. The author introduces idempotents \(\epsilon^G_{T,S}\) of \(RB(G,G)\), indexed by conjugacy classes of minimal sections \((T,S)\) of \(G\) (that is \(S\trianglelefteq T\leq G\) with \(S\leq\Phi(T)\), the Frattini subgroup of \(T\)). In Theorem 4.8, the author proves that these idempotents are pairwise orthogonal and that their sum is equal to the identity element of \(RB(G,G)\). Using these idempotents, the authors proves in Theorem 5.4 that given any biset functor \(F\) and any finite group \(G\) of order invertible in \(R\), the evaluation \(F(G)\) splits as a direct sum of certain modules indexed by the conjugacy classes of minimal sections of \(G\). Restricting these results to the category of finite \(p\)-groups (with \(p\in R^\times\)), the author obtains a decomposition of the category of \(p\)-biset functors over \(R\) as a direct product of categories \(\mathcal F_L\) indexed by atoric \(p\)-groups (Corollary 7.19), where \(\mathcal F_L\) is the category of representations of a certain category, and where a \(p\)-group \(P\) is called atoric if it does not decompose as a direct product \(P=C_p\times Q\) for some \(p\)-group \(Q\). The article then introduces the concepts of \(L\)-enriched \((H,G)\)-bisets, which are certain \((H\times L,G\times L)\)-bisets, and \(L\)-enriched biset functors, where \(H,G,L\) are finite groups. These lead to the definition of the Burnside group of \(L\)-enriched \((H,G)\)-bisets. The author demonstrates that if \(L\) is an atoric \(p\)-group, then the category \(\mathcal F_L\) is equivalent to the category of \(L\)-enriched biset functors defined over elementary abelian \(p\)-groups (Theorem 8.10). The last section of the article introduces the notion of the vertex of an indecomposable \(p\)-biset functor (for \(p\in R^\times\)). The author shows that the objects of \(\mathcal F_L\) are the \(p\)-biset functors whose composition factors all have vertex \(L\), for an atoric \(p\)-group \(L\).