On fibred biset functors with fibres of order prime and four (Q2438896): Difference between revisions

Let \(\mathcal{Z}\) be a class of finite groups closed under subquotients and finite direct products. Let \({\Omega}_{R,\mathbb{Z}}\) be the category with objects in \(\mathcal{Z}\) and morphisms, between \(H\) and \(G\), the Grothendieck group of \((H, G)\)-bisets with coefficients in a ring \(R\). Let \(A\) be a Green biset functor defined on \({\Omega}_{R,\mathbb{Z}}\). Let \(\mathcal{S}_A\) be the set of equivalence classes \((H, V)\) with \(\hat{A}(H) \not = 0\) (where \(\hat{A}(H)\) is a quotient of \(A(H{\times}H)\)) and \(V\) a simplex \(\hat{A}(H)\)-module. The equivalence is given by isomorphisms on the groups that induce equivariant isomorphisms on modules. Then it was conjectured that the isomorphism classes of \(A\)-simplex modules are in one-to-one correspondence with elements of \(\mathcal{S}_A\). The conjecture, stated by the author in [SIAM J. Optim. 11, No. 2, 411--425 (2000; Zbl 1004.47042)]. In the paper under review, the author gives a counterexample to the conjecture. Let \(B^1_C(G)\) be the Burnside ring for \(G\) with coefficients in \(C\) is the abelian subgroup of \(B(G{\times}C)\) generated by \(C\)-fibered \(G\)-sets (which are \(C\)-free \((G{\times}C)\)-sets). The functor \(B^1_C(G)\) defines a Green biset functor on the category of all finite groups. Also, \(RB^1_C(G)\) denotes the corresponding ring with \(R\)-coefficients. The author shows that for the cyclic group \(C\) of order \(4\) and a field \(k\), there is a simple \(kB^1_C(G)\)-module that has two non-isomorphic minimal groups, provided a counterexample to the conjecture. Furthermore, the author shows that the conjecture holds for the Green functor \(RB^1_C(G)\) and for \(C\) a cyclic group of prime order.