Let f be a Bianchi modular form, that is, an automorphic form for GL2 over an imaginary quadratic field F . In this paper, we prove an exceptional zero conjecture in the case where f is new at a prime above p. More precisely, for each prime p of F above p we prove the existence of an L-invariant Lp, depending only on p and f , such that when the p-adic L-function of f has an exceptional zero at p, its derivative can be related to the classical L-value multiplied by Lp. The proof uses cohomological methods of Darmon and Orton, who proved similar results for GL2/Q. When p is not split and f is the base-change of a classical modular formf , we relate Lp to the L-invariant off , resolving a conjecture of Trifković in this case.

Abstract. 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 elds by the rst and second authors respectively. In this paper, we give an analogous construction over a general number eld. 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, that 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 de ne the p-adic L-function of the eigenform to be this distribution.

Let K be an imaginary quadratic field. In this article, we study the eigenvariety for $$\mathrm {GL}_2/K$$ GL 2 / K , proving an étaleness result for the weight map at non-critical classical points and a smoothness result at base-change classical points. We give three main applications of this; let f be a p-stabilised newform of weight $$k \ge 2$$ k ≥ 2 without CM by K. Suppose f has finite slope at p and its base-change $$f_{/K}$$ f / K to K is p-regular. Then: (1) We construct a two-variable p-adic L-function attached to $$f_{/K}$$ f / K under assumptions on f that conjecturally always hold, in particular with no non-critical assumption on f/K. (2) We construct three-variable p-adic L-functions over the eigenvariety interpolating the p-adic L-functions of classical base-change Bianchi cusp forms. (3) We prove that these base-change p-adic L-functions satisfy a p-adic Artin formalism result, that is, they factorise in the same way as the classical L-function under Artin formalism.

Let $$\mathcal {G}$$ G be a connected reductive group over $$\mathbf {Q}$$ Q such that $$G = \mathcal {G}/\mathbf {Q}_p$$ G = G / Q p is quasi-split, and let $$Q \subset G$$ Q ⊂ G be a parabolic subgroup. We introduce parahoric overconvergent cohomology groups with respect to Q, and prove a classicality theorem showing that the small slope parts of these groups coincide with those of classical cohomology. This allows the use of overconvergent cohomology at parahoric, rather than Iwahoric, level, and provides flexible lifting theorems that appear to be particularly well-adapted to arithmetic applications. When Q is a Borel, we recover the usual theory of overconvergent cohomology, and our classicality theorem gives a stronger slope bound than in the existing literature. We use our theory to construct Q-parabolic eigenvarieties, which parametrise p-adic families of systems of Hecke eigenvalues that are finite slope at Q, but that allow infinite slope away from Q.