Fused Mackey functors (Q2349871): Difference between revisions

For a finite group \(G\), the author introduces the category of fused \(G\)-sets, whose objects are finite \(G\)-sets, and the set of morphisms from the \(G\)-set \(Z\) to \(Y\) is \(\text{Hom}_{G-\text{set}}(Z,G^c) \setminus \text{Hom}_{G-\text{set}}(Z,Y)\), where \(G^c\) is \(G\) regarded as a biset by conjugation. Let also \(R\underline{{\mathbf S}}(G)\) be \(R\)-linear category of spans in \(G-\text{set}\), where \(R\) is a commutative ring. Then fused Mackey functors for \(G\) over \(R\) are defined as \(R\)-linear functors from \(R\underline{{\mathbf S}}(G)\) to the category of \(R\)-modules. The main result of the paper says that the category of fused Mackey functors for \(G\) over \(R\) is equivalent to the category of modules over the fused Mackey algebra, which is introduced as a quotient of the usual Mackey Mackey algebra \(\mu_R(G)\) of \(G\) over \(R\). This gives a new approach to the problem of comparing Mackey functors for \(G\) with biset functors defined on subgroups of \(G\), with bifree bisets as morphisms.