P-adic L-functions for GL(2)

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct -adic -functions for non-critical slope rational modular forms, the theory has been extended to construct -adic -functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors, respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope subspace. We then show that if one takes the modular symbol attached to a small slope cuspidal eigenform, then one can construct a ray class distribution from the corresponding overconvergent symbol, which moreover interpolates critical values of the -function of the eigenform. We prove that this distribution is independent of the choices made in its construction. We define the -adic -function of the eigenform to be this distribution