L-functions of GL2n: p-adic properties and non-vanishing of twists

The principal aim of this article is to attach and study $p$ -adic $L$ -functions to cohomological cuspidal automorphic representations $\Pi$ of $\operatorname {GL}_{2n}$ over a totally real field $F$ admitting a Shalika model. We use a modular symbol approach, along the global lines of the work of Ash and Ginzburg, but our results are more definitive because we draw heavily upon the methods used in the recent and separate works of all three authors. By construction, our $p$ -adic $L$ -functions are distributions on the Galois group of the maximal abelian extension of $F$ unramified outside $p\infty$ . Moreover, we work under a weaker Panchishkine-type condition on $\Pi _p$ rather than the full ordinariness condition. Finally, we prove the so-called Manin relations between the $p$ -adic $L$ -functions at all critical points. This has the striking consequence that, given a unitary $\Pi$ whose standard $L$ -function admits at least two critical points, and given a prime $p$ such that $\Pi _p$ is ordinary, the central critical value $L(\frac {1}{2}, \Pi \otimes \chi )$ is non-zero for all except finitely many Dirichlet characters $\chi$ of $p$ -power conductor.

-adic -functions for

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct $p$-adic $L$-functions for non-critical slope rational modular forms, the theory has been extended to construct $p$-adic $L$-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 $L$-function of the eigenform. We prove that this distribution is independent of the choices made in its construction. We define the $p$-adic $L$-function of the eigenform to be this distribution.