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

From MaRDI portal
scientific article
Language Label Description Also known as
English
An example of non-normal quintic automorphic induction and modularity of symmetric powers of cusp forms of icosahedral type
scientific article

    Statements

    An example of non-normal quintic automorphic induction and modularity of symmetric powers of cusp forms of icosahedral type (English)
    0 references
    0 references
    1 October 2004
    0 references
    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).
    0 references
    0 references
    automorphic induction
    0 references
    icosahedral representations
    0 references
    0 references