Base change for Elliptic Curves over Real Quadratic Fields
Let E be an elliptic curve over a real quadratic field K and F/K a totally real finite Galois extension. We prove that E/F is modular.
math.NT↗
arXiv subjects
Luis Dieulefait
Publications and source records attributed to Luis Dieulefait.
Connectedness of Hecke Algebras and the Rayuela conjecture: a path to functoriality and modularity
Let $ρ_1$ and $ρ_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of compatible systems of Galois representations linking $ρ_1$ to $ρ_2$. Such conjecture implies the generalized Serre's conjecture and is equivalent to Serre's conjecture under a modular version of it. We prove a weak version of the modular variant using the connectedness of certain Hecke algebras, and we comment on possible applications of these results to establish some cases of Langlands functoriality.
math.NT↗
Classification of subgroups of symplectic groups over finite fields containing a transvection
In this note we give a self-contained proof of the following classification (up to conjugation) of subgroups of the general symplectic group of dimension n over a finite field of characteristic l, for l at least 5, which can be derived from work of Kantor: G is either reducible, symplectically imprimitive or it contains Sp(n, l). This result is for instance useful for proving "big image" results for symplectic Galois representations.
math.NT↗
Compatible systems of symplectic Galois representations and the inverse Galois problem II. Transvections and huge image
This article is the second part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. This part is concerned with symplectic Galois representations having a huge residual image, by which we mean that a symplectic group of full dimension over the prime field is contained up to conjugation. A key ingredient is a classification of symplectic representations whose image contains a nontrivial transvection: these fall into three very simply describable classes, the reducible ones, the induced ones and those with huge image. Using the idea of an (n,p)-group of Khare, Larsen and Savin we give simple conditions under which a symplectic Galois representation with coefficients in a finite field has a huge image. Finally, we combine this classification result with the main result of the first part to obtain a strenghtened application to the inverse Galois problem.
math.NT↗
Compatible systems of symplectic Galois representations and the inverse Galois problem I. Images of projective representations
This article is the first part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. In this first part, we determine the smallest field over which the projectivisation of a given symplectic group representation satisfying some natural conditions can be defined. The answer only depends on inner twists. We apply this to the residual representations of a compatible system of symplectic Galois representations satisfying some mild hypothesis and obtain precise information on their projective images for almost all members of the system, under the assumption of huge residual images, by which we mean that a symplectic group of full dimension over the prime field is contained up to conjugation. Finally, we obtain an application to the inverse Galois problem.
math.NT↗
Compatible systems of symplectic Galois representations and the inverse Galois problem III. Automorphic construction of compatible systems with suitable local properties
This article is the third and last part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. This part proves the following new result for the inverse Galois problem for symplectic groups. For any even positive integer n and any positive integer d, PSp_n(F_{l^d}) or PGSp_n(F_{l^d}) occurs as a Galois group over the rational numbers for a positive density set of primes l. The result is obtained by showing the existence of a regular, algebraic, self-dual, cuspidal automorphic representation of GL_n(A_Q) with local types chosen so as to obtain a compatible system of Galois representations to which the results from Part II of this series apply.
math.NT↗
Modularity of the Consani-Scholten quintic
We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.
math.NT↗
Automorphy lifting for small l
We prove a slight generalization of Theorem 4.2.1 of [BLGGT10], which weakens the assumption that $l\ge 2(n+1)$ to an adequacy hypothesis.
math.NT↗
Fermat-type equations of signature (13,13,p) via Hilbert cuspforms
In this paper we prove that equations of the form $x^{13} + y^{13} = Cz^{p}$ have no non-trivial primitive solutions (a,b,c) such that $13 \nmid c$ if $p > 4992539$ for an infinite family of values for $C$. Our method consists in relating a solution (a,b,c) to the previous equation to a solution (a,b,c_1) of another Diophantine equation with coefficients in $\Q(\sqrt{13})$. We then construct Frey-curves associated with (a,b,c_1) and we prove modularity of them in order to apply the modular approach via Hilbert cusp forms over $\Q(\sqrt{13})$. We also prove a modularity result for elliptic curves over totally real cyclic number fields of interest by itself.
math.NT↗
Modular forms with large coefficient fields via congruences
In this paper we apply results from the theory of congruences of modular forms (control of reducible primes, level-lowering), the modularity of elliptic curves and Q-curves, and a couple of Frey curves of Fermat-Goldbach type, to show the existence of newforms of weight 2 and trivial nebentypus with coefficient fields of arbitrarily large degree and square-free or almost square-free level. More precisely, we prove that for any given numbers t and B, there exists a newform f of weight 2 and trivial nebentypus whose level N is square-free (almost square-free), N has exactly t prime divisors (t odd prime divisors and a small power of 2 dividing it, respectively), and the degree of the field of coefficients of f is greater than B.
math.NT↗
Langlands Base Change for GL(2)
Let F be a totally real Galois number field. We prove the existence of base change relative to the extension F/Q for every classical newform of odd level, under simple local assumptions on the field F.
math.NT↗
On the classification of geometric families of 4-dimensional Galois representations
We give a classification theorem for certain four-dimensional families of geometric $λ$-adic Galois representations attached to a pure motive. More precisely, we consider families attached to the cohomology of a smooth projective variety defined over $\Q$ with coefficients in a quadratic imaginary field, non-selfdual and with four different Hodge-Tate weights. We prove that the image is as large as possible for almost every $λ$ provided that the family is irreducible and not induced from a family of smaller dimension. If we restrict to semistable families an even simpler classification is given. A version of the main result is given for the case where the family is attached to an automorphic form.
math.NT↗
Remarks on Serre's modularity conjecture
In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.
math.NT↗
The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves
We solve the Diophantine equations $x^5 + y^5 = dz^p$ with $d=2, 3$ for a set of prime numbers of density 1/4, 1/2, respectively. The method consists in relating a possible solution to another Diophantine equation and solving the later by using Q-curves and a generalized modular technique as in work of Ellenberg and Dieulefait-Jimenez along with some new techniques for eliminating newforms.
math.NT↗
On the modularity of rigid Calabi-Yau threefolds: Epilogue
In a recent preprint of F. Gouvea and N. Yui (see arXiv:0902.1466) a detailed account is given of a patching argument due to Serre that proves that the modularity of all rigid Calabi-Yau threefolds defined over the rationals follows from Serre's modularity conjecture. In this note (a letter to N. Yui) we give an alternative proof of this implication. The main difference with Serre's argument is that instead of using as main input residual modularity in infinitely many characteristics we just require residual modularity in a suitable characteristic. This is combined with effective Cebotarev.
math.NT↗
On fields of definition of torsion points of elliptic curves with complex multiplication
For any elliptic curve E defined over the rationals with complex multiplication and for every prime p, we describe the image of the mod p Galois representation attached to E. We deduce information about the field of definition of torsion points of these curves, in particular we classify all cases where there are torsion points over Galois number fields not containing the field of definition of the CM.
math.NT↗
On Modular Forms and the Inverse Galois Problem
In this article new cases of the Inverse Galois Problem are established. The main result is that for a fixed integer n, there is a positive density set of primes p such that PSL_2(F_{p^n}) occurs as the Galois group of some finite extension of the rational numbers. These groups are obtained as projective images of residual modular Galois representations. Moreover, families of modular forms are constructed such that the images of all their residual Galois representations are as large as a priori possible. Both results essentially use Khare's and Wintenberger's notion of good-dihedral primes. Particular care is taken in order to exclude nontrivial inner twists.
math.NT↗
Proving modularity for a given elliptic curve over an imaginary quadratic field
We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and Berger-Harcos (cf. \cite{harris-taylor}, \cite{taylorII} and \cite{berger-harcos}) we can associate to an automorphic representation a family of compatible $p$-adic representations. Our algorithm is based on Faltings-Serre's method to prove that $p$-adic Galois representations are isomorphic.
math.NT↗