Showing 1–13 of 13 results for author: Fourn, S L

Rational points on $X_0(N)^*$ when $N$ is non-squarefree

Authors: Sachi Hashimoto, Timo Keller, Samuel Le Fourn

Abstract: Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank… ▽ More Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank-zero quotients of certain modular Jacobians $J_0(pq)$. Furthermore, we provide a conjecturally complete classification of the rational points on $X_0(N)^*$ of genus $1 \leq g \leq 5$. In the process we identify exceptional rational points on $X_0(147)^*$ and $X_0(75)^*$ which were not known before. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 64 pages. Comments very welcome!

Variation of height in an isogeny class over a function field

Authors: Richard Griffon, Samuel Le Fourn, Fabien Pazuki

Abstract: We give optimal estimates on the variation of the differential and modular heights within an isogeny class of abelian varieties defined over the function field of a curve (in any characteristic). We also prove a parallelogram inequality for abelian varieties in this context, and deduce corollaries of these results. We give optimal estimates on the variation of the differential and modular heights within an isogeny class of abelian varieties defined over the function field of a curve (in any characteristic). We also prove a parallelogram inequality for abelian varieties in this context, and deduce corollaries of these results. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: 30 pages. Comments are very welcome !

MSC Class: 11G10; 11G50; 14G17; 14G25; 14G40; 14K02; 14K15

Explicit height estimates for CM curves of genus 2

Authors: Linda Frey, Samuel Le Fourn, Elisa Lorenzo García

Abstract: In this paper we make explicit the constants of Habegger and Pazuki's work from 2017 on bounding the discriminant of cyclic Galois CM fields corresponding to genus 2 curves with CM by them and potentially good reduction outside a predefined set of primes. We also simplify some of the arguments. In this paper we make explicit the constants of Habegger and Pazuki's work from 2017 on bounding the discriminant of cyclic Galois CM fields corresponding to genus 2 curves with CM by them and potentially good reduction outside a predefined set of primes. We also simplify some of the arguments. △ Less

Submitted 22 November, 2023; originally announced November 2023.

MSC Class: 11G15; 11G30; 14G50; 11L07; 11R29; 11R42; 11Y40;

Torsion bounds for a fixed abelian variety and varying number field

Authors: Samuel Le Fourn, Davide Lombardo, David Zywina

Abstract: Let $A$ be an abelian variety defined over a number field $K$. For a finite extension $L/K$, the cardinality of the group $A(L)_{\operatorname{tors}}$ of torsion points in $A(L)$ can be bounded in terms of the degree $[L:K]$. We study the smallest real number $β_A$ such that for any finite extension $L/K$ and $\varepsilon>0$, we have… ▽ More Let $A$ be an abelian variety defined over a number field $K$. For a finite extension $L/K$, the cardinality of the group $A(L)_{\operatorname{tors}}$ of torsion points in $A(L)$ can be bounded in terms of the degree $[L:K]$. We study the smallest real number $β_A$ such that for any finite extension $L/K$ and $\varepsilon>0$, we have $|A(L)_{\operatorname{tors}}| \leq C \cdot [L:K]^{β_A+\varepsilon}$, where the constant $C$ depends only on $A$ and $\varepsilon$ (and not $L$). Assuming the Mumford--Tate conjecture for $A$, we will show that $β_A$ agrees with the conjectured value of Hindry and Ratazzi. We also give a similar bound for the maximal order of a torsion point in $A(L)$. △ Less

Submitted 9 July, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 42 pages, comments very welcome! New in v2: we now prove a lower bound on the degrees [K(P): K] of the extensions generated by a single torsion point. We also compare our bounds with a result of Masser

MSC Class: 11G10; 14K15

Bounding integral points on the Siegel modular variety A_2(2)

Authors: Josha Box, Samuel le Fourn

Abstract: We determine two explicit upper bounds for the stable Faltings height of principally polarised abelian surfaces over number fields corresponding to S-integral points on the Siegel modular variety A_2(2). One upper bound, using Runge's method, is uniform in S as long as |S|<3; the other, using Baker's method, is not uniform but allows |S|<10. Our application of a higher-dimensional Baker's method i… ▽ More We determine two explicit upper bounds for the stable Faltings height of principally polarised abelian surfaces over number fields corresponding to S-integral points on the Siegel modular variety A_2(2). One upper bound, using Runge's method, is uniform in S as long as |S|<3; the other, using Baker's method, is not uniform but allows |S|<10. Our application of a higher-dimensional Baker's method is completely explicit and improves upon the general case due to Levin. △ Less

Submitted 5 March, 2021; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: See https://github.com/joshabox/IntegralpointsonA22 for the complementary Magma code

MSC Class: 14G05; 14K10

Residual Galois representations of elliptic curves with image contained in the normaliser of a non-split Cartan

Authors: Samuel Le Fourn, Pedro Lemos

Abstract: It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $$ \barρ_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}(E[p]) $$ of $E$ is either the whole of $\operatorname{GL}(E[p])$, or is \emph{contained} in the normaliser of a non-split Cartan sub… ▽ More It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $$ \barρ_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}(E[p]) $$ of $E$ is either the whole of $\operatorname{GL}(E[p])$, or is \emph{contained} in the normaliser of a non-split Cartan subgroup of $\operatorname{GL}(E[p])$. In this paper, we show that when $p>1.4\times 10^7$, the image of $\barρ_{E,p}$ is either $\operatorname{GL}(E[p])$, or the \emph{full} normaliser of a non-split Cartan subgroup. We use this to show the following result, partially settling a question of Najman. For $d\geq 1$, let $I(d)$ denote the set of primes $p$ for which there exists an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication admitting a degree $p$ isogeny defined over a number field of degree $\leq d$. We show that, for $d\geq 1.4\times 10^7$, we have $$ I(d)=\{p\text{ prime}:p\leq d-1\}. $$ △ Less

Submitted 12 October, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: Version accepted for publication in Algebra & Number Theory

Journal ref: Alg. Number Th. 15 (2021) 747-771

Quadratic Chabauty for modular curves and modular forms of rank one

Authors: Netan Dogra, Samuel Le Fourn

Abstract: In this paper, we provide refined sufficient conditions for the quadratic Chabauty method to produce a finite set of points, with the conditions on the rank of the Jacobian replaced by conditions on the rank of a quotient of the Jacobian plus an associated space of Chow-Heegner points. We then apply this condition to prove the finiteness of this set for any modular curves $X_{\mathrm{ns} }^+ (N)$… ▽ More In this paper, we provide refined sufficient conditions for the quadratic Chabauty method to produce a finite set of points, with the conditions on the rank of the Jacobian replaced by conditions on the rank of a quotient of the Jacobian plus an associated space of Chow-Heegner points. We then apply this condition to prove the finiteness of this set for any modular curves $X_{\mathrm{ns} }^+ (N)$ and $X_0 ^+ (N)$ of genus at least 2 with N prime. The proof relies on the existence of a quotient of their Jacobians whose Mordell-Weil rank is equal to its dimension (and at least 2), which is proven via analytic estimates for orders of vanishing of L-functions of modular forms, thanks to a Kolyvagin-Logachev type result. △ Less

Submitted 25 October, 2019; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: 51 pages, comments welcome

Tubular approaches to Baker's method for curves and varieties

Authors: Samuel Le Fourn

Abstract: Baker's method, relying on estimates on linear forms in logarithms of algebraic numbers, allows one to prove in several situations the effective finiteness of integral points on varieties. In this article, we give a generalisation of results of Levin regarding Baker's method for varieties, and explain how, quite surprisingly, it mixes (under additional hypotheses) with Runge's method to improve so… ▽ More Baker's method, relying on estimates on linear forms in logarithms of algebraic numbers, allows one to prove in several situations the effective finiteness of integral points on varieties. In this article, we give a generalisation of results of Levin regarding Baker's method for varieties, and explain how, quite surprisingly, it mixes (under additional hypotheses) with Runge's method to improve some known estimates in the case of curves by bypassing (or more generally reducing) the need for linear forms in $p$-adic logarithms. △ Less

Submitted 11 February, 2019; v1 submitted 15 December, 2018; originally announced December 2018.

MSC Class: 11G35; 11J86

Journal ref: Alg. Number Th. 14 (2020) 763-785

Torsion of $\Q$-curves over quadratic fields

Authors: Samuel Le Fourn, Filip Najman

Abstract: We find all the possible torsion groups of $\Q$-curves over quadratic fields and determine which groups appear finitely and which appear infinitely often. We find all the possible torsion groups of $\Q$-curves over quadratic fields and determine which groups appear finitely and which appear infinitely often. △ Less

Submitted 1 March, 2019; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: 11 pages, to appear in Math. Res. Letters

Sur la méthode de Runge et les points entiers de certaines variétés modulaires de Siegel

Authors: Samuel Le Fourn

Abstract: In this note, we announce results on integral points on some modular varieties, based on a generalisation of Runge's method in higher dimensions which will be explained beforehand. In particular, we obtain an explicit result in the case of the Siegel modular variety $A_2(2)$. In this note, we announce results on integral points on some modular varieties, based on a generalisation of Runge's method in higher dimensions which will be explained beforehand. In particular, we obtain an explicit result in the case of the Siegel modular variety $A_2(2)$. △ Less

Submitted 5 March, 2017; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: 8 pages, en français

A "tubular" variant of Runge's method in all dimensions, with applications to integral points on Siegel modular varieties

Authors: Samuel Le Fourn

Abstract: Runge's method is a tool to figure out integral points on curves effectively in terms of height. This method has been generalised to varieties of any dimension, unfortunately its conditions of application are often too restrictive. In this paper, we provide a further generalisation intended to be more flexible while still effective, and exemplify its applicability by giving finiteness results for… ▽ More Runge's method is a tool to figure out integral points on curves effectively in terms of height. This method has been generalised to varieties of any dimension, unfortunately its conditions of application are often too restrictive. In this paper, we provide a further generalisation intended to be more flexible while still effective, and exemplify its applicability by giving finiteness results for integral points on some Siegel modular varieties. As a special case, we obtain a totally explicit finiteness result for integral points on the Siegel modular variety $A_2(2)$. △ Less

Submitted 6 August, 2017; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 46 pages, minor changes of notations

MSC Class: 11G10; 11G18; 14K25

Journal ref: Alg. Number Th. 13 (2019) 159-209

Nonvanishing of central values of $L$-functions of newforms in $S_2 (Γ_0 (dp^2))$ twisted by quadratic characters

Authors: Samuel Le Fourn

Abstract: We prove that for $d \in \{ 2,3,5,7,13 \}$ and $K$ a quadratic (or rational) field of discriminant $D$ and Dirichlet character $χ$, if a prime $p$ is large enough compared to $D$, there is a newform $f \in S_2(Γ_0(dp^2))$ with sign $(+1)$ with respect to the Atkin-Lehner involution $w_{p^2}$ such that $L(f \otimes χ,1) \neq 0$. This result is obtained through an estimate of a weighted sum of twist… ▽ More We prove that for $d \in \{ 2,3,5,7,13 \}$ and $K$ a quadratic (or rational) field of discriminant $D$ and Dirichlet character $χ$, if a prime $p$ is large enough compared to $D$, there is a newform $f \in S_2(Γ_0(dp^2))$ with sign $(+1)$ with respect to the Atkin-Lehner involution $w_{p^2}$ such that $L(f \otimes χ,1) \neq 0$. This result is obtained through an estimate of a weighted sum of twists of $L$-functions which generalises a result of Ellenberg. It relies on the approximate functional equation for the $L$-functions $L(f \otimes χ, \cdot)$ and a Petersson trace formula restricted to Atkin-Lehner eigenspaces. An application of this nonvanishing theorem will be given in terms of existence of rank zero quotients of some twisted jacobians, which generalises a result of Darmon and Merel. △ Less

Submitted 27 November, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: 19 pages with notable improvements from previous versions, "Author's Draft" before publication by Canadian Mathematical Bulletin

MSC Class: 11F67 and 14J15

Surjectivity of Galois representations associated with quadratic Q-curves

Authors: Samuel Le Fourn

Abstract: We prove in this paper an uniform surjectivity result for Galois representations associated with non-CM $\mathbb{Q}$-curves over imaginary quadratic fields, using various tools for the proof, such as Mazur's method, isogeny theorems, Runge's method and analytic estimates of sums of $L$-functions. We prove in this paper an uniform surjectivity result for Galois representations associated with non-CM $\mathbb{Q}$-curves over imaginary quadratic fields, using various tools for the proof, such as Mazur's method, isogeny theorems, Runge's method and analytic estimates of sums of $L$-functions. △ Less

Submitted 7 March, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: 31 pages, minor corrections