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 methods of Darmon and Orton, who proved similar results for GL(2) over the rationals. When p is not split and f is the base-change of a classical modular form F, we relate $\mathcal{L}_{\mathfrak{p}}$ to the L-invariant of F, resolving a conjecture of Trifković in this case.
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.
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.
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, 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…
In this paper we study the exceptional zero phenomenon for Hilbert modular forms in the anticyclotomic setting. We prove a formula expressing the leading term of the p-adic L-functions via arithmetic L-invariants.
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 this paper we construct families of Hilbert modular newforms without exceptional primes. This is achieved by generalizing the notion of good-dihedral primes, introduced by Khare and Wintenberger in their proof of Serre's modularity conjecture, to totally real fields.
A result of Dieulefait-Wiese proves the existence of modular eigenforms of weight 2 for which the image of every associated residual Galois representation is as large as possible. We generalize this result to eigenforms of general even weight k $\geq$ 2.
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 define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by $\pm 1$. We analyze the minimal modular form $Θ_{F_4}$ on the double cover of $F_4$, following Loke--Savin and Ginzburg. Using $Θ_{F_4}$, we define a modular form of weight $\frac{1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.
Suppose that $G$ is a simple adjoint reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). Then there is a notion of modular forms for $G$, anchored on the so-called quaternionic discrete series representations of $G(\mathbf{R})$. The purpose of this paper is to give an explicit form of the Fourier expansion of modular forms on $G$, along the unipotent radical $N$ of the Heisenberg parabolic $P = MN$ of $G$.
We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We find that the only such curves with exceptional rational points are of levels $137$ and $311$. In particular there are no exceptional rational points on those curves of genus five and six. More precisely, we determine the rational points on the curves $X_0^+(N)$ for $N=137,173,199,251,311,157,181,227,263,163,197,211,223,269,271,359$.
Let A be a modular elliptic curve over a totally real field F, and let E/F be a totally imaginary quadratic extension. In the event of exceptional zero phenomenon, we prove a formula for the derivative of the multivariable anticyclotomic p-adic L-function attached to (A,E), in terms of the Hasse-Weil L-function and certain p-adic periods attached to the respective automorphic forms. Our methods are based on a new construction of the anticyclotomic p-adic L-function by means of the corresponding automorphic representation.
A characterization of the minimal $\mathcal{W}$-algebras associated with the Deligne exceptional series at level $-h^\vee/6$ is obtained by using one-parameter family of modular linear differential equations of order $4$. In particular, the characters of the Ramond-twisted modules of minimal $\mathcal{W}$-algebras related to the Deligne exceptional series satisfy one of these differential equations. In order to obtain the characterization, the differential equations in the one parameter family which have solutions of "CFT type" are classified, whose solutions are explicitly described.
In the present article, we study the conjecture of Sharifi on the surjectivity of the map $\varpi_θ$. Here $θ$ is a primitive even Dirichlet character of conductor $Np$, which is exceptional in the sense of Ohta. After localizing at the prime ideal $\mathfrak{p}$ of the Iwasawa algebra related to the trivial zero of the Kubota\textendash Leopoldt $p$-adic $L$-function $L_p(s,θ^{-1}ω^2)$, we compute the image of $\varpi_{θ,\mathfrak{p}}$ in a local Galois cohomology group and prove that it is an isomorphism. Also, we prove that the residual Galois representations associated to the cohomology of…
We develop a theory of modular forms on the groups $\mathrm{SO}(3,n+1)$, $n \geq 3$. This is very similar to, but simpler, than the notion of modular forms on quaternionic exceptional groups, which was initiated by Gross-Wallach and Gan-Gross-Savin. We prove the results analogous to those of earlier papers of the author on modular forms on exceptional groups, except now in the familiar setting of classical groups. Moreover, in the setting of $\mathrm{SO}(3,n+1)$, there is a family of absolutely convergent Eisenstein series, which are modular forms. We prove that these Eisenstein series have al…
Suppose that $G$ is a simple reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). In a previous paper, we gave an explicit form of the Fourier expansion of modular forms on $G$ along the unipotent radical of the Heisenberg parabolic. In this paper, we give the Fourier expansion of the minimal modular form $θ_{Gan}$ on quaternionic $E_8$, and some applications. The $Sym^{8}(V_2)$-valued automorphic function $θ_{Gan}$ is a weight four, level one modular form on $E_8$, which has been studied by Gan. The applicat…
Iwasawa theory of modular forms over anticyclotomic $\mathbb{Z}_p$-extensions of imaginary quadratic fields has been studied by several authors, starting from the works of Bertolini-Darmon and Iovita-Spiess, under the crucial assumption that the prime $p$ is unramified in $K$. We start in this article the systematic study of anticyclotomic $p$-adic $L$-functions when $p$ is ramified in $K$. In particular, when $f$ is a weight $2$ modular form attached to an elliptic curve $E/\mathbb{Q}$ having multiplicative reduction at $p$, and $p$ is ramified in $K$, we show an analogue of the exceptional z…
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…
In this paper, we prove results about solutions of the Diophantine equation $x^p+y^p=z^3$ over various number fields using the modular method. Firstly, by assuming some standard modularity conjecture we prove an asymptotic result for general number fields of narrow class number one satisfying some technical conditions. Secondly, we show that there is an explicit bound such that the equation $x^p+y^p=z^3$ does not have a particular type of solution over $K=\Q(\sqrt{-d})$ where $d=1,7,19,43,67$ whenever $p$ is bigger than this bound. During the course of the proof we prove various results about …
Let $ρ$ f,$λ$ be the residual Galois representation attached to a newform f and a prime ideal $λ$ in the integer ring of its coefficient field. In this paper, we prove explicit bounds for the residue characteristic of the prime ideals $λ$ such that $ρ$ f,$λ$ is exceptional, that is reducible, of projective dihedral image, or of projective image isomorphic to A4, S4 or A5. We also develop explicit criteria to check the reducibility of $ρ$ f,$λ$ , leading to an algorithm that compute the exact set of such $λ$. We have implemented this algorithm in PARI/GP. Along the way, we construct lifts of Ka…
