A filtration of the modular representation functor (Q2468527)

Let \(\mathbb F\) and \(\mathbb K\) be algebraically closed fields of characteristics \(p>0\) and \(0\), respectively. The inflation functor \({\mathbb K}{\mathcal R}_{\mathbb F}\) maps the finite group \(G\) to \({\mathbb K}\bigotimes_{\mathbb Z}G_0(G)\), where \(G_0(G)\) is the Grothendieck group of finite-dimensional \({\mathbb F}G\)-modules with respect to exact sequences. One of the main results of the paper states that \({\mathbb K}{\mathcal R}_{\mathbb F}\) has a filtration \({\mathbb K}{\mathcal R}_{\mathbb F}=L_{-1}\supset L_0\supset L_1\supset\dots\supset L_j\supset \dots \) such that \(\bigcap_jL_j=0\) and each \(L_{j-1}/L_j\) is semisimple and isomorphic to \(\bigoplus_{C,V}S^i_{C,V}\), where \(C\) ranges over all nonisomorphic cyclic \(p'\)-groups with \(\ell (C)=j\), and \(V\) ranges over all nonisomorphic \({\mathbb K}\operatorname {Out}(C)\)-modules (\(\ell(C)\) being the number of prime divisors of the order of \(C\) counted with multiplicities). Moreover, \(L_j\) can also be describes as an inflation subfunctor of \({\mathbb K}{\mathcal R}_{\mathbb F}\). The author also gives a similar result for the deflation functor \({\mathbb K}{\mathcal P}_{\mathbb F}\), which is mapping \(G\) to \({\mathbb K}\bigotimes_{\mathbb Z}K_0(G)\) where \(K_0(G)\) is the Grothendieck group of finite-dimensional projective \({\mathbb F}G\)-modules. In fact, he proves that \({\mathbb K}{\mathcal P}_{\mathbb F}\) is isomorphic as deflation functors to the dual of \({\mathbb K}{\mathcal R}_{\mathbb F}\).