 Research
 Open Access
On the modularity of elliptic curves over a composite field of some real quadratic fields
 Sho Yoshikawa^{1}Email authorView ORCID ID profile
 Received: 21 July 2016
 Accepted: 27 September 2016
 Published: 24 November 2016
Abstract
Let K be a composite field of some real quadratic fields. We give a sufficient condition on K such that all elliptic curves over K are modular.
Keywords
 Elliptic Curve
 Elliptic Curf
 Root Number
 Cartan Subgroup
 Composite Field
1 Introduction
Conjecture 1.1
Let K be a totally real number field. Then, any elliptic curve over K is modular.
A number of developments of modularity lifting theorems enable us to prove that elliptic curves with certain conditions are modular. However, it has been difficult to prove the modularity of all elliptic curves over a fixed field. A few years ago, Le Hung and FreitasLe HungSiksek brought a breakthrough in the problem of modularity of elliptic curves:
Theorem 1.2
([3, Theorem 1]) Let K be a real quadratic number field. Then, any elliptic curve over K is modular.
Also, using the results in [9] and in Iwasawa theory for elliptic curves, Thorne recently proved the following theorem:
Theorem 1.3
([10, Theorem 1]) Let p be a prime number and K be a totally real field contained in a \(\mathbb {Z}_p\)cyclotomic extension of \(\mathbb {Q}\). Then, any elliptic curve over K is modular.
In this paper, we prove some special cases of Conjecture 1.1 by making use of methods in [3]. Before stating our main theorem, we introduce a notation and give a remark. For an elliptic curve X over a field F, a Galois extension K / F, and a character \(s:\mathrm {Gal}(K/F)\rightarrow \{ \pm 1\}\), we write \(X^{(s)}\) for the quadratic twist of X by \(\tilde{s}:\mathrm {Gal}(\bar{F}/F)\rightarrow \mathrm {Gal}(K/F)\mathop {\longrightarrow }\limits ^{s} \{ \pm 1\}\). Also, we note that the modular curve \(X_0(15)\) (resp. \(X_0(21)\)) is an elliptic curve of rank 0 with Cremona label 15A1 (resp. 21A1); for example, see [3] (Magma scripts are available at http://arxiv.org/abs/1310.7088). The main theorem of this paper is the following:
Theorem 1.4
Let \(p=5\) or 7 and X be the modular curve \(X_0(3p)\). Let K be a composite field of finite number of real quadratic fields. We assume that K is unramified at every prime dividing 6p. We furthermore assume that, for each character \(s:\mathrm {Gal}(K/\mathbb {Q})\rightarrow \{ \pm 1\}\), the MordellWeil group \(X^{(s)}(\mathbb {Q})\) is of rank 0. Then, any elliptic curve over K is modular.
In contrast to the case of cyclic field extensions as considered in [9], we consider here certain extensions which are far from cyclic ones. We prove Theorem 1.4 in the next section. It is motivated from the proof of [3, Lemma 1.1] and is outlined as follows: By [3, Theorem 2], an elliptic curve which is not yet proved to be modular defines a point of a certain modular curve. We show that the point of the modular curve is actually a rational point or a real quadratic point, both of which corresponds to a modular elliptic curve.
After the proof of Theorem 1.4, we also discuss how often the hypotheses of Theorem 1.4 are likely to hold.
2 Proof of Theorem 1.4
Lemma 2.1
Proof
By the definition of quadratic twists, we have an isomorphism \(f:X\mathop {\longrightarrow }\limits ^{\simeq } X^{(s)}\) over K which satisfies \(f(P^\sigma )=s_\sigma f(P)^\sigma \) for \(P\in X(K)\) and \(\sigma \in G=\mathrm {Gal}(K/F)\). By the isomorphism f, the subgroup \(X(K)_s\subset X(K)\) corresponds to the subgroup \(X^{(s)}(F)\subset X^{(s)}(K)\). \(\square \)
For a group G isomorhic to \((\mathbb {Z}/(2))^r\) with r a positive integer, let \(G^{\vee }\) denote the group \(\mathrm {Hom}(G, \{ \pm 1\})\) of characters.
Lemma 2.2
Let G is a group isomorphic to \((\mathbb {Z}/(2))^r\) for a positive integer r and M is a \(\mathbb {Z}[G]\)module, then we have \(2^r M\subset \sum _{s\in G^{\vee }} M_s\).
Proof
For an elliptic curve E over a field K and a prime number \(\ell \), let \(\bar{\rho }_{E,\ell }:\mathrm {Gal}(\bar{K}/K)\rightarrow {\text {GL}}_2(\mathbb {F}_\ell )\) denote the mod \(\ell \) Galois representation attached to the \(\ell \)torsion points of E.
Lemma 2.3
For \(X=X_0(15)\) or \(X_0(21)\) and a prime number \(\ell \ge 3\), the mod \(\ell \) Galois representation \(\bar{\rho }_{X,\ell }\) is surjective.
Proof
Using the above two basic results, we prove the following proposition.
Proposition 2.4
Under the assumption of Theorem 1.4, we have \(X(K)=X(\mathbb {Q})\).
Proof
Let G denote the Galois group \(\mathrm {Gal}(K/\mathbb {Q})\), which is by assumption isomorphic to \((\mathbb {Z}/(2))^r\) for a positive integer r. By Lemma 2.3, \(\bar{\rho }_{X,\ell }\) for every prime \(\ell \ge 3\) is in particular irreducible, and thus \(X^{(s)}(\mathbb {Q})\) for \(s\in G^{\vee }\) has only 2power torsion points. Also, for each \(s\in G^{\vee }\), \(X^{(s)}(\mathbb {Q})\) is assumed to be of rank 0, and Lemma 2.1 implies that \(X(K)_s\simeq X^{(s)}(\mathbb {Q})\). It follows that all \(X(K)_s\) for \(s\in G^{\vee }\) are killed by \([2^n]:X\rightarrow X\) for some positive integer n. Then, since \([2^r] X(K)\subset \sum _{s\in G^{\vee }}X(K)_s\) by Lemma 2.2, we have \([2^{n+r}] X(K)=0\); that is, \(X(K)\subset X[2^{n+r}](\bar{\mathbb {Q}})\). This implies that Gmodule X(K) can be ramified only at primes dividing 6p. On the other hand, by the assumption that K is unramified at primes dividing 6p, it follows that X(K) is unramified everywhere. Therefore, we have \(X(K)=X(\mathbb {Q})\). \(\square \)
We note the following modularity theorem, which is a consequence of a theorem of Langlands–Tunnel and modularity switching arguments.
Theorem 2.5
([3, Theorem 2]) Let E be an elliptic curve over a totally real field K. If \(p=3,5,\) or 7, and if the restriction of \(\bar{\rho }_{E,p}\) to \(\mathrm {Gal}(\bar{K}/K(\zeta _p))\) is absolutely irreducible, then E is modular.
For mod 5 (resp. mod 7) representations, we can relax the hypothesis in Theorem 2.5 under the assumption that the base field is unramified at 5 (resp. 7).
Theorem 2.6
Let \(p=5\) or 7 and K be a totally real field unramified at p. If E is an elliptic curve over K such that the mod p Galois representation \(\bar{\rho }_{E,p}\) is (absolutely) irreducible, then E is modular.
Proof
The case \(p=5\) is proved in [9] by Thorne. He in fact obtains a slightly stronger result: we only need to assume that \(\sqrt{5}\notin K\) instead of the unramifiedness of 5 in K. The case \(p=7\) is proved in [12] by the author. \(\square \)
Before proceeding to the proof of Theorem 1.4, we also need to introduce a certain modular curve from [3]. For a prime number \(p\ne 3\), let X(s3, bp) denote the modular curve classifying elliptic curves such that \({{\mathrm{Im}}}\bar{\rho }_{E,3}\) is contained in the nomalizer of a split Cartan subgroup of \({\text {GL}}_2(\mathbb {F}_3)\) and that \(\bar{\rho }_{E,p}\) is reducible. For the details of such a modular curve, we refer the reader to [3]. For the proof of Theorem 1.4, we only need the following properties of X(s3, b5) and X(s3, b7).
Lemma 2.7
 (1)
The modular curve X(s3, b5) is an elliptic curve over \(\mathbb {Q}\) and X(s3, b5) is isogeneous to \(X_0(15)\) by an isogeny of degree 2.
 (2)
The modular curve X(s3, b7) is isomorphic to \(X_0(63)/\langle w_9\rangle \), and the curve \(X_0(63)/\langle w_7, w_9\rangle \) is isomorphic to \(X_0(21)\), where \(w_7\) and \(w_9\) are the AtkinLehner involutions on \(X_0(63)\). In particular, X(s3, b7) admits a morphism to \(X_0(21)\) of degree 2.
We are now ready to prove Theorem 1.4.
Proof of Theorem 1.4
Let p, X, and K be as in the statement of Theorem 1.4.
Suppose we are given an elliptic curve E over K. We show that E is modular. Because of Theorem 2.5 and Theorem 2.6, we only have to consider the case where \(\bar{\rho }_{E,3}_{\mathrm {Gal}(\bar{K}/K(\zeta _3))}\) is absolutely reducible and \(\bar{\rho }_{E,p}\) is reducible. In such a case, E defines a Kpoint of X or X(s3, bp) by [3, Proposition 4.1, Corollary 10.1].
Suppose first that E defines a Kpoint of X. Then Proposition 2.4 implies that, after a suitable base change by a solvable Galois extension, E becomes actually defined over \(\mathbb {Q}\), and hence E is modular (by [1, Theorem A] and the solvable base change theorem).
Next we consider the case where E defines a Kpoint \(P=P_E\) of X(s3, bp). By Lemma 2.7, we have a morphism \(f_p:X(s3, bp)\rightarrow X\) of degree 2. By Proposition 2.4, \(\mathrm {Gal}(K/\mathbb {Q})\) acts on the fiber \(f_p^{1}(f_p(P))\). Since \(f_p^{1}(f_p(P))\) consists of 2 points, the kernel of this action is a subgroup in \(\mathrm {Gal}(K/\mathbb {Q})\) of index at most 2. It follows that P must be a rational point or a real quadratic point of X. Similarly to the previous paragraph, [1, Theorem A], [3, Theorem 1], and the base change theorem show that E is modular. This completes the proof. \(\square \)
Let again the notation be as in Theorem 1.4. We discuss here how many totally real fields K are expected to satisfy the hypotheses of Theorem 1.4; We heuristically expect that, for each positive integer r, there are infinitely many K with \([K:\mathbb {Q}]=2^r\) satisfying the condition of Theorem 1.4.
To explain this, we first note the following theorem on the description of local root numbers of an elliptic curve. For an elliptic curve E over a local or global field K, we write w(E / K) for the root number of E.
Theorem 2.8
 (1)
\(w(E/K_v)=1\) if \(v\infty \) or E has split multiplicative reduction.
 (2)
\(w(E/K_v)=1\) if E has either good or nonsplit multiplicative reduction.
 (3)
\(w(E/K_v)=\large ( \frac{1}{k}\large ) \) if E has additive potentially multiplicative reduction, and the residue field k of \(K_v\) has characteristic \(p\ge 3\). Here, \(\large ( \frac{1}{k}\large )=1\) (resp. \(1\)) if \(1\in (k^{\times })^2\) (resp. otherwise).
 (4)
\(w(E/K_v)=(1)^{\lfloor \mathrm {ord}_v(\Delta )k/12 \rfloor }\), if E has potentially good reduction, and the residue field k of \(K_v\) has characteristic \(p\ge \) 5. Here, \(\Delta \) is the minimal discriminant of E, and \(\lfloor x \rfloor \) is the greatest integer \(n\le x\).
Using Theorem 2.8, we calculate, in an elementary way, the global root numbers of quadratic twists of an elliptic curve that we are interested in.
Corollary 2.9
Let E be a semistable elliptic curve over \(\mathbb {Q}\) with the odd conductor N, and \(d\equiv 1\) mod 4 be a squarefree positive integer prime to N. Then, we have \(w(E^{(d)}/\mathbb {Q}) = \bigl ( \frac{d}{N}\bigr ) w(E/\mathbb {Q})\), where \(E^{(d)}\) denotes the quadratic twist of E by d and \(\bigl ( \frac{\cdot }{N} \bigr )\) is the Jacobi symbol.
Proof

If \(p\not \mid dN\), then both \(E^{(d)}\) and E have good reduction at p and thus \(w(E/\mathbb {Q}_p)=w(E^{(d)}/\mathbb {Q}_p)=1\) by Theorem 2.8 (2).

If p d, then \(E^{(d)}\) has additive potentially good reduction at p and it acquires good reduction over the quadratic extension \(\mathbb {Q}_p(\sqrt{d})\) of \(\mathbb {Q}_p\). Thus, by Theorem 2.8 (4), \(w(E^{(d)}/\mathbb {Q}_p)=(1)^{\lfloor p/2\rfloor }\), which is equal to 1 (resp. \(1\)) for \(p\equiv 1\) mod 4 (resp. \(p\equiv 3\) mod 4).

Suppose here that pN. Thus, E and \(E^{(d)}\) have multiplicative reduction at p. Take a minimal Weierstrass equationof E over \(\mathbb {Q}_p\), where \(f(x)\in \mathbb {Z}_p[x]\) is a monic polynomial of degree 3. Write \(\mathbb {F}_p\) as the union of the subsets$$\begin{aligned} y^2=f(x) \end{aligned}$$In particular, we have \(E(\mathbb {F}_p)=S_0+2S^++1\). Note that, for an elliptic curve X over \(\mathbb {Q}_p\) with bad reduction,$$\begin{aligned} S_0= & {} \{ x\in \mathbb {F}_p; f(x)=0 \} \\ S^+= & {} \left\{ x\in \mathbb {F}_p; \Big ( \frac{f(x)}{p} \Big )=1 \right\} \\ S^= & {} \left\{ x\in \mathbb {F}_p; \Big ( \frac{f(x)}{p} \Big )=1 \right\} .\\ \end{aligned}$$If \(\big ( \frac{d}{p} \big )=1\), then we have \(E^{(d)}(\mathbb {F}_p)=S_0+2S^++1=E(\mathbb {F}_p)\), and hence E has (non)split multiplicative reduction if and only if so does \(E^{(d)}\). If \(\big ( \frac{d}{p} \big )=1\), then we have \(E^{(d)}(\mathbb {F}_p)=S_0+2S^+1=2p+2E(\mathbb {F}_p)\), and hence E has split (resp. nonsplit) multiplicative reduction if and only if \(E^{(d)}\) has nonsplit (resp. split) multiplicative reduction. Summarizing these arguments and Theorem 2.8 (1), (2), we obtain \(w(E^{(d)}/\mathbb {Q}_p)=\big ( \frac{d}{p}\big )w(E/\mathbb {Q}_p)\) for every pN.$$\begin{aligned} p+1X(\mathbb {F}_p) = {\left\{ \begin{array}{ll} 0 &{} \text {if { X} has additive reduction}. \\ 1 &{} \text {if { X} has split multiplicative reduction}.\\ 1 &{}\text {if { X} has nonsplit multiplicative reduction}. \end{array}\right. } \end{aligned}$$

Also, \(w(E/\mathbb {R})=w(E^{(d)}/\mathbb {R})=1\) by Theorem 2.8 (1).

\((d_1,...,d_r, 3p)=1\),

\(d_i\equiv 1\) mod 4 for \(i=1,...,r\), and

\(\big ( \frac{d_i}{3p} \big )=1\) for \(i=1,...,r\).
Remark 2.10
After the author wrote up this paper, Bao Le Hung pointed out that there are infinitely many composite fields K of real quadratic fields such that any elliptic curve over K is modular. This can be shown by the iterate use of Theorem A in his thesis [5]. Unfortunately, such fields are not constructed in an explicit way. On the other hand, our result Theorem 1.4 gives explicit conditions on totally real fields over which any elliptic curve is modular, although it does not seem easy to show the existence of infinitely many fields satisfying the hypotheses of Theorem 1.4.
Declarations
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.
Acknowledgements
The author is especially grateful to his advisor Professor Takeshi Saito for a number of helpful suggestions to improve the arguments in this paper. He would like to thank Professor Ken Ono for informing the author of some references on the rank of quadratic twists. His thanks also go to Bao Le Hung and anonymous referees for helpful comments. This work was supported by the Program for Leading Graduate Schools, MEXT, Japan.
Authors’ Affiliations
References
 Breuil, C., Conrad, B., Diamond, F., Taylor, R.: On the modularity of elliptic curves over \(\mathbb{Q}\): wild 3adic exercises. J. Am. Math. Soc. 14, 843–939 (2001)MathSciNetView ArticleMATHGoogle Scholar
 Dokchitser, T., Dokchitser, V.: On the Birch–Swinnerton quotients modulo squares. Ann. Math. 172, 567–596 (2010)MathSciNetView ArticleMATHGoogle Scholar
 Freitas, N., Le Hung, B., Siksek, S.: Elliptic curves over real quadratic fields are modular. Invent. Math. 201, 159–206 (2015)MathSciNetView ArticleMATHGoogle Scholar
 Goldfeld, D.: Conjectures on elliptic curves over quadratic fields. Lecture Notes in Mathematics, vol. 751. Springer, Berlin (1979)Google Scholar
 Le Hung, B.: Modularity of some elliptic curves over totally real fields, http://arxiv.org/abs/1309.4134
 Serre, J.P.: Propriétés galoisienne des points d’ordre fini des courbes elliptiques. Invent. Math. 15, 259–331 (1971)View ArticleGoogle Scholar
 Skinner, C., Wiles, A.: Nearly ordinary deformations of irreducible residual representations. Annales de la Faculte des sciences de Toulouse: Mathematiques 10(1), 185–215 (2001)MathSciNetView ArticleMATHGoogle Scholar
 Taylor, R., Wiles, A.: Ringtheoretic properties of certain Hecke algebras. Ann. Math. 141(3), 553–572 (1995)MathSciNetView ArticleMATHGoogle Scholar
 Thorne, J.: Automorphy of some residually dihedral Galois representations, PreprintGoogle Scholar
 Thorne, J.: Elliptic curves over $$\mathbb{Q}_\infty $$ Q ∞ are modular, PreprintGoogle Scholar
 Wiles, A.: Modular elliptic curves and Fermat’s last theorem. Ann. Math. 141(3), 443–551 (1995)MathSciNetView ArticleMATHGoogle Scholar
 Yoshikawa, S.: On the modularity of elliptic curves with a residually irreducible representation, https://arxiv.org/abs/1606.06597