An example of non-normal quintic automorphic induction and modularity of symmetric powers of cusp forms of icosahedral type (Q1882742)

Let \(E\,| F\) be a degree-\(n\) extension of number fields, \(W_E\), \(W_F\) their Weil groups, and \({\mathbb A}_E\), \({\mathbb A}_F\) their adèle rings. An idèle class character \(\chi\) of \({\mathbb A}_E^\times/E^\times\) gives rise, by class field theory, to a character of \(W_E\) and hence to a degree-\(n\) representation \(\text{Ind}^E_F\chi\) of \(W_F\), induced by \(\chi\). The principle of functoriality (R. P. Langlands) predicts that there exists an automorphic representation \(\pi(\chi)\) of \(\text{GL}_n({\mathbf A}_F)\) corresponding to \(\text{Ind}^E_F\chi\), which is cuspidal if the latter is irreducible; one says that \(\pi(\chi)\) is obtained from \(\chi\) by automorphic induction. The author gives the first examples of automorphic induction for an \({\mathfrak A}_5\)-quintic extension \(E\,| {\mathbb Q}\) (Theorem~6.3). The point to note is that the alternating group \({\mathfrak A}_5\) is not solvable; previous instances of automorphic induction (J.~Arthur; L.~Clozel, H.~Jacquet; I.~Piatetski-Shapiro; J.~Shalika, M.~Harris) worked only for certain extensions \(E\,| F\) whose galoisian closure is solvable. \textit{S. Wang} [Int. Math. Res. Not. 2003, No. 44, 2373--2390 (2003; Zbl 1040.11037)] has used the result to prove the cuspidality of the symmetric fifth power of an icosahedral cusp form. The key observation, due to D.~Ramakrishnan, is that ``the symmetric fourth of a \(2\)-dimensional icosahedral representation is equivalent to a suitable twist (by a character) of the \(5\)-dimensional monomial representation of \({\mathfrak A}_5\)''. The result then follows upon combining the known modularity of certain icosahedral representations [\textit{K. Buzzard, M. Dickinson, N. Shepherd-Barron} and \textit{R. Taylor}, Duke Math. J. 109, No. 2, 283--318 (2001; Zbl 1015.11021)] with the author's previous result on the automorphy of the symmetric fourth of \(\text{GL}_2\) [\textit{H. H. Kim}, J. Am. Math. Soc. 16, No. 1, 139--183 (2003; Zbl 1018.11024)]. He also proves the automorphy of all symmetric powers of cuspidal representations of icosahedral type (Theorem~6.4).