Icosahedral Fibres of the Symmetric Cube and Algebraicity

Abstract

For any number field F, call a cusp form π = π_∞⊗πf on GL(2)/F special icosahedral, or just s-icosahedral for short, if π is not solvable polyhedral, and for a suitable “conjugate” cusp form π' on GL(2)/F, sym^3(π) is isomorphic to sym^3(π'), and the symmetric fifth power L-series of π equals the Rankin-Selberg L-function L(s, sym^2(π') × π) (up to a finite number of Euler factors). Then the point of this Note is to obtain the following result: Let π be s-icosahedral (of trivial central character). Then π f is algebraic without local components of Steinberg type, π ∞ is of Galois type, and π_v is tempered every-where. Moreover, if π' is also of trivial central character, it is s-icosahedral, and the field of rationality Q(πf) (of πf) is K := Q[√5], with π' _f being the Galois conjugate of πf under the non-trivial automorphism of K. There is an analogue in the case of non-trivial central character ω, with the conclusion that π is algebraic when ω is, and when ω has finite order, Q(πf) is contained in a cyclotomic field.