Let K be an imaginary quadratic field with class number one and ring of integers O. We prove that mod l, a system of Hecke eigenvalues occurring in the first cohomology group of some congruence subgroup Gamma of SL(2,O) can be realized in the first cohomology with trivial coefficients after increasing the level of Gamma by l.
We generalize Merel's work on universal Fourier expansions to Bianchi modular forms over Euclidean imaginary quadratic fields, under the assumption of the nondegeneracy of a pairing between Bianchi modular forms and Bianchi modular symbols. Among the key inputs is a computation of the action of Hecke operators on Manin symbols, and building upon the Heilbronn-Merel matrices constructed by Mohamed.
In this note, we work out the dimension of the subspace of base-change forms and their twists inside the space of Bianchi modular forms with fixed (Galois stable) level and weight.
In this paper, we present the outcome of vast computer calculations, locating several of the very rare instances of level one cuspidal Bianchi modular forms that are not lifts of elliptic modular forms.
The theory of overconvergent modular symbols, developed by Rob Pollack and Glenn Stevens, gives a beautiful and effective construction of the $p$-adic $L$-function of a modular form. In this paper, we give an analogue of their results for Bianchi modular forms, that is, modular forms over imaginary quadratic fields. In particular, we prove control theorems that say that the canonical specialisation map from overconvergent to classical Bianchi modular symbols is an isomorphism on small slope eigenspaces of suitable Hecke operators. We also give an explicit link between the classical modular sym…
Bianchi modular forms are automorphic forms over an imaginary quadratic field, associated to a Bianchi group. Even though modern studies of Bianchi modular forms go back to the mid 1960's, most of the fundamental problems surrounding their theory are still wide open. Only for certain types of Bianchi modular forms, which we will call non-genuine, it is possible at present to develop dimension formulas: They are (twists of) those forms which arise from elliptic cuspidal modular forms via the Langlands Base-Change procedure, or arise from a quadratic extension of the imaginary quadratic field vi…
We study $p$-adic families of cohomological automorphic forms for ${\mathrm{GL}}(2)$ over imaginary quadratic fields and prove that families interpolating a Zariski-dense set of classical cuspidal automorphic forms only occur under very restrictive conditions. We show how to computationally determine when this is not the case and establish concrete examples of families interpolating only finitely many Bianchi modular forms.
We explain how the work of Johnson-Leung and Roberts on lifting Hilbert modular forms for real quadratic fields to Siegel modular forms can be adapted to imaginary quadratic fields. For this we use archimedean results from Harris, Soudry, Taylor and replace the global arguments of Roberts by the non-vanishing result of Takeda. As an application of our lifting result, we exhibit an abelian surface $B$ defined over $\mathbb{Q}$, which is not restriction of scalars of an elliptic curve and satisfies the Brumer-Kramer Paramodularity Conjecture.
The Asai (or twisted tensor) $L$-function of a Bianchi modular form $Ψ$ is the $L$-function attached to the tensor induction to $\mathbb{Q}$ of its associated Galois representation. In this paper, when $Ψ$ is ordinary at $p$ we construct a $p$-adic analogue of this $L$-function: that is, a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the Asai $L$-function twisted by Dirichlet characters of $p$-power conductor. The construction uses techniques analogous to those used by Lei, Zerbes and the first author in order to construct an Euler system attached to the A…
Let $K$ be an imaginary quadratic field. Modular forms for GL(2) over $K$ are known as Bianchi modular forms. Standard modularity conjectures assert that every weight 2 rational Bianchi newform has either an associated elliptic curve over $K$ or an associated abelian surface with quaternionic multiplication over $K$. We give explicit evidence in the way of examples to support this conjecture in the latter case. Furthermore, the quaternionic surfaces given correspond to genuine Bianchi newforms, which answers a question posed by J. Cremona as to whether this phenomenon can happen.
Let f be a Bianchi modular form, that is, an automorphic form for GL(2) 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 $\mathfrak{p}$ of F above p we prove the existence of an L-invariant $\mathcal{L}_{\mathfrak{p}}$, depending only on $\mathfrak{p}$ and f, such that when the p-adic L-function of f has an exceptional zero at $\mathfrak{p}$, its derivative can be related to the classical L-value multiplied by $\mathcal{L}_{\mathfrak{p}}$. The proof uses cohomological method…
Let f be a Bianchi modular form, that is, an automorphic form for GL(2) over an imaginary quadratic field F, and let P be a prime of F at which f is new. Let K be a quadratic extension of F, and L(f/K,s) the L-function of the base-change of f to K. Under certain hypotheses on f and K, the functional equation of L(f/K,s) ensures that it vanishes at the central point. The Bloch--Kato conjecture predicts that this should force the existence of non-trivial classes in an appropriate global Selmer group attached to f and K. In this paper, we use the theory of double integrals developed by Barrera Sa…
Let $K$ be an imaginary quadratic field. In this article, we study the eigenvariety for $\mathrm{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 \geq 2$ without CM by $K$. Suppose $f$ has finite slope at $p$ and its base-change $f_{/K}$ to $K$ is $p$-regular. Then: (1) We construct a two-variable $p$-adic $L$-function attached to $f_{/K}$ under assumptions on $f$ that conjecturally always hold, in particular…
In a series of papers, published in Mathematische Annalen, Bianchi and Blumenthal introduced the notions of Bianchi orbifolds and Hilbert-Blumnethal surfaces as generalizations of modular curves associated to quadratic fields. In this paper, in the same spirit, and following a similar line of reasoning, we introduce the concept of Bianchi and Hilbert-Blumenthal quaternionic orbifolds as generalizations of the Lipschitz and Hurwitz quaternionic modular orbifolds defined recently by Díaz, Vlacci and the first author. In particular, we describe the cusp cross-sections of the Hilbert-Blumenthal qu…
We present an algorithm to compute the action of the Hecke operators on the top dimensional integral cohomology of certain torsion-free arithmetic subgroups of algebraic groups of Q-rank one. This generalizes the modular symbol algorithm to a setting including Bianchi groups and Hilbert modular groups. In addition, we generalize some results of Voronoi for real positive-definite quadratic forms to self-adjoint homogeneous cones of arbitrary Q-rank.
Under relatively mild and natural conditions, we establish an integral period relations for the (real or imaginary) quadratic base change of an elliptic cusp form. This answers a conjecture of Hida regarding the {\it congruence number} controlling the congruences between this base change and other eigenforms which are not base change. As a corollary, we establish the Bloch-Kato conjecture for adjoint modular Galois representations twisted by an even quadratic character. In the odd case, we formulate a conjecture linking the degree two topological period attached to the base change Bianchi modu…
Following Ribet's seminal 1976 paper there have been many results employing congruences between stable cuspforms and lifted forms to construct non-split extensions of Galois representations. We show how this strategy can be extended to construct elements in the Bloch-Kato Selmer groups of +/--Asai (or tensor induction) representations associated to Bianchi modular forms. We prove, in particular, how the Galois representation associated to a suitable low weight Siegel modular form produces elements in the Selmer group for exactly the Asai representation (+ or -) that is critical in the sense of…
Let $f_{\mathrm{new}}$ be a classical newform of weight $\geq 2$ and prime to $p$ level. We study the arithmetic of $f_{\mathrm{new}}$ and its unique $p$-stabilisation $f$ when $f_{\mathrm{new}}$ is $p$-irregular, that is, when its Hecke polynomial at $p$ admits a single repeated root. In particular, we study $p$-adic weight families through $f$ and its base-change to an imaginary quadratic field $F$ where $p$ splits, and prove that the respective eigencurves are both Gorenstein at $f$. We use this to construct a two-variable $p$-adic $L$-function over a Coleman family through $f$, and a three…
The main result of this paper is to extend from $\Q$ to each of the nine imaginary quadratic fields of class number one a result of Serre (1987) and Mestre-Oesterlé (1989), namely that if $E$ is an elliptic curve of prime conductor then either $E$ or a $2$-, $3$- or $5$-isogenous curve has prime discriminant. For four of the nine fields, the theorem holds with no change, while for the remaining five fields the discriminant of a curve with prime conductor is either prime or the square of a prime. The proof is conditional in two ways: first that the curves are modular, so are associated to suita…
We study the coherent cohomology of automorphic sheaves corresponding to Siegel modular forms $f$ of low weight on ${\rm GSp}(4)$ Shimura varieties. Inspired by the work of Prasanna--Venkatesh on singular cohomology of locally symmetric spaces, we propose a conjecture that explains all the contributions of a Hecke eigensystem to coherent cohomology in terms of the action of a motivic cohomology group. Under some technical conditions, we prove that our conjecture is equivalent to Beilinson's conjecture for the adjoint $L$-function of $f$. We also prove some unconditional results in special case…