Abstract
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 Cremona as to whether this phenomenon can happen.
Similar content being viewed by others
1 Introduction
Let K be an imaginary quadratic field. A simple abelian surface over K whose algebra of K-endomorphisms is an indefinite quaternion algebra over \(\mathbb {Q}\) is commonly known as a QM abelian surface, or just QM surface. These are also often referred to false elliptic curves, coined by Serre in the 1970s [1] based on the observation that such a surface is isogenous to the square of an elliptic curve modulo every prime of good reduction [30, Lemma 6].
It is well-known that one can obtain QM surfaces over K by base changing suitable abelian surfaces over \(\mathbb {Q}\). Accordingly, let us call a QM surface over K genuine if it is not the twist of base-change to K of an abelian surface over \(\mathbb {Q}\). Motivated by the conjectural connections with Bianchi modular forms, in 1992 Cremona asked whether genuine QM surfaces over imaginary quadratic fields should exist (see Question 1.3). We answer this question in the positive by providing explicit genus 2 curves whose Jacobians are genuine QM surfaces. To the best of our knowledge these are the first such examples in the literature. Furthermore, by carrying out a detailed analysis of the associated Galois representations and applying the Faltings–Serre–Livné criterion, we prove the modularity of these QM surfaces. The main result of the present article is as follows:
Theorem 1.1
The Jacobians of the following genus 2 curves are QM surfaces which are modular by a genuine Bianchi newform as in Conjecture 1.2.
-
1.
\(C_1: y^2= x^6 + 4ix^5 + (-2i - 6)x^4 + (-i + 7)x^3 + (8i - 9)x^2 - 10ix + 4i + 3\),
Bianchi newform: 2.0.4.1-34225.3-a;
-
2.
\(C_2 : y^2=x^6 + (-2\sqrt{-3} - 10)x^5 + (10\sqrt{-3} + 30)x^4 + (-8\sqrt{-3} - 32)x^3\)
\(+ (-4\sqrt{-3} + 16)x^2 + (-16\sqrt{-3} - 12)x - 4\sqrt{-3} + 16\),
Bianchi newform: 2.0.3.1-61009.1-a;
-
3.
\(C_3: y^2=(104\sqrt{-3} - 75)x^6 + (528\sqrt{-3} + 456)x^4 + (500\sqrt{-3} + 1044)x^3\)
\(+ (-1038\sqrt{-3} + 2706)x^2 + (-1158\sqrt{-3} + 342)x - 612\sqrt{-3} - 1800\),
Bianchi newform: 2.0.3.1-67081.3-a;
-
4.
\(C_4 : y^2 = x^6 - 2\sqrt{-3}x^5 + (2\sqrt{-3} - 3)x^4 + 1/3(-2\sqrt{-3} + 54)x^3\)
\(+ (-20\sqrt{-3} + 3)x^2 + (-8\sqrt{-3} - 30)x + 4\sqrt{-3} - 11\),
Bianchi newform: 2.0.3.1-123201.1-b.
Proof
See Sect. 4. \(\square \)
Over the rationals there is a celebrated result that establishes a connection between elliptic curves over \(\mathbb {Q}\) and classical newforms of weight 2. Extending this to number fields is an important aspect of the Langlands programme. However, in the case when the number field is totally complex the correspondence needs to be modified to include QM surfaces. This was first observed by Deligne in a letter to Mennicke in 1979 [12] for imaginary quadratic fields. The construction is detailed in [15] and is illustrated with an explicit example.
Thus the details of modularity for QM surfaces are different from the case of \(\hbox {GL}_2\)-type. Let us be completely explicit with the following conjecture [8, 29].
Conjecture 1.2
Let K be an imaginary quadratic field.
-
1.
Let f be a Bianchi newform over K of weight 2 and level \(\varGamma _0(\mathfrak {n})\) with rational Hecke eigenvalues. Then there is either an elliptic curve E / K without CM by K of conductor \(\mathfrak {n}\) such that \(L(E/K,s)=L(f,s)\) or there is a QM surface A / K of conductor \(\mathfrak {n}^2\) such that \(L(A/K,s)= L(f,s)^2\).
-
2.
Conversely, if E / K is an elliptic curve without CM by K of conductor \(\mathfrak {n}\) then there is an f as above such that \(L(E,s)=L(f,s)\). Moreover, if A / K is a QM surface of conductor \(\mathfrak {n}^2\) then there is an f as above such that \(L(A,s)= L(f,s)^2\).
Let f be a classical newform of weight 2 with a real quadratic Hecke eigenvalue field \(K_f= \mathbb {Q}(\{ a_i\})\) and denote \(<\sigma >=\text {Gal}(K_f / \mathbb {Q})\). We say that f has an inner twist if \(f^\sigma = f \otimes \chi _K\) where \(\chi _K\) is the quadratic Dirichlet character associated to some imaginary quadratic field K. It follows that f and \(f^\sigma \) must base change to the same Bianchi newform over K. The term genuine is used for newforms that are not (the twist of) base-change of a classical newform. For more background on Bianchi newforms see [11, §2].
From a geometric point of view, let \(A/\mathbb {Q}\) be the abelian surface of \(\hbox {GL}_2\)-type corresponding to the newforms \(f, f^\sigma \) with an inner twist via \(L(A/\mathbb {Q},s)=L(f,s)L(f^\sigma ,s)\). If the base-change surface \(A \otimes _{\mathbb {Q}} K\) remains simple then it is necessarily a QM surface and \(L(A/K,s) = L(F,s)^2\), where F is the induction from \(\mathbb {Q}\) to K of f. This motivates the following question (see [10, Question 1’] and also [13, Conjecture 1]).
Question 1.3
If f is a rational weight 2 Bianchi newform over K which is genuine, does f have an associated elliptic curve over K?
Given the modular correspondence above, we could rephrase this question to ask whether all QM surfaces arise from a \(\hbox {GL}_2\)-type surface over \(\mathbb {Q}\). The genus 2 curves given in Theorem 4.4 answer this question and say that such a newform f does not necessarily have to correspond to an elliptic curve.
The genuine QM surfaces we present also have an interesting connection to the Paramodularity Conjecture. Recall that the Paramodularity Conjecture posits a correspondence between abelian surfaces \(A/\mathbb {Q}\) with \(\text {End}_\mathbb {Q}(A) \otimes \mathbb {Q}\simeq \mathbb {Q}\) and genus 2 paramodular rational Siegel newforms of weight 2 that are not Gritsenko lifts [6, Conjecture 1.1]. It has been recently pointed out by F. Calegari et al. [5, §10] that the conjectural correspondence needs to include abelian 4-folds \(B/\mathbb {Q}\) with \(\text {End}_\mathbb {Q}(B) \otimes \mathbb {Q}\) an indefinite non-split quaternion algebra over \(\mathbb {Q}\) (see the amended version in [6, §8]) . This can be illustrated using our genuine QM surfaces.
Let C / K be any of the four curves given in Theorem 4.4. Define A / K to be the QM surface given by taking the Jacobian of C / K with \(\text {End}_K(A) \otimes \mathbb {Q}\simeq D/\mathbb {Q}\) an indefinite non-split quaternion algebra. Then the Weil restriction \(B=\text {Res}_{K/\mathbb {Q}}(A)\) of A from K to \(\mathbb {Q}\) is a simple abelian 4-fold such that \(\text {End}_\mathbb {Q}(B) \otimes \mathbb {Q}\simeq D/\mathbb {Q}\). We prove that there is a genuine rational weight 2 Bianchi newform f over K such that \(L(A/K,s)=L(f,s)^2\). Now let F be the genus 2 paramodular rational Siegel newform of weight 2 that is the theta lift of f. It now follows from the properties of Weil restriction [24] and theta lifting [3] that \(L(B/\mathbb {Q},s)=L(A/K,s)=L(f,s)^2=L(F,s)^2\).
In analogy to the case of QM surfaces, at any prime p unramified in D the 8-dimensional p-adic Tate module of \(B/\mathbb {Q}\) splits as the square of a 4-dimensional submodule[7, §7]. Then the 4-dimensional p-adic Galois representation has similar arithmetic to one that arises from an abelian surface over \(\mathbb {Q}\) with trivial endomorphisms. Indeed, our example above shows that via the representation afforded by the submodule, \(B/\mathbb {Q}\) corresponds to a Siegel newform of the type considered in the Paramodularity Conjecture.
The article will be laid out as following: in Sect. 2 we outline how these genus 2 curves were found and in Sect. 3 we discuss some arithmetic properties of the attached Galois representation in the case where \(\ell \) divides the discriminant of the acting quaternion algebra. Then Sect. 4 will be dedicated to showing how the Faltings–Serre–Livné criterion can be applied in order to prove that the examples given are modular. The final section lists the examples and contains further details of interest about them.
2 Rational points on Shimura curves
In this section we outline how the genus 2 curves in Theorem 4.4 were found. Let A be a geometrically simple abelian surface defined over an imaginary quadratic field K. Define the endomorphism rings \(\hbox {End}_K(A)\) and \(\hbox {End}_{\overline{K}}(A)\) to be the endomorphisms of A which are defined over K and \(\overline{K}\) respectively. As in the introduction, we use the convention that A has quaternionic multiplication, or QM for short, if \(\hbox {End}_{{K}}(A)\) is an order \({\mathscr {O}}\) in an indefinite quaternion algebra \(B_D\) over \(\mathbb {Q}\). We say that A has potential QM if the action of \({\mathscr {O}}\) is defined over some extension of K. The notation \(B_D\) is used for the unique quaternion algebra of discriminant D up to isomorphism. Note that \(B_D\) must be non-split because A is simple. For the remainder of the article let \({\mathscr {O}}\) be a maximal order of \(B_D\).
Families of QM surfaces have been constructed by Hashimoto et al. (see [17]) for quaternion algebras of discriminant 6 and 10. Testing numerically it would seem these give rise to surfaces which are all (a twist of) base-change. So we instead utilise two families given by Baba and Granath [2] that have been derived from the moduli space.
Given the order \({\mathscr {O}}\), the set of norm 1 elements is denoted by \({\mathscr {O}}^1\). These act as isometries on the upper half plane \(\mathscr {H}_2\) via an embedding \({\mathscr {O}}\hookrightarrow M_2(\mathbb {R})\) and the resulting quotient \(X_D = \mathscr {H}_2 / {\mathscr {O}}^1\) is a moduli space for abelian surfaces with quaternionic multiplication by \({\mathscr {O}}\) [2]. It is well known that these are compact Riemann surfaces called Shimura curves and they admit a model defined over \(\mathbb {Q}\). In particular, these are \(X_6: X^2+ 3Y^2 + Z^2 = 0\) and \(X_{10}: X^2+ 2Y^2 + Z^2 = 0\).
Let us detail the family for \(D=6\), for more information see [2]. We take the point on the conic
and define the genus 2 curve
where \(t=-2(27j+16)\) and \(s=\sqrt{-6j}\). Then the Jacobian of \(C_j\) is a QM surface. The curve is defined over the field \(\mathbb {Q}(\sqrt{j},\sqrt{-6})\) and the field of moduli for \(C_j\) is \(\mathbb {Q}(j)\). In this way we can generate numerous QM surfaces by, for example, taking any \(j \in \mathbb {Q}\).
For the purposes of modularity we need to fix a field \(K=\mathbb {Q}(\sqrt{-\delta })\) and define a QM surface over K. To do this we first establish whether \(X_6(K)\) is non-empty and if this is the case then find a K-rational point (a : b : c) on \(X_6\). Take the quantity \(j=(\frac{4b}{3a})^2 \in K\) and the corresponding genus 2 curve \(C_j\) is defined over \(K(\sqrt{-6})\). It has a model defined over K if and only if K splits the Mestre obstruction which is the quaternion algebra
Hence \(C_j\) has a model defined over K if and only if K splits \(B_D\). Since \(D=6\) this happens exactly when neither of 2 or 3 split in K.
So let us suppose that \(K \hookrightarrow B_D\). Once we have the curve \(C_j\) defined over \(K(\sqrt{-6})\) we wish to find an isomorphic curve defined over K. Using MAGMA it is possible to take Igusa-Clebsch invariants and then create a model defined over K with the same Igusa-Clebsch invariants. This then allows us to test whether the curve is a twist of base-change. It can be easily shown that a curve is genuine if the Euler polynomials at a pair of conjugate primes are not the same (up to twists). If it is indeed genuine then we endeavour to find a smaller model for the curve.
The size of the level places a limitation on whether a Bianchi modular form can be computed. Hence we try to find surfaces with as small a conductor as possible. With QM surfaces it can be a challenge to find examples with small conductor (see [6, Section 8]).
It is necessary to know the conductor exactly since we wish to find the conjecturally associated Bianchi newform. The odd part of the conductor can be found using MAGMA. Computing the even part has recently been made possible using machinery developed in [14]. The support of the ideal generated by the discriminant of a genus 2 hyperelliptic curve contains the support of the conductor of its Jacobian and the inclusion can in fact be strict. This phenomenon arises especially when one works with curves that have very large coefficients.
The curves in Theorem 4.4 were then found by parameterising the conic \(X_6(K)\) and conducting a large search with varying j-value. To control the support of the conductor and stay away from large primes we used the proposition below. Once suitable curves were discovered, minimal models were found using as yet unpublished code by L. Dembélé.
Proposition 2.1
Let \(C_j/k\) be a genus 2 curve as above. Then \(C_j\) has potentially good reduction at a prime \({\mathfrak {p}}\not \mid 6\) if and only if \(\nu _{\mathfrak {p}}(j)=0\).
Proof
See [2, Proposition 3.19]. \(\square \)
3 Galois representations attached to QM surfaces
In this section we describe the image of the Galois representation attached to a QM surface when the prime \(\ell \) divides the discriminant of the quaternion algebra. For a brief overview on the arithmetic of quaternion algebras see [23, Ch. 2].
Let A / K be a QM surface with \({\mathscr {O}}\hookrightarrow \text {End}_K(A)\) a maximal order in the quaternion algebra \(B/\mathbb {Q}\) and denote by \(\sigma _{\ell } : G_K \rightarrow GL_4 (\mathbb {Z}_\ell )\) the representation coming from the \(\ell \)-adic Tate module \(T_\ell A= \displaystyle \lim _{\leftarrow n} \ A[\ell ^n]\).
Denote by \({\mathscr {O}}_\ell = {\mathscr {O}}\otimes _\mathbb {Z}\mathbb {Z}_\ell \) and \(B_\ell = B \otimes _\mathbb {Q}\mathbb {Q}_\ell \). Then for each prime \(\ell \) the Tate module \(T_{\ell }A\) is free of rank 1 over \({\mathscr {O}}_{\ell }\) [26] and hence there is an associated \(\ell \)-adic representation
Furthermore, the \(\rho _{\ell } \) form a strictly compatible system of \(\ell \)-adic representations [20, §5].
If \(\ell \not \mid \text {Disc}(B)\) this precisely means that \(({\mathscr {O}}\otimes \mathbb {Z}_\ell )^{\times } \simeq GL_2(\mathbb {Z}_\ell )\) and in this case there is a decomposition [7, Theorem 7.1]
For the remainder of the section let \(\ell \) be a prime that divides \(\text {Disc}(B)\). This means that \(\ell \) is ramified in B and so \(B_\ell \) is isomorphic to the unique division quaternion algebra over \(\mathbb {Q}_\ell \). It can be represented as
where \(\pi \) is the uniformiser of \(\mathbb {Z}_\ell \) and \(\mathbb {Q}_\ell ({\sqrt{u}})\) is the unique unramified quadratic extension of \(\mathbb {Q}_\ell \).
Any quadratic extension of \(\mathbb {Q}_\ell \) splits the ramified quaternion algebra. So let us denote \(L=\mathbb {Q}_\ell ({\sqrt{u}})\) and \(R_L\) as its ring of integers. Then \(B \otimes _{\mathbb {Q}_\ell } L \simeq M_2(L)\) and there is an explicit isomorphism of \(\mathbb {Q}_\ell \)-algebras
If \(\nu : \mathbb {Q}_{\ell }\rightarrow \mathbb {Z}\) is the \({\ell }\)-adic valuation then \(w=\nu \circ N_{B_{\ell }/ \mathbb {Q}_{\ell }}\) defines a valuation on the quaternion algebra \(B_{\ell }\). This gives us
which is the unique maximal order of \(B_{\ell }\) and
a two-sided ideal. It is a principal ideal given by \(\mathscr {J}= {\mathscr {O}}_{\ell }j\) and any two-sided ideal of \({\mathscr {O}}_{\ell }\) is a power of \(\mathscr {J}\). In the isomorphism (1) we get \({\mathscr {O}}_{\ell }\) by taking \(\alpha , \beta \in R_L\).
Define \(\lambda _\ell \subseteq {\mathscr {O}}\) to be the unique two-sided ideal of reduced norm \(\ell \) such that \(\lambda _\ell ^2 =(\ell )\). The torsion subgroups \(A[\ell ]\) and \(A[\lambda _\ell ]\) are free of rank 1 over the \(\mathbb {F}_\ell \)-algebras \({\mathscr {O}}/\ell \) and \({\mathscr {O}}/\lambda _\ell \) respectively [20, §4]. Explicitly, these have the structure
Denote the residual representations by
There is a commutative diagram:
Under the identification (1) and projecting as in the commutative diagram the image of \(\overline{\rho }_{\ell }\) will lie in \(\hbox {GL}_2(\mathbb {F}_{{\ell }^2})\). Furthermore, up to conjugation it can be assumed that the image of \(\overline{\rho }_{\ell }\) is contained in \(\hbox {GL}_2(\mathbb {F}_{\ell })\) by [19, Lemma 3.1]. Specifically, it will be contained in the non-split Cartan subgroup of \(\hbox {GL}_2(\mathbb {F}_{\ell })\), which is the unique cyclic subgroup of order \(\ell ^2-1\).
For a Frobenius element \(F_\upsilon \) the Hecke polynomial is given by
which residually is
with \(\alpha \in \mathbb {F}_{{\ell }^2}^\times .\) Furthermore, the map \(F_\upsilon \mapsto N_{\mathbb {F}_{{\ell }^2} / \mathbb {F}_{\ell }} (\alpha )\) is the cyclotomic character [20].
Theorem 3.1
Let A be a geometrically simple abelian surface defined over an imaginary quadratic field K such that \(\text {End}_K(A)\) is isomorphic to a maximal order \({\mathscr {O}}\) in an indefinite quaternion algebra \(B/\mathbb {Q}\). Suppose that the prime \(\ell \) divides \(\text {Disc}(B)\) and \(\overline{\tau }_{\ell },\overline{\rho }_{\ell }\) are the residual Galois representations on the torsion subgroups \(A[\ell ]\) and \(A[\lambda _\ell ]\) respectively. Then there is a short exact sequence of groups
where \(\overline{\epsilon } \le \mathbb {F}_{\ell ^2}^+.\)
Proof
Since Aut\(_{\mathscr {O}}(A[{\ell }]) \simeq ({\mathscr {O}}/{\ell })^\times \) and Aut\(_{\mathscr {O}}(A[\lambda _{\ell }]) \simeq ({\mathscr {O}}/\lambda _{\ell })^\times \simeq \mathbb {F}_{{\ell }^2}^\times \) it is enough to show that there is a short exact sequence
Let r be the projection \(r: ({\mathscr {O}}/{\ell })^\times \rightarrow ({\mathscr {O}}/\lambda _{\ell })^\times .\) Then \(\text {ker}(r)\) consists of the cosets \(\phi + {\ell }\) such that \(\phi \in \lambda _{\ell }+1\). It follows that \(\mathrm{ker}(r) \simeq (1+\lambda _{\ell })/(1+{\ell })\) which is isomorphic to \(\mathbb {F}_{{\ell }^2}^+.\) \(\square \)
Remark 3.2
If f is a Bianchi newform which corresponds to a QM surface with quaternion algebra \(B_D\), then the residual representation attached to f has cyclic image at the primes dividing the discriminant D.
Given a Bianchi newform with rational coefficients, it would be desirable to have a criterion which determines whether f should correspond to an elliptic curve or a QM surface. The above gives a necessary condition for f to correspond to a QM surface. We wish to know whether a sufficient condition also exists and if so whether it can be determined from computing the trace of Frobenius for a finite set of primes.
4 Proof of modularity
Here we provide a proof that the second example in Theorem 4.4 is modular using the Faltings–Serre–Livné criterion, the other cases follow similarly. So let \(C_2\) be the genus 2 curve
and A the Jacobian of \(C_2\). The surface \(A=Jac(C_2)\) has conductor \({\mathfrak {p}}_{13,1}^4 \cdot {\mathfrak {p}}_{19,1}^4\) with norm \(61009^2\) and \({\mathscr {O}}\hookrightarrow \text {End}_{\mathbb {Q}(\sqrt{-3})}(A)\) where \({\mathscr {O}}\) is the maximal order of the rational quaternion algebra of discriminant 10. The endomorphism algebra can be independently verified using the machinery developed in [9].
Let \(f \in S_2(\varGamma _0({\mathfrak {p}}_{13,1}^2 \cdot {\mathfrak {p}}_{19,1}^2))\) be the genuine Bianchi newform which is listed on the LMFDB database with label 2.0.3.1-61009.1-a. We will show that f is modular to A. By the work of [16, 28] and more recently [4, 25], we can associate an \(\ell \)-adic Galois representation \(\rho _{f,\ell }:\mathrm{Gal}(\overline{K}/K) \rightarrow \mathrm{GL}_2(\overline{\mathbb {Q}}_{\ell })\) to f such that \(L(f,s) = L(\rho _{f,\ell },s)\).
The Faltings–Serre–Livné method gives an effective way to prove that two Galois representations are isomorphic up to semisimplification by showing that the trace of Frobenius agree on a finite computable set of primes. We follow the steps outlined in [13] which for practical reasons necessitates use of the prime \(\ell =2\). This prime is ramified in the acting quaternion algebra and as in Sect. 3 we can associate a representation to the 2-adic Tate module.
Lemma 4.1
The representations
have image contained in \(\hbox {GL}_2(E)\), where E is the unique unramified quadratic extension of \(\mathbb {Z}_2\).
Proof
For \(\rho _{A,2}\) this is a direct consequence of the way that the representation has been defined. Let us now consider \(\rho _{f,2}\). The prime 31 is split in \(\mathbb {Q}(\sqrt{-3})\) and the Hecke eigenvalues above these primes are distinct. Hence we can take the field by adjoining the roots of the Hecke polynomials which gives \(\mathbb {Q}(\sqrt{-43},\sqrt{-123})\). The completion at either of the primes above 2 in this field gives the unique unramified quadratic extension of \(\mathbb {Z}_2\) and so we can take this as the coefficient field E by [28, Corollary 1]. \(\square \)
First we must show that the residual representations are isomorphic.
Lemma 4.2
The residual representations \(\overline{\rho }_{A,2}, \overline{\rho }_{f,2}\) are isomorphic and have image \(C_3 \subset \text {GL}_2( \mathbb {F}_2).\)
Proof
Denote by \(F_A\) and \(F_f\) the fields cut out by \(\overline{\rho }_{A,2}\) and \(\overline{\rho }_{f,2}\) respectively. The field given by the 2-torsion of A is isomorphic to \(A_4\) which has only one proper normal subgroup. This subgroup has order 4 and so applying the short exact sequence of Theorem 3.1, the image of \(\overline{\rho }_{A,2}\) must be \(C_3\).
We first note that it can be assumed Im\((\overline{\rho }_{f,2}) \subset GL_2(\mathbb {F}_2)\) due to the fact that the traces of Frobenius are all rational [19, Lemma 3.1]. To show that Im\((\overline{\rho }_{f,2})=C_3\) let \({\mathfrak {m}}\) denote the modulus
Then as explained in [18, Ch. 6], if Im\((\overline{\rho }_{f,2})\) is not equal to \(C_3\) there must be a quadratic extension of \(\mathbb {Q}(\sqrt{-3})\) contained in \(F_f\) which corresponds to a quadratic character of Cl\((\mathbb {Z}[\frac{1+\sqrt{-3}}{2}], {\mathfrak {m}})\). We compute the ray class group to be
Let \(\{\chi _1, \dots , \chi _4 \}\) be an \(\mathbb {F}_2\)-basis for the quadratic characters of Cl\((\mathbb {Z}[\frac{1+\sqrt{-3}}{2}], {\mathfrak {m}})\). Then \(\{\chi _1({\mathfrak {p}}), \dots , \chi _4({\mathfrak {p}}) \}_{{\mathfrak {p}}\in S}\) spans \(\mathbb {F}_2^4\), where \(S=\{{\mathfrak {p}}_{7,1}, {\mathfrak {p}}_{7,2}, {\mathfrak {p}}_{13,2}, {\mathfrak {p}}_{19,2}, {\mathfrak {p}}_5 \}\). If \(F_f\) contains a quadratic subfield then by [13, Proposition 5.4] the associated quadratic character must be non-zero for one of the primes in S. Hence there must be a prime \({\mathfrak {p}}\in S\) that is inert in this subfield and so \(\overline{\rho }_{f,2}(\text {Frob}_{\mathfrak {p}})\) must have order 2. However, we compute that the trace of Frobenius is odd for all primes in S and therefore \(F_f\) is a cubic extension of \(\mathbb {Q}(\sqrt{-3})\).
To show that the representations are isomorphic let \(\psi _A\) denote the cubic character associated to \(F_A\). Extend this to an \(\mathbb {F}_3\)-basis \(\{\psi _A, \chi _1 \}\) of the cubic characters of Cl\((\mathbb {Z}[\frac{1+\sqrt{-3}}{2}], {\mathfrak {m}})\). We find that the prime \({\mathfrak {p}}_{37,1}\) is such that \(\psi _A({\mathfrak {p}}_{37,1}) = 0\) and \(\chi _1({\mathfrak {p}}_{37,1}) \ne 0\). So if \(\chi _f\) is the cubic character associated to \(F_f\) and \(\chi _f\) is not in the span of \(\chi _A\) then \(\psi _f({\mathfrak {p}}_{37,1})\) must be non-zero. In particular, \(\overline{\rho }_{f,2}(\text {Frob}_{\mathfrak {p}})\) must have order 3 but we find that Tr(\(\overline{\rho }_{f,2}(\text {Frob}_{{\mathfrak {p}}_{37,1}})) = \text {Tr}(\overline{\rho }_{A,2}(\text {Frob}_{{\mathfrak {p}}_{37,1}}))\) and so we can conclude that the residual representations are isomorphic. \(\square \)
Now that we have shown that the residual representations are isomorphic it remains to show that the full representations are isomorphic up to semisimplifcation. The residual images are cyclic and note that this will always be the case when the prime \(\ell \) divides the discriminant of the acting quaternion algebra. Since the images are cyclic we can use Livné’s criterion, which applies when the image is absolutely reducible.
Theorem 4.3
Let K be a number field, E a finite extension of \(\mathbb {Q}_2\) and \({\mathscr {O}}_E\) its ring of integers with maximal ideal \(\mathscr {P}\). Let
be two continous representations unramified outside of a finite set of primes S and \(K_{2,S}\) the compositum of all quadratic extensions of K unramified outside of S.
Suppose that
-
1.
\(\text {Tr} (\rho _1) \equiv Tr(\rho _2) \equiv 0 \ (\text {mod } \mathscr {P})\) and \(\text {Det}(\rho _1) \equiv \text {Det}(\rho _2) \equiv 1 \ (\text {mod } \mathscr {P})\);
-
2.
There is a finite set of primes T such that the characteristic polynomials of \(\rho _1\) and \(\rho _2\) are equal on the set \(\{ \text {Frob}_{\mathfrak {p}}\ | \ {\mathfrak {p}}\in T\}\).
Then \(\rho _1\) and \(\rho _2\) have isomorphic semisimplifications.
Proof
See [21, Theorem 4.3]. \(\square \)
It is now possible to show that the representations attached to A and f are isomorphic up to semisimplification.
Theorem 4.4
The Jacobians of the following genus 2 curves are QM surfaces which are modular by a genuine Bianchi newform as in Conjecture 1.2.
-
1.
\(C_1: y^2= x^6 + 4ix^5 + (-2i - 6)x^4 + (-i + 7)x^3 + (8i - 9)x^2 - 10ix + 4i + 3\),
Bianchi newform: 2.0.4.1-34225.3-a;
-
2.
\(C_2 : y^2=x^6 + (-2\sqrt{-3} - 10)x^5 + (10\sqrt{-3} + 30)x^4 + (-8\sqrt{-3} - 32)x^3\)
\(+ (-4\sqrt{-3} + 16)x^2 + (-16\sqrt{-3} - 12)x - 4\sqrt{-3} + 16\),
Bianchi newform: 2.0.3.1-61009.1-a;
-
3.
\(C_3: y^2=(104\sqrt{-3} - 75)x^6 + (528\sqrt{-3} + 456)x^4 + (500\sqrt{-3} + 1044)x^3\)
\(+ (-1038\sqrt{-3} + 2706)x^2 + (-1158\sqrt{-3} + 342)x - 612\sqrt{-3} - 1800\),
Bianchi newform: 2.0.3.1-67081.3-a;
-
4.
\(C_4 : y^2 = x^6 - 2\sqrt{-3}x^5 + (2\sqrt{-3} - 3)x^4 + 1/3(-2\sqrt{-3} + 54)x^3\)
\(+ (-20\sqrt{-3} + 3)x^2 + (-8\sqrt{-3} - 30)x + 4\sqrt{-3} - 11\),
Bianchi newform: 2.0.3.1-123201.1-b.
Proof
Restricting the representations to the cubic extension cut out by the residual representation, the mod \(\mathscr {P}\) image becomes trivial. We are then in a position to apply Livné’s criterion.
Let \(\{ \chi _1, \dots , \chi _6\}\) be a basis of quadratic characters. Any set of primes \(\{ {\mathfrak {p}}_i \}\) for which the vectors \(\{( \chi _1({\mathfrak {p}}_i), \dots , \chi _6({\mathfrak {p}}_i)) \}\) cover \(\mathbb {F}_2^6 \backslash \{0\}\) will satisfy the criterion. Following [13, §2.3 step (7)] we compute the set \(T = \{ 3, 37, 43, 61, 67, 73, 97, 103, 127, 151, 157, 193, 211, 307, 313, 343, 373, 433, 463, 499, 523, 631, 661, 823, 1321, 2197, 2557, 2917 \}.\) The traces of Frobenius agree on this set.
To complete the proof we note that this shows that the representations are isomorphic when restricting to the cubic extension cut out by the residual representations. As explained in [27, pp. 362] this means that the full representations could differ by a character. We find that the prime above 5 is inert in the cubic extension and that the traces of Frobenius agree on this prime, which forces the character to be trivial. Hence we can conclude that the two representations are isomorphic up to semisimplification.
The set of primes needed for the other three surfaces are:
-
\(T(C_1) = \{ 5, 17, 61, 73, 121, 125, 157 \}.\)
-
\(T(C_3)= \{ 3, 13, 19, 31, 43, 73, 79, 103, 157, 163, 181, 199, 307, 313, 397, 409, 457,\)
\(487, 643, 661, 673, 691, 823, 829, 997, 1063, 1447, 1621, 2377, 2689 \}. \)
-
\(T(C_4)= \{ 7, 13, 61, 79, 97 \}.\)
\(\square \)
5 Examples
At the time of writing there are 161343 rational Bianchi newforms of weight 2 in the LMFDB [22] and these are for the quadratic fields \(\mathbb {Q}(\sqrt{-d})\) with \(d=1,2,3,7,11\). Up to conjugation and twist there are only four genuine newforms for which no corresponding elliptic curve has been found. These are all accounted for by Theorem 4.4.
Curve 5.1
Let \(C_1\) be the genus 2 curve as in Theorem 4.4.1:
-
The surface \(A=Jac(C_1)\) has conductor \({\mathfrak {p}}_{5,1}^4 \cdot {\mathfrak {p}}_{37,2}^4\) with norm \(34225^2\).
-
\({\mathscr {O}}\hookrightarrow \text {End}_{\mathbb {Q}(i)}(A)\) where \({\mathscr {O}}\) is the maximal order of the rational quaternion algebra of discriminant 6.
-
There is a genuine Bianchi newform \(f \in S_2(\varGamma _0({\mathfrak {p}}_{5,1}^2 \cdot {\mathfrak {p}}_{37,2}^2))\) which is modular to A and is listed on the LMFDB database with label 2.0.4.1-34225.3-a.
Curve 5.2
Let \(C_2\) be the genus 2 curve as in Theorem 4.4.2:
-
The surface \(A=Jac(C_2)\) has conductor \({\mathfrak {p}}_{13,1}^4 \cdot {\mathfrak {p}}_{19,1}^4\) with norm \(61009^2\).
-
\({\mathscr {O}}\hookrightarrow \text {End}_{\mathbb {Q}(\sqrt{-3})}(A)\) where \({\mathscr {O}}\) is the maximal order of the rational quaternion algebra of discriminant 10.
-
There is a genuine Bianchi newform \(f \in S_2(\varGamma _0({\mathfrak {p}}_{13,1}^2 \cdot {\mathfrak {p}}_{19,1}^2))\) which is modular to A and is listed on the LMFDB database with label 2.0.3.1-61009.1-a.
Curve 5.3
Let \(C_3\) be the genus 2 curve as in Theorem 4.4.3:
-
The surface \(A=Jac(C_3)\) has conductor \({\mathfrak {p}}_{7,1}^4 \cdot {\mathfrak {p}}_{37,2}^4\) with norm \(67081^2\).
-
\({\mathscr {O}}\hookrightarrow \text {End}_{\mathbb {Q}(\sqrt{-3})}(A)\) where \({\mathscr {O}}\) is the maximal order of the rational quaternion algebra of discriminant 10.
-
There is a genuine Bianchi newform \(f \in S_2(\varGamma _0({\mathfrak {p}}_{7,1}^2 \cdot {\mathfrak {p}}_{37,2}^2))\) which is modular to A and is listed on the LMFDB database with label 2.0.3.1-67081.3-a.
Curve 5.4
Let \(C_4\) be the genus 2 curve as in Theorem 4.4.4:
-
The surface \(A=Jac(C_4)\) has conductor \({\mathfrak {p}}_{3}^{12} \cdot {\mathfrak {p}}_{13,1}^4\) with norm \(123201^2\).
-
\({\mathscr {O}}\hookrightarrow \text {End}_{\mathbb {Q}(\sqrt{-3})}(A)\) where \({\mathscr {O}}\) is the maximal order of the rational quaternion algebra of discriminant 6.
-
There is a genuine Bianchi newform \(f \in S_2(\varGamma _0({\mathfrak {p}}_{3}^6 \cdot {\mathfrak {p}}_{13,1}^2))\) which is modular to A and is listed on the LMFDB database with label 2.0.3.1-123201.1-b.
References
Adimoolam, C.: A note on good reduction of simple Abelian varieties. Proc. Am. Math. Soc. 64(2), 196–198 (1977). https://doi.org/10.2307/2041426
Baba, S., Granath, H.: Genus 2 curves with quaternionic multiplication. Can. J. Math. 60(4), 734–757 (2008). https://doi.org/10.4153/CJM-2008-033-7
Berger, T., Dembélé, L., Pacetti, A., Şengün, M.H.: Theta lifts of Bianchi modular forms and applications to paramodularity. J. Lond. Math. Soc. (2) 92(2), 353–370 (2015). https://doi.org/10.1112/jlms/jdv023
Berger, T., Harcos, G.: \(l\)-adic representations associated to modular forms over imaginary quadratic fields. Int. Math. Res. Not. IMRN 23, Art. ID rnm113, 16 (2007)
Boxer, G., Calegari, F., Gee, T., Pilloni, V.: Abelian surfaces over totally real fields are potentially modular. Preprint (2018). http://www.math.uchicago.edu/~fcale/papers/surfaces.pdf
Brumer, A., Kramer, K.: Paramodular abelian varieties of odd conductor. ArXiv e-prints (2018)
Chi, W.C.: \(l\)-adic and \(\lambda \)-adic representations associated to abelian varieties defined over number fields. Am. J. Math. 114(2), 315–353 (1992). https://doi.org/10.2307/2374706
Clozel, L.: Motifs et formes automorphes: applications du principe de fonctorialité. In: Automorphic forms, Shimura varieties, and \(L\)-functions, Vol. I (Ann Arbor, MI, 1988), Perspect. Math., vol. 10, pp. 77–159. Academic Press, Boston, MA (1990)
Costa, E., Mascot, N., Sijsling, J., Voight, J.: Rigorous computation of the endomorphism ring of a jacobian. arXiv preprint arXiv:1705.09248 (2017)
Cremona, J.E.: Abelian varieties with extra twist, cusp forms, and elliptic curves over imaginary quadratic fields. J. Lond. Math. Soc. (2) 45(3), 404–416 (1992). https://doi.org/10.1112/jlms/s2-45.3.404
Cremona, J.E., Whitley, E.: Periods of cusp forms and elliptic curves over imaginary quadratic fields. Math. Comput. 62(205), 407–429 (1994). https://doi.org/10.2307/2153419
Deligne, P.: Letter to J. Mennicke (13 February 1979)
Dieulefait, L., Guerberoff, L., Pacetti, A.: Proving modularity for a given elliptic curve over an imaginary quadratic field. Math. Comput. 79(270), 1145–1170 (2010). https://doi.org/10.1090/S0025-5718-09-02291-1
Dokchitser, T., Doris, C.: 3-torsion and conductor of genus 2 curves. arXiv preprint arXiv:1706.06162 (2017)
Elstrodt, J., Grunewald, F., Mennicke, J.: On the group \({\rm PSL}_{2}({\mathbf{Z}}[i])\). In: Number theory days, 1980 (Exeter, 1980), London Math. Soc. Lecture Note Ser., vol. 56, pp. 255–283. Cambridge Univ. Press, Cambridge-New York (1982)
Harris, M., Soudry, D., Taylor, R.: \(l\)-adic representations associated to modular forms over imaginary quadratic fields. I. Lifting to \({\rm GSp}_4({\mathbf{Q}})\). Invent. Math. 112(2), 377–411 (1993). https://doi.org/10.1007/BF01232440
Hashimoto, Ki, Tsunogai, H.: On the Sato-Tate conjecture for QM-curves of genus two. Math. Comput. 68(228), 1649–1662 (1999). https://doi.org/10.1090/S0025-5718-99-01061-3
Jones, A.: Modular elliptic curves over quartic cm fields. Ph.D. thesis, University of Sheffield (2015)
Jones, A.: Modular elliptic curves over the field of twelfth roots of unity. LMS J. Comput. Math. 19(1), 155–174 (2016). https://doi.org/10.1112/S1461157016000048
Jordan, B.W.: Points on Shimura curves rational over number fields. J. Reine Angew. Math. 371, 92–114 (1986). https://doi.org/10.1515/crll.1986.371.92
Livné, R.: Cubic exponential sums and Galois representations. In: Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), Contemp. Math., vol. 67, pp. 247–261. Amer. Math. Soc., Providence, RI (1987). https://doi.org/10.1090/conm/067/902596
LMFDB Collaboration: The L-functions and Modular Forms Database. http://www.lmfdb.org (2013). [Online; accessed November 2017]
Maclachlan, C., Reid, A.W.: The Arithmetic of Hyperbolic 3-Manifolds, Graduate Texts in Mathematics, vol. 219. Springer, New York (2003). https://doi.org/10.1007/978-1-4757-6720-9
Milne, J.S.: On the arithmetic of abelian varieties. Invent. Math. 17, 177–190 (1972). https://doi.org/10.1007/BF01425446
Mok, C.P.: Galois representations attached to automorphic forms on \({\rm GL}_2\) over CM fields. Compos. Math. 150(4), 523–567 (2014). https://doi.org/10.1112/S0010437X13007665
Ohta, M.: On \(l\)-adic representations of Galois groups obtained from certain two-dimensional abelian varieties. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 21, 299–308 (1974)
Socrates, J., Whitehouse, D.: Unramified Hilbert modular forms, with examples relating to elliptic curves. Pac. J. Math. 219(2), 333–364 (2005). https://doi.org/10.2140/pjm.2005.219.333
Taylor, R.: \(l\)-adic representations associated to modular forms over imaginary quadratic fields. II. Invent. Math. 116(1–3), 619–643 (1994). https://doi.org/10.1007/BF01231575
Taylor, R.: Representations of Galois groups associated to modular forms. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2 (Zürich, 1994), pp. 435–442. Birkhäuser, Basel (1995)
Yoshida, H.: On an analogue of the Sato conjecture. Invent. Math. 19, 261–277 (1973). https://doi.org/10.1007/BF01425416
Acknowlegements
Many thanks to the referees for making useful suggestions and helping to improve the article. I am very grateful to both John Cremona and Aurel Page for kindly computing Bianchi newforms for me. I would like to thank Lassina Dembélé and Jeroen Sijsling for sharing their code with me and theoretical discussions which have been of great help. Finally, it is a pleasure to thank my supervisor Haluk Şengün for his suggestion of this interesting topic and great enthusiasm.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Schembri, C. Examples of genuine QM abelian surfaces which are modular. Res. number theory 5, 11 (2019). https://doi.org/10.1007/s40993-018-0150-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-018-0150-x