On fibred biset functors with fibres of order prime and four (Q2438896)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On fibred biset functors with fibres of order prime and four
scientific article

    Statements

    On fibred biset functors with fibres of order prime and four (English)
    0 references
    0 references
    7 March 2014
    0 references
    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.
    0 references
    Green biset functors
    0 references
    Fibred biset functors
    0 references

    Identifiers