Showing 1–14 of 14 results for author: Billerey, N

On Darmon's program for the Generalized Fermat equation, II

Authors: Nicolas Billerey, Imin Chen, Luis Dielefait, Nuno Freitas

Abstract: We obtain additional Diophantine applications of the methods surrounding Darmon's program for the generalized Fermat equation developed in the first part of this series of papers. As a first application, we use a multi-Frey approach combining two Frey elliptic curves over totally real fields, a Frey hyperelliptic curve over $\mathbb{Q}$ due to Kraus, and ideas from the Darmon program to give a com… ▽ More We obtain additional Diophantine applications of the methods surrounding Darmon's program for the generalized Fermat equation developed in the first part of this series of papers. As a first application, we use a multi-Frey approach combining two Frey elliptic curves over totally real fields, a Frey hyperelliptic curve over $\mathbb{Q}$ due to Kraus, and ideas from the Darmon program to give a complete resolution of the generalized Fermat equation $$x^7 + y^7 = 3 z^n$$ for all integers $n \ge 2$. Moreover, we explain how the use of higher dimensional Frey abelian varieties allows a more efficient proof of this result due to additional structures that they afford, compared to using only Frey elliptic curves. As a second application, we use some of these additional structures that Frey abelian varieties possess to show that a full resolution of the generalized Fermat equation $x^7 + y^7 = z^n$ depends only on the Cartan case of Darmon's big image conjecture. In the process, we solve the previous equation for solutions $(a,b,c)$ such that $a$ and $b$ satisfy certain $2$ or $7$-adic conditions and all $n \ge 2$. △ Less

Submitted 23 January, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 23 pages. Several details added, in particular to Sections 6 and 7

Report number: MPIM-Bonn-2024 MSC Class: 11D41

On Darmon's program for the generalized Fermat equation, I

Authors: Nicolas Billerey, Imin Chen, Luis Dieulefait, Nuno Freitas

Abstract: In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\mathrm{GL}_2$-type over totally real fields. The original approach was based on hard open conjectures, which have made it difficult to apply in practice. In this paper, building on the progress surrounding the modular method from the last two decades, we analyze and expand the cu… ▽ More In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\mathrm{GL}_2$-type over totally real fields. The original approach was based on hard open conjectures, which have made it difficult to apply in practice. In this paper, building on the progress surrounding the modular method from the last two decades, we analyze and expand the current limits of this program by developing all the necessary ingredients to use Frey abelian varieties for new Diophantine applications. In particular, we deal with all but the fifth and last step in the modular method for Fermat equations of signature $(r,r,p)$ in almost full generality. As an application, for all integers $n \geq 2$, we give a resolution of the generalized Fermat equation $x^{11} + y^{11} = z^n$ for solutions $(a,b,c)$ such that $a + b$ satisfies certain $2$- or $11$-adic conditions. Moreover, the tools developed can be viewed as an advance in addressing a difficulty not treated in Darmon's original program: even assuming `big image' conjectures about residual Galois representations, one still needs to find a method to eliminate Hilbert newforms at the Serre level which do not have complex multiplication. In fact, we are able to reduce the problem of solving $x^5 + y^5 = z^p$ to Darmon's `big image conjecture', thus completing a line of ideas suggested in his original program, and notably only needing the Cartan case of his conjecture. △ Less

Submitted 16 April, 2025; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: This paper is the first part of a series of works about Darmon's program. This manuscript is not intended for publication. A shorter version of this work has been published in Crelle. The citations to 'On Darmon's program for the generalized Fermat equation, I' in the second part of this series (arXiv:2308.07062) follow the numbering of this document and not of the shorter published version

Report number: MPIM-Bonn-2024 MSC Class: 11D41

Some extensions of the modular method and Fermat equations of signature $(13,13,n)$

Authors: Nicolas Billerey, Iimin Chen, Lassina Dembele, Luis Dieulefait, Nuno Freitas

Abstract: We provide several extensions of the modular method which were motivated by the problem of completing previous work to prove that, for any integer $n \geq 2$, the equation \[ x^{13} + y^{13} = 3 z^n \] has no non-trivial solutions. In particular, we present four elimination techniques which are based on: (1) establishing reducibility of certain residual Galois representations over a totally real f… ▽ More We provide several extensions of the modular method which were motivated by the problem of completing previous work to prove that, for any integer $n \geq 2$, the equation \[ x^{13} + y^{13} = 3 z^n \] has no non-trivial solutions. In particular, we present four elimination techniques which are based on: (1) establishing reducibility of certain residual Galois representations over a totally real field; (2) generalizing image of inertia arguments to the setting of abelian surfaces; (3) establishing congruences of Hilbert modular forms without the use of often impractical Sturm bounds; and (4) a unit sieve argument which combines information from classical descent and the modular method. The extensions are of broader applicability and provide further evidence that it is possible to obtain a complete resolution of a family of generalized Fermat equations by remaining within the framework of the modular method. As a further illustration of this, we complete a theorem of Anni-Siksek to show that, for $\ell, m\ge 5$, the only solutions to the equation $x^{2\ell} + y^{2m} = z^{13}$ are the trivial ones. △ Less

Submitted 9 March, 2022; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: Several modifications after the referees' comments. To appear in Publicacions Matemàtiques

MSC Class: 11D41; 11G10; 11F80

A multi-Frey approach to Fermat equations of signature $(r,r,p)$

Authors: Nicolas Billerey, Imin Chen, Luis Dieulefait, Nuno Freitas

Abstract: In this paper, we give a resolution of the generalized Fermat equations $$x^5 + y^5 = 3 z^n \text{ and } x^{13} + y^{13} = 3 z^n,$$ for all integers $n \ge 2$, and all integers $n \ge 2$ which are not a multiple of $7$, respectively, using the modular method with Frey elliptic curves over totally real fields. The results require a refined application of the multi-Frey technique, which we show to b… ▽ More In this paper, we give a resolution of the generalized Fermat equations $$x^5 + y^5 = 3 z^n \text{ and } x^{13} + y^{13} = 3 z^n,$$ for all integers $n \ge 2$, and all integers $n \ge 2$ which are not a multiple of $7$, respectively, using the modular method with Frey elliptic curves over totally real fields. The results require a refined application of the multi-Frey technique, which we show to be effective in new ways to reduce the bounds on the exponents $n$. We also give a number of results for the equations $x^5 + y^5 = d z^n$, where $d = 1, 2$, under additional local conditions on the solutions. This includes a result which is reminiscent of the second case of Fermat's Last Theorem, and which uses a new application of level raising at $p$ modulo $p$. △ Less

Submitted 7 July, 2024; v1 submitted 19 March, 2017; originally announced March 2017.

Comments: Post-publication revised version. No modifications in the numbering compared to the published version (Trans. Amer. Math. Soc. 371 (2019), no. 12, 8651--8677). Fixed some typos. Expanded proofs of Proposition 6, Theorem 7, and Lemma 10. Updated bibliography. Fixed some mistake (coming from the code) in the proof of Theorem 2

MSC Class: 11D41; 11F80; 11G05

Journal ref: Trans. Amer. Math. Soc. 371 (2019), no. 12, 8651--8677

Représentations galoisiennes diédrales et formes à multiplication complexe

Authors: Nicolas Billerey, Filippo A. E. Nuccio

Abstract: Pour une représentation galoisienne diédrale en caractéristique l on établit (sous certaines hypothèses) l'existence d'une newform à multiplication complexe, dont on contrôle le poids, le niveau et le caractère, telle que la représentation l-adique associée est congrue modulo l à celle de départ. Given a dihedral Galois representation in characteristic l, we establish (under some assumption) the… ▽ More Pour une représentation galoisienne diédrale en caractéristique l on établit (sous certaines hypothèses) l'existence d'une newform à multiplication complexe, dont on contrôle le poids, le niveau et le caractère, telle que la représentation l-adique associée est congrue modulo l à celle de départ. Given a dihedral Galois representation in characteristic l, we establish (under some assumption) the existence of a CM newform, whose weight, level and Nebentypus we pin down, such that its l-adic representation is congruent modulo l to the one we started with. △ Less

Submitted 7 February, 2019; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: in French. The two auxiliary files contain the PARI-gp programs used for the computations explained in Section 4. The published version has minor typographical differences with this submission

MSC Class: 11F80; 11R37

Journal ref: Journal de théorie des nombres de Bordeaux, 30 no. 2 (2018), p. 651-670

On some remarkable congruences between two elliptic curves

Authors: Nicolas Billerey

Abstract: We exhibit two non-isogenous rational elliptic curves with $17$-torsion subgroups isomorphic as Galois modules. We exhibit two non-isogenous rational elliptic curves with $17$-torsion subgroups isomorphic as Galois modules. △ Less

Submitted 31 May, 2016; v1 submitted 17 May, 2016; originally announced May 2016.

Comments: Statement of the conjecture corrected

A result on the equation $x^p + y^p = z^r$ using Frey abelian varieties

Authors: Nicolas Billerey, Imin Chen, Luis Dieulefait, Nuno Freitas

Abstract: We prove a diophantine result on generalized Fermat equations of the form $x^p + y^p = z^r$ which for the first time requires the use of Frey abelian varieties of dimension $\geq 2$ in Darmon's program. For that, we provide an irreducibility criterion for the mod $\mathfrak{p}$ representations attached to certain abelian varieties of $\text{GL}_2$-type over totally real fields. We prove a diophantine result on generalized Fermat equations of the form $x^p + y^p = z^r$ which for the first time requires the use of Frey abelian varieties of dimension $\geq 2$ in Darmon's program. For that, we provide an irreducibility criterion for the mod $\mathfrak{p}$ representations attached to certain abelian varieties of $\text{GL}_2$-type over totally real fields. △ Less

Submitted 7 May, 2016; originally announced May 2016.

Strong modularity of reducible Galois representations

Authors: Nicolas Billerey, Ricardo Menares

Abstract: In this paper, we call strongly modular those reducible semi-simple odd mod $l$ Galois representations for which the conclusion of the strongest form of Serre's original modularity conjecture holds. Under the assumption that the Serre weight $k$ satisfies $l\textgreater{}k+1$, we give a precise characterization of strongly modular representations, hence generalizing a classical theorem of Ribet pe… ▽ More In this paper, we call strongly modular those reducible semi-simple odd mod $l$ Galois representations for which the conclusion of the strongest form of Serre's original modularity conjecture holds. Under the assumption that the Serre weight $k$ satisfies $l\textgreater{}k+1$, we give a precise characterization of strongly modular representations, hence generalizing a classical theorem of Ribet pertaining to the case of conductor $1$.When the representation $ρ$ is not strongly modular, we give a necessary and sufficient condition on the primes $p$ not dividing $Nl$ for which it arises in level $Np$, where $N$ denotes the conductor of $ρ$. This generalizes a result of Mazur on the case $(N,k)=(1,2)$. △ Less

Submitted 25 May, 2016; v1 submitted 5 April, 2016; originally announced April 2016.

Comments: Revised version. To appear in Trans. Amer. Math. Soc

Sums of two ${s}$-units via frey-hellegouarch curves

Authors: Michael Bennett, Nicolas Billerey

Abstract: In this paper, we develop a new method for finding all perfect powers which can be expressed as the sum of two rational S-units, where S is a finite set of primes. Our approach is based upon the modularity of Galois representations and, for the most part, does not require lower bounds for linear forms in logarithms. Its main virtue is that it enables to carry out such a program explicitly, at leas… ▽ More In this paper, we develop a new method for finding all perfect powers which can be expressed as the sum of two rational S-units, where S is a finite set of primes. Our approach is based upon the modularity of Galois representations and, for the most part, does not require lower bounds for linear forms in logarithms. Its main virtue is that it enables to carry out such a program explicitly, at least for certain small sets of primes S; we do so for S = {2, 3} and S = {3, 5, 7}. △ Less

Submitted 24 May, 2016; v1 submitted 25 March, 2016; originally announced March 2016.

Comments: Missing solution in Prop. 5.4 added. To appear in Mathematics of Computation

On the modularity of reducible mod l Galois representations

Authors: Nicolas Billerey, Ricardo Menares

Abstract: We prove that every odd semisimple reducible (2-dimensional) mod l Galois representation arises from a cuspidal eigenform. In addition, we investigate the possible different types (level, weight, character) of such a modular form. When the representation is the direct sum of the trivial character and a power of the mod l cyclotomic character, we are able to characterize the primes that can arise a… ▽ More We prove that every odd semisimple reducible (2-dimensional) mod l Galois representation arises from a cuspidal eigenform. In addition, we investigate the possible different types (level, weight, character) of such a modular form. When the representation is the direct sum of the trivial character and a power of the mod l cyclotomic character, we are able to characterize the primes that can arise as levels of the associated newforms. As an application, we determine a new explicit lower bound for the highest degree among the fields of coefficients of newforms of trivial Nebentypus and prime level. The bound is valid in a subset of the primes with natural (lower) density at least one half. △ Less

Submitted 1 April, 2016; v1 submitted 14 September, 2013; originally announced September 2013.

Comments: Minor modifications. Accepted for publication in Mathematical Research Letters

MSC Class: 11F80; 11F33 (Primary); 11N25 (Secondary)

Journal ref: Mathematical Research Letters, 23, 1, 15-41, 2016

Explicit Large Image Theorems for Modular Forms

Authors: Nicolas Billerey, Luis V. Dieulefait

Abstract: Let $k$ and $N$ be positive integers with $k\ge2$ even. In this paper we give general explicit upper-bounds in terms of $k$ and $N$ from which all the residual representations $\barρ_{f,λ}$ attached to non-CM newforms of weight $k$ and level $Γ_0(N)$ with $λ$ of residue characteristic greater than these bounds are "as large as possible". The results split into different cases according to the poss… ▽ More Let $k$ and $N$ be positive integers with $k\ge2$ even. In this paper we give general explicit upper-bounds in terms of $k$ and $N$ from which all the residual representations $\barρ_{f,λ}$ attached to non-CM newforms of weight $k$ and level $Γ_0(N)$ with $λ$ of residue characteristic greater than these bounds are "as large as possible". The results split into different cases according to the possible types for the residual images and each of them is illustrated on some numerical examples. △ Less

Submitted 19 October, 2012; originally announced October 2012.

MSC Class: 11F80; 11F33

Fermat Curves and Brauer-Manin Obstructions

Authors: Nicolas Billerey

Abstract: Major mistake. The paper has been withdrawn. Major mistake. The paper has been withdrawn. △ Less

Submitted 3 October, 2010; v1 submitted 23 September, 2010; originally announced September 2010.

Comments: Major mistake. The paper has been withdrawn

Critères d'irréductibilité pour les représentations des courbes elliptiques

Authors: Nicolas Billerey

Abstract: Let $E$ be an elliptic curve defined over a number field $K$. We say that a prime number $p$ is exceptional for $(E,K)$ if $E$ admits a $p$-isogeny defined over $K$. The so-called exceptional set of all such prime numbers is finite if and only if $E$ does not have complex multiplication over K. In this paper, we prove that the exceptional set is included in the set of prime divisors of an explicit… ▽ More Let $E$ be an elliptic curve defined over a number field $K$. We say that a prime number $p$ is exceptional for $(E,K)$ if $E$ admits a $p$-isogeny defined over $K$. The so-called exceptional set of all such prime numbers is finite if and only if $E$ does not have complex multiplication over K. In this paper, we prove that the exceptional set is included in the set of prime divisors of an explicit list of integers (depending on $E$ and $K$), whose infinitely many of them are non-zero. It provides an efficient algorithm for computing it in the finite case. Other less general but rather useful criteria are given, as well as several numerical examples. △ Less

Submitted 27 April, 2010; v1 submitted 7 August, 2009; originally announced August 2009.

Comments: 33 pages; french; v3: shortened and improved version. Paper slightly reorganized; new result (thm. 2) added.

MSC Class: 14H52; 11R37; 11F80

Solving Fermat-type equations x^5+y^5=dz^p

Authors: Nicolas Billerey, Luis Dieulefait

Abstract: In this paper we are interested in solving the Fermat-type equations x^5+y^5=dz^p where d is a positive integer and p a prime number $\ge 7$. We describe a new method based on modularity theorems which allows us to improve all the results in a previous paper of the first author. We finally discuss the present limitations of the method by looking at the case d=3. In this paper we are interested in solving the Fermat-type equations x^5+y^5=dz^p where d is a positive integer and p a prime number $\ge 7$. We describe a new method based on modularity theorems which allows us to improve all the results in a previous paper of the first author. We finally discuss the present limitations of the method by looking at the case d=3. △ Less

Submitted 11 June, 2008; v1 submitted 8 February, 2008; originally announced February 2008.

Comments: major revision: mistakes corrected, several new cases covered