Fused Mackey functors

From MaRDI portal
Publication:2349871



Abstract: Let G be a finite group. In [HTW], Hambleton, Taylor and Williams have considered the question of comparing Mackey functors for G and biset functors defined on subgroups of G and bifree bisets as morphisms. This paper proposes a different approach to this problem, from the point of view of various categories of G-sets. In particular, the category of fused G-sets is introduced, as well its category of spans. The fused Mackey functors for G over a commutative ring R are defined as R-linear functors from this (R-linearized) category of spans to R-modules. They form an abelian subcategory of the category of Mackey functors for G over R, equivalent (for R=Z) to the category to the category of conjugation Mackey functors of [HTW]. The category of fused Mackey functors is also equivalent to the category of modules over the fused Mackey algebra, which is a quotient of the usual Mackey algebra of G over R. Reference: [HTW] I. Hambleton, L. R. Taylor, and E. B. Williams. Mackey functors and bisets. Geom. Dedicata, 148:157--174, 2010.


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.











This page was built for publication: Fused Mackey functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349871)