Mackey functors and bisets. (Q711658): Difference between revisions

Let \(G\) be a finite group. The authors consider several categories attached to \(G\). The objects of the Dress category \(\mathcal D(G)\) are the finite \(G\)-sets, its morphisms are the \(G\)-equivariant maps, and the composition in \(\mathcal D(G)\) is the usual composition of maps. The objects of the Burnside category \(\mathbf A(G)\) are the subgroups of \(G\), a morphism \(H_1\to H_2\) in \(\mathbf A(G)\) is an element in the Grothendieck group of the category of finite bifree \(H_2\)-\(H_1\)-bisets, and the composition of morphisms in \(\mathbf A(G)\) is induced by the balanced product \(X\times_{H_2}Y\) of bifree bisets \(_{H_3}X_{H_2}\) and \(_{H_2}Y_{H_1}\). For subgroups \(H_1,H_2\) of \(G\), every finite bifree \(H_2\)-\(H_1\)-biset decomposes uniquely into orbits, and each orbit is determined by a triple \((L,\gamma,K)\) where \(L\) is a subgroup of \(H_2\), \(K\) is a subgroup of \(H_1\), and \(\gamma\colon L\to K\) is an isomorphism. If \(\gamma\) is conjugation by an element in \(G\) then the corresponding orbit is called a conjugation biset, and an arbitrary finite bifree \(H_2\)-\(H_1\)-biset is called a conjugation biset if its orbits are. The subcategory \(\mathbf B(G)\) of \(\mathbf A(G)\) has the same orbits as \(\mathbf A(G)\), but its morphisms are the integral linear combinations of isomorphism classes of conjugation bisets. Then \(\mathbf A(G)\) and \(\mathbf B(G)\) are Ab-categories, but not additive categories. Their additive completions are denoted by \(\mathbf A_\bullet(G)\) and \(\mathbf B_\bullet(G)\), respectively. The objects in \(\mathbf B_\bullet(G)\) are finite sequences of objects in \(\mathbf B(G)\), and the morphisms in \(\mathbf B_\bullet(G)\) are matrices of morphisms in \(\mathbf B_\bullet(G)\). A Mackey functor for \(G\) is defined as a bivariant functor \(\mathcal M\colon\mathcal D(G)\to\mathcal Ab\) satisfying a pullback axiom and an additivity axiom. Then \(\mathcal M\) is called conjugation invariant if \(C_G(H)\) acts trivially on \(\mathcal M(G/H)\), for every subgroup \(H\) of \(G\). The authors construct a bivariant functor \(j\colon\mathcal D(G)\to\mathbf B_\bullet(G)\) and prove: If \(F\colon\mathbf B_\bullet(G)\to\mathcal Ab\) is an additive functor then \(F\circ j\colon\mathcal D(G)\to\mathcal Ab\) is a conjugation invariant Mackey functor. Conversely, any conjugation invariant Mackey functor for \(G\) factors uniquely through an additive functor out of \(\mathbf B_\bullet(G)\).