The Dade group of Mackey functors for \(p\)-groups (Q335600): Difference between revisions

Let \(G\) be a finite group, and let \(k\) be a field. Then, Mack\((G)\), the category of finite-dimensional Mackey functors for \(G\) over \(k\), has a tensor product denoted by \(\hat{\otimes}\). For \(M \in \mathrm{Mack}(G)\), the author defines \(M^\circ \in \mathrm{Mack}(G)\), the twin-dual of \(M\). Suppose now that \(k\) is algebraically closed of characteristic \(p>0\) and that \(P\) is a finite \(p\)-group. Then, a Mackey functor \(M \in \mathrm{Mack}(P)\) is called a (capped) endo-permutation Mackey functor if, for every subgroup \(Q\) of \(P\), \(\bar{M}(Q)\) is a (capped) endo-permutation \(k[N_P(Q)/Q]\)-module; here \(\bar{M}(Q)\) denotes the quotient of \(M(Q)\) by the sum of the images of the transfer maps from the proper subgroups of \(Q\). Capped endo-permutation Mackey functors \(M,N \in \mathrm{Mack}(P)\) are called equivalent if, for every subgroup \(Q\) of \(P\), the capped endo-permutation \(k[N_P(Q)/Q]\)-modules \(\bar{M}(Q)\) and \(\bar{N}(Q)\) define the same element in the Dade group \(D(N_P(Q)/Q)\). Then, the equivalence classes \([M]\) of the capped endo-permutation Mackey functors \(M \in \mathrm{Mack}(P)\) form an abelian group \(D_\mu(P)\) called the Mackey-Dade group of \(P\). Its group structure is induced by \(\hat{\otimes}\), its identity comes from the Burnside functor, and the inverse of \([M] \in D_\mu (P)\) is \([M^\circ]\). Moreover, \(D_\mu(P)\) is isomorphic to the direct sum of the Dade groups \(D(N_P(Q)/Q)\) where \(Q\) ranges over a set of representatives for the conjugacy classes of subgroups of \(P\). In particular, the torsion-free rank of \(D_\mu(P)\) is the number of conjugacy classes of non-cyclic subquotients of \(P\). In an earlier paper, the author introduced \(\Lambda (P)\), the ring of subquotients of \(P\). The conjugacy classes of subquotients of \(P\) form a \(\mathbb{Z}\)-basis of the \(\mathbb{Z}\)-module \(\Lambda(P)\). Let \(\mathcal{R}_{\mu_{\mathbb{Q}}} (P)\) denote the Grothendieck ring of the category of finite-dimensional Mackey functors for \(P\) over \(\mathbb{Q}\). There is a ring homomorphism \(\Lambda(P) \to \mathcal{R}_{\mu_{\mathbb{Q}}} (P)\) called the linearization map. Extending scalars from \(\mathbb{Z}\) to \(\mathbb{Q}\), the author obtains an exact sequence of \(\mathbb{Q}\)-vector spaces \[ 0 \to \mathbb{Q} D_\mu (P) \to \mathbb{Q}\Lambda(P) \to \mathbb{Q} \mathcal{R}_{\mu_{\mathbb{Q}}}(P) \to 0. \]