Dress induction and the Burnside quotient Green ring (Q1047619): Difference between revisions

Let \(\mathcal{M}\) be a Mackey functor on a finite group \(G\). Then \(\mathcal{M}\) is an \(\mathcal{A}\)-module where \(\mathcal{A}\) denotes the Green functor on \(G\) defined by the Burnside ring. Moreover, \(\mathcal{A}_{\mathcal{M}} := \mathcal{A}/\mathcal{I}_{\mathcal{M}}\) is again a Green functor on \(G\) where \(\mathcal{I}_{\mathcal{M}}\) denotes the ``annihilator ideal'' of \(\mathcal{M}\) in \(\mathcal{A}\), and \(\mathcal{M}\) is an \(\mathcal{A}_{\mathcal{M}}\)-module. The authors call \(\mathcal{A}_{\mathcal{M}}\) the Burnside quotient Green ring of \(\mathcal{M}\). For a finite \(G\)-set \(X, \mathcal{F}(X)\) denotes the family of subgroups of \(G\) consisting of the stabilizers of elements in \(X\) and their subgroups. For a prime \(p, \text{hyper}_p\mathcal{F}(X)\) denotes the family of subgroups \(H\) of \(G\) such that \(H/O^p(H) \in \mathcal{F}(X)\), and \(\text{hyper}_p X\) denotes the finite \(G\)-set \(\bigsqcup G/H\) where \(H\) ranges over the maximal elements in \(\text{hyper}_p\mathcal{F}(X)\), up to conjugation. A finite \(G\)-set \(X\) is called a generating set for a Green functor \(\mathcal{G}\) on \(G\) if the natural map \(\mathcal{G}(X) \to \mathcal{G}(\bullet)\) is surjective. Moreover, \(X\) is called a Dress generating set for \(\mathcal{G}\) if \(\text{hyper}_pX\) is a generating set for \(\mathcal{G} \otimes \mathbb{Z}_{(p)}\), for every prime \(p\). The authors prove that a finite \(G\)-set \(X\) is a Dress generating set for a Green functor \(\mathcal{G}\) on \(G\) if and only if \(X\) is a Dress generating set for \(\mathcal{A}_{\mathcal{G}}\). For a commutative ring \(R\), there is a category \(RG\)-\({\mathcal M}orita\) whose objects are the finite groups \(H\) which are isomorphic to subquotients of \(G\). Morphisms between objects \(H_1,H_2\) of \(RG\)-\({\mathcal M}orita\) are formal linear combinations of certain finite \(H_2-H_1\)-bisets. Composition in \(RG\)-\({\mathcal M}orita\) is defined via the balanced product \(X \times_{H_2} Y\) of a finite \(H_1-H_2\)-biset \(X\) and a finite \(H_2-H_3\)-biset \(Y\). Every additive functor \(F:RG\)-\({\mathcal M}orita\to \mathcal{A}b\) gives rise to a Mackey functor on \(G\). The authors show that such a Mackey functor \(\mathcal{M}\) is hyperelementary computable. This means that the chain complexes of Mackey functors \[ 0 \to \mathcal{M} \to \mathcal{M}_X \to \mathcal{M}_{X^2} \to \cdots \] and \[ \cdots \to \mathcal{M}_{X^2} \to \mathcal{M}_X \to \mathcal{M} \to 0 \] are contractible where \(X\) denotes the finite \(G\)-set defined by the family of hyperelementary subgroups of \(G\), and the Mackey functor \(\mathcal{M}_X\) is defined by \(\mathcal{M}_X(Y) := X \times Y\), for finite \(G\)-sets \(X, Y\). The authors also generalize their results to so-called pseudo-Mackey functors and present several applications, in particular to the higher Whitehead groups \(\text{Wh}_n(\mathbb{Z}G)\) and to the non-oriented surgery obstruction groups \(L_n(\mathbb{Z}G, \omega)\) introduced by \textit{C.\;T.\;C. Wall}.