On Frobenius semisimplicity in Hida families

Abstract: Let

p g e q 5

be a prime and

e l l e q p

be a prime not dividing the tame level of a

p

-ordinary Hida family. We prove that the actions of the Frobenius element at

e l l

on the Galois representations attached to almost all arithmetic specializations are semisimple and non-scalar. If

k_{f}

denotes the weight of a cusp form

f (z) = s u m_{n g e q 1} a_{e} l l (f) e^{2 p i i n z}

, then the inequality

|a_ell(f) | leq 2 ell^{(k_f-1)/2},

predicted by the Ramanujan conjecture, is a strict inequality for almost all members

f

of the family.

This page was built for publication: On Frobenius semisimplicity in Hida families