The \(A\)-fibered Burnside ring as \(A\)-fibered biset functor in characteristic zero (Q2230606)

Consider an abelian group \(A\) such that \(\mathrm{tor}_n(A)\) is finite for every \(n\ge 1\), and let \(\mathbb{K}\) be a field of characteristic zero containing roots of unity of all orders equal to finite element orders in \(A\). An \(A\)-fibered biset functor \(F\) over \(\mathbb{K}\) is a functor that assigns to each finite group \(G\) a \(\mathbb{K}\)-space \(F(G)\) together with maps \(\mathrm{res}^G_H:F(G)\to F(H)\), \(\mathrm{ind}^G_H: F(H) \to F(G)\), \(\mathrm{inf}^G_{G/N}:F(G/N)\to F(G)\) and \(\mathrm{def}^G_{G/N}: F(G)\to F(G/N)\), where \(H \le G\) and \(N\) is a normal subgroup of \(G\), and maps \(\mathrm{iso}_f:F(G)\to F(H)\), where \(f:G\to H\) is an isomorphism, such that \(G^*:=\mathrm{Hom}(G,A)\) acts \(\mathbb{K}\)-linearly on \(F(G)\). These operations satisfy natural relations. \(A\)-fibered biset functors over \(\mathbb{K}\) can be regarded as the modules over the Green biset functor \(B^A_\mathbb{K}\), where \(B^A_\mathbb{K}(G)\) is the \(A\)-fibered Burnside ring of \(G\) over \(\mathbb{K}\). The authors parametrize the set of primitive idempotents of \(B^A_\mathbb{K}(G)\), and give formulas for these idempotents and for the action on them of inductions, restrictions, inflations, deflations, isomorphisms and twists by \(\varphi\in G^*\). The action of \(\mathrm{def}^G_ G/N\), maps a primitive idempotent of \(B^A_\mathbb{K}(G)\) to a scalar multiple of a primitive idempotent of \(B^A_\mathbb{K}(G/N)\), and this scalar is studied in detail. The vanishing of this scalar is a condition that leads to the notion of a \(B^A\)-pair \((G,\Phi)\) and a subfunctor \(E_{(G,\Phi)}\) of \(B^A_\mathbb{K}\), where \(\Phi\in \mathrm{Hom}(G^*,\mathbb{K}^\times)\). The authors prove that every subfunctor of \(B^A_\mathbb{K}\) is a sum of functors \(E_{(G,\Phi)}\), and that the subfunctors of \(B^A_\mathbb{K}\) are in bijection with the set of subsets of isomorphism classes of \(B^A\)-pairs that are closed from above with respect to a natural partial order \(\preceq\). The composition factors of \(B^A_\mathbb{K}\) are parametrized by isomorphism classes of \(B^A\)-pairs. For a given \(B^A\)-pair, the parameter of the corresponding composition factor is determined in terms of the known parametrization of simple \(A\)-fibered biset functors over \(\mathbb{K}\). The special case when \(A\) is a subgroup of \(\mathbb{K}^\times\) is also considered, extending results of [\textit{O. Coşkun} and \textit{D. Yılmaz}, Algebr. Represent. Theory 22, No. 1, 21--41 (2019; Zbl 1411.19001)] for the \(A\)-fibered Burnside ring functor restricted to \(p\)-groups, and results on Bouc's \(B\)-groups.