Adequate subgroups. II (Q2908966)

Let \(k\) be a field of characteristic \(p\), and let \(V\) be a finite dimensional vector space over \(k\). Let \(G\) be a finite group and let \(\rho:G\rightarrow {\mathrm{ GL}}(V)\) be an absolutely irreducible representation. Then \((G,V)\) is called \textit{adequate}, if {\parindent=6mm \begin{itemize} \item[(1)]\(H^1(G,k)=0\) \item [(2)]\(p\) does not divide \(\dim(V)\) \item [(3)]\(H^1\left(G,V\otimes V^*\right)=0\); and \item [(4)] \({\mathrm{ End}}(V)\) is spanned by the elements \(\rho(g)\) with \(\rho(g)\) semisimple. NEWLINENEWLINE\end{itemize}} The concept of an adequate subgroup was introduced by \textit{J. Thorne} [``On the automorphy of \(l\)-adic Galois representations with small residual image'', Preprint, \url{arXiv:1107.5989}, (to appear)] to prove some new lifting theorems for certain Galois representations.NEWLINENEWLINEIn the article under review, the author defines \((G,V)\) to be \textit{weakly adequate} if condition (4) holds and, without using the classification of finite simple groups, he gives conditions under which \((G,V)\) is weakly adequate. An example of one of the results the author proves is the following theorem. Let \(G\) be a \(p\)-solvable subgroup, \(k\) a field of characteristic \(p\), and \(V\) an absolutely irreducible \(kG\)-module. If \(p\) does not divide \(\dim(V)\), then \((G,V)\) is weakly adequate.NEWLINENEWLINEThis theorem allows the author to answer, in the affirmative, a question of R. Taylor for \(p\)-solvable groups.