Showing 1–9 of 9 results for author: Michaud-Jacobs, P

Quadratic points on $X_0(163)$

Authors: Philippe Michaud-Jacobs, Filip Najman

Abstract: We determine all the quadratic points on the genus $13$ modular curve $X_0(163)$, thus completing the answer to a recent question of Banwait, the second-named author, and Padurariu. In doing so, we investigate a curious phenomenon involving a cubic point with complex multiplication on the curve $X_0(163)$. This cubic point prevents us, due to computational restraints, from directly applying the st… ▽ More We determine all the quadratic points on the genus $13$ modular curve $X_0(163)$, thus completing the answer to a recent question of Banwait, the second-named author, and Padurariu. In doing so, we investigate a curious phenomenon involving a cubic point with complex multiplication on the curve $X_0(163)$. This cubic point prevents us, due to computational restraints, from directly applying the state-of-the-art Atkin--Lehner sieve for computing quadratic points on modular curves $X_0(N)$. To overcome this issue, we introduce a technique which allows us to work with the Jacobian of curves modulo primes by directly computing linear equivalence relations between divisors. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 9 pages

Computing quadratic points on modular curves $X_0(N)$

Authors: Nikola Adžaga, Timo Keller, Philippe Michaud-Jacobs, Filip Najman, Ekin Ozman, Borna Vukorepa

Abstract: In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all modular curves $X_0(N)$ of genus up to $8$, and genus up to $10$ with $N$ prime, for which they were previously unknown. The values of $N$ we consider are contained in the set \[ \mathcal{L}=\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 1… ▽ More In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all modular curves $X_0(N)$ of genus up to $8$, and genus up to $10$ with $N$ prime, for which they were previously unknown. The values of $N$ we consider are contained in the set \[ \mathcal{L}=\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 109, 113, 121, 127 \}.\] We obtain that all the non-cuspidal quadratic points on $X_0(N)$ for $N\in \mathcal{L}$ are CM points, except for one pair of Galois conjugate points on $X_0(103)$ defined over $\mathbb{Q}(\sqrt{2885})$. We also compute the $j$-invariants of the elliptic curves parametrised by these points, and for the CM points determine their geometric endomorphism rings. △ Less

Submitted 25 August, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: Minor corrections, to appear in Mathematics of Computation. (25 pages, 16 tables)

MSC Class: 11G05 (Primary); 14G05; 11G18 (Secondary)

Computing points on bielliptic modular curves over fixed quadratic fields

Authors: Philippe Michaud-Jacobs

Abstract: We present a Mordell-Weil sieve that can be used to compute points on certain bielliptic modular curves $X_0(N)$ over fixed quadratic fields. We study $X_0(N)(\mathbb{Q}(\sqrt{d}))$ for $N \in \{ 53,61,65,79,83,89,101,131 \}$ and $\lvert d \rvert < 100$. We present a Mordell-Weil sieve that can be used to compute points on certain bielliptic modular curves $X_0(N)$ over fixed quadratic fields. We study $X_0(N)(\mathbb{Q}(\sqrt{d}))$ for $N \in \{ 53,61,65,79,83,89,101,131 \}$ and $\lvert d \rvert < 100$. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 8 pages

MSC Class: 11G18; 11G05; 14G05

Mazur's isogeny theorem

Authors: Philippe Michaud-Jacobs

Abstract: Mazur's isogeny theorem states that if $p$ is a prime for which there exists an elliptic curve $E / \mathbb{Q}$ that admits a rational isogeny of degree $p$, then $p \in \{2,3,5,7,11,13,17,19,37,43,67,163 \}$. This result is one of the cornerstones of the theory of elliptic curves and plays a crucial role in the proof of Fermat's Last Theorem. In this expository paper, we overview Mazur's proof of… ▽ More Mazur's isogeny theorem states that if $p$ is a prime for which there exists an elliptic curve $E / \mathbb{Q}$ that admits a rational isogeny of degree $p$, then $p \in \{2,3,5,7,11,13,17,19,37,43,67,163 \}$. This result is one of the cornerstones of the theory of elliptic curves and plays a crucial role in the proof of Fermat's Last Theorem. In this expository paper, we overview Mazur's proof of this theorem, in which modular curves and Galois representations feature prominently. △ Less

Submitted 30 May, 2023; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: Minor changes addressing referee suggestions. To appear in Proceedings of The Year-Long Program on Triangle Groups, Belyi Uniformization, and Modularity: IInd Trimester Proceedings, Bhaskaracharya Pratishthana, Pune, India (https://sites.google.com/view/bms2021/proceedings)

MSC Class: 11F80; 11G05; 11G18; 11-02

On elliptic curves with $p$-isogenies over quadratic fields

Authors: Philippe Michaud-Jacobs

Abstract: Let $K$ be a number field. For which primes $p$ does there exist an elliptic curve $E / K$ admitting a $K$-rational $p$-isogeny? Although we have an answer to this question over the rationals, extending this to other number fields is a fundamental open problem in number theory. In this paper, we study this question in the case that $K$ is a quadratic field, subject to the assumption that $E$ is se… ▽ More Let $K$ be a number field. For which primes $p$ does there exist an elliptic curve $E / K$ admitting a $K$-rational $p$-isogeny? Although we have an answer to this question over the rationals, extending this to other number fields is a fundamental open problem in number theory. In this paper, we study this question in the case that $K$ is a quadratic field, subject to the assumption that $E$ is semistable at the primes of $K$ above $p$. We prove results both for families of quadratic fields and for specific quadratic fields. △ Less

Submitted 1 June, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: Results are unchanged. The exposition has been made clearer. To appear in Canadian Journal of Mathematics

MSC Class: 11F80; 11G05; 11G18

Journal ref: Canadian Journal of Mathematics 75 (2023), no. 3, 945-964

$\mathbb{Q}$-curves and the Lebesgue-Nagell equation

Authors: Michael A. Bennett, Philippe Michaud-Jacobs, Samir Siksek

Abstract: In this paper, we consider the equation \[ x^2 - q^{2k+1} = y^n, \qquad q \nmid x, \quad 2 \mid y, \] for integers $x,q,k,y$ and $n$, with $k \geq 0$ and $n \geq 3$. We extend work of the first and third-named authors by finding all solutions in the cases $q= 41$ and $q = 97$. We do this by constructing a Frey-Hellegouarch $\mathbb{Q}$-curve defined over the real quadratic field… ▽ More In this paper, we consider the equation \[ x^2 - q^{2k+1} = y^n, \qquad q \nmid x, \quad 2 \mid y, \] for integers $x,q,k,y$ and $n$, with $k \geq 0$ and $n \geq 3$. We extend work of the first and third-named authors by finding all solutions in the cases $q= 41$ and $q = 97$. We do this by constructing a Frey-Hellegouarch $\mathbb{Q}$-curve defined over the real quadratic field $K=\mathbb{Q}(\sqrt{q})$, and using the modular method with multi-Frey techniques. △ Less

Submitted 5 October, 2022; v1 submitted 18 February, 2022; originally announced February 2022.

Comments: Minor revisions, to appear in Journal de Théorie des Nombres de Bordeaux

MSC Class: 11D41; 11D61; 11F80; 11G05

Journal ref: Journal de Théorie des Nombres de Bordeaux 35 (2023), no. 2, 495-510

On power values of pyramidal numbers, II

Authors: Andrej Dujella, Kálmán Győry, Philippe Michaud-Jacobs, Ákos Pintér

Abstract: For $m \geq 3$, we define the $m$th order pyramidal number by \[ \mathrm{Pyr}_m(x) = \frac{1}{6} x(x+1)((m-2)x+5-m). \] In a previous paper, written by the first-, second-, and fourth-named authors, all solutions to the equation $\mathrm{Pyr}_m(x) = y^2$ are found in positive integers $x$ and $y$, for $6 \leq m \leq 100$. In this paper, we consider the question of higher powers, and find all solut… ▽ More For $m \geq 3$, we define the $m$th order pyramidal number by \[ \mathrm{Pyr}_m(x) = \frac{1}{6} x(x+1)((m-2)x+5-m). \] In a previous paper, written by the first-, second-, and fourth-named authors, all solutions to the equation $\mathrm{Pyr}_m(x) = y^2$ are found in positive integers $x$ and $y$, for $6 \leq m \leq 100$. In this paper, we consider the question of higher powers, and find all solutions to the equation $\mathrm{Pyr}_m(x) = y^n$ in positive integers $x$, $y$, and $n$, with $n \geq 3$, and $5 \leq m \leq 50$. We reduce the problem to a study of systems of binomial Thue equations, and use a combination of local arguments, the modular method via Frey curves, and bounds arising from linear forms in logarithms to solve the problem. △ Less

Submitted 27 July, 2023; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: Minor corrections, to appear in Acta Arithmetica

MSC Class: 11D41; 11D59; 11D61; 14G99

Journal ref: Acta Arithmetica 208 (2023) no.3, 199-213

On some Generalized Fermat Equations of the form $x^2+y^{2n} = z^p$

Authors: Philippe Michaud-Jacobs

Abstract: The primary aim of this paper is to study the generalized Fermat equation \[ x^2+y^{2n} = z^{3p} \] in coprime integers $x$, $y$, and $z$, where $n \geq 2$ and $p$ is a fixed prime. Using modularity results over totally real fields and the explicit computation of Hilbert cuspidal eigenforms, we provide a complete resolution of this equation in the case $p=7$, and obtain an asymptotic result for fi… ▽ More The primary aim of this paper is to study the generalized Fermat equation \[ x^2+y^{2n} = z^{3p} \] in coprime integers $x$, $y$, and $z$, where $n \geq 2$ and $p$ is a fixed prime. Using modularity results over totally real fields and the explicit computation of Hilbert cuspidal eigenforms, we provide a complete resolution of this equation in the case $p=7$, and obtain an asymptotic result for fixed $p$. Additionally, using similar techniques, we solve a second equation, namely $x^{2\ell}+y^{2m} = z^{17}$, for primes $\ell,m \ne 5$. △ Less

Submitted 26 December, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: To appear in Mathematika. Correction to the proof of Lemma 7.2 and other minor revisions

MSC Class: 11D41; 11F80; 11G05; 11F41

Journal ref: Mathematika 68 (2022), no.2, 344-361

Fermat's Last Theorem and modular curves over real quadratic fields

Authors: Philippe Michaud-Jacobs

Abstract: In this paper we study the Fermat equation $x^n+y^n=z^n$ over quadratic fields $\mathbb{Q}(\sqrt{d})$ for squarefree $d$ with $26 \leq d \leq 97$. By studying quadratic points on the modular curves $X_0(N)$, $d$-regular primes, and working with Hecke operators on spaces of Hilbert newforms, we extend work of Freitas and Siksek to show that for most squarefree $d$ in this range there are no non-tri… ▽ More In this paper we study the Fermat equation $x^n+y^n=z^n$ over quadratic fields $\mathbb{Q}(\sqrt{d})$ for squarefree $d$ with $26 \leq d \leq 97$. By studying quadratic points on the modular curves $X_0(N)$, $d$-regular primes, and working with Hecke operators on spaces of Hilbert newforms, we extend work of Freitas and Siksek to show that for most squarefree $d$ in this range there are no non-trivial solutions to this equation for $n \geq 4$. △ Less

Submitted 17 October, 2022; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: Minor corrections for some computational errors

MSC Class: 11D41; 11F80; 11G18; 11G05; 14G05

Journal ref: Acta Arithmetica 203 (2022) no.4, 319-352