Source author record

Samir Siksek

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG

Catalog footprint

Research overview

26works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2025arXiv

New Algebraic Points on Curves

Let $C$ be a smooth projective absolutely irreducible curve of genus at least 2, defined over the rationals. For a number field $L$ , we define the set of $L$ -new points on $C$ to be $C(L)_{new} = \{P \in C(L) : \mathbb{Q}(P)=L\}$ ; this is the set of points on $C$ defined over $L$ but not any strictly smaller field. Let $n$ be at least 2. We conjecture that $C(L)_{new}$ is empty for 100 percent of degree $n$ number fields $L$ when ordered by absolute discriminant. For degrees $n=2$ , $3$ , we give sufficient criteria for our conjecture to hold in terms of an explicit model for $C$ . For general $n$ we prove a theorem that harmonises with the conjecture. In particular, we verify our conjecture for $n=2$ and $C=X_0(N)$ for the $18$ values $N \ne 37$ such that $X_0(N)$ is hyperelliptic, and also for $n=3$ and $C=X_0(23)$ , $X_0(29)$ , $X_0(31)$ , $X_0(64)$ . Moreover, we prove the analogue of our conjecture for the unit equation, again with $n=3$ .

preprint2024arXiv

The modular approach to Diophantine equations over totally real fields

Wiles' proof of Fermat's last theorem initiated a powerful new approach towards the resolution of certain Diophantine equations over $\mathbb{Q}$ . Numerous novel obstacles arise when extending this approach to the resolution of Diophantine equations over totally real number fields. We give an extensive overview of these obstacles as well as providing a survey of existing methods and results in this area.

preprint2022arXiv

Differences between perfect powers : the Lebesgue-Nagell Equation

We develop a variety of new techniques to treat Diophantine equations of the shape $x^2+D =y^n$ , based upon bounds for linear forms in $p$ -adic and complex logarithms, the modularity of Galois representations attached to Frey-Hellegouarch elliptic curves, and machinery from Diophantine approximation. We use these to explicitly determine the set of all coprime integers $x$ and $y$ , and $n \geq 3$ , with the property that $y^n > x^2$ and $x^2-y^n$ has no prime divisor exceeding $11$ .

preprint2021arXiv

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.

preprint2021arXiv

Odd values of the Ramanujan tau function

We prove a number of results regarding odd values of the Ramanujan $τ$ -function. For example, we prove the existence of an effectively computable positive constant $κ$ such that if $τ(n)$ is odd and $n \ge 25$ then either $P(τ(n)) \; > \; κ\cdot \frac{\log\log\log{n}}{\log\log\log\log{n}}$ or there exists a prime $p \mid n$ with $τ(p)=0$ . Here $P(m)$ denotes the largest prime factor of $m$ . We also solve the equation $τ(n)=\pm 3^{b_1} 5^{b_2} 7^{b_3} 11^{b_4}$ and the equations $τ(n)=\pm q^b$ where $3\le q < 100$ is prime and the exponents are arbitrary nonnegative integers. We make use of a variety of methods, including the Primitive Divisor Theorem of Bilu, Hanrot and Voutier, bounds for solutions to Thue--Mahler equations due to Bugeaud and Győry, and the modular approach via Galois representations of Frey-Hellegouarch elliptic curves.

preprint2020arXiv

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

Let $F$ be a number field and $\mathcal{O}_F$ its ring of integers. We use Chevalley's ambiguous class number formula to give a criterion for the non-existence of solutions to the unit equation $λ+ μ= 1$ , $λ, μ\in \mathcal{O}_F^\times$ . This is then used to strengthen a criterion for the asymptotic Fermat's Last Theorem due to Freitas and Siksek.

preprint2020arXiv

On the unit equation over cyclic number fields of prime degree

Let $\ell \ne 3$ be a prime. We show that there are only finitely many cyclic number fields $F$ of degree $\ell$ for which the unit equation $λ+ μ= 1, \qquad λ,~μ\in \mathcal{O}_F^\times$ has solutions. Our result is effective. For example, we deduce that the only cyclic quintic number field for which the unit equation has solutions is $\mathbb{Q}(ζ_{11})^+$ .

preprint2019arXiv

Elliptic Curves over Totally Real Cubic Fields are Modular

We prove that all elliptic curves defined over totally real cubic fields are modular. This builds on previous work of Freitas, Le Hung and Siksek, who proved modularity of elliptic curves over real quadratic fields, as well as recent breakthroughs due to Thorne and to Kalyanswamy.

preprint2016arXiv

Modular elliptic curves over real abelian fields and the generalized Fermat equation $x^{2\ell}+y^{2m}=z^p$

Using a combination of several powerful modularity theorems and class field theory we derive a new modularity theorem for semistable elliptic curves over certain real abelian fields. We deduce that if $K$ is a real abelian field of conductor $n<100$ , with $5 \nmid n$ and $n \ne 29$ , $87$ , $89$ , then every semistable elliptic curve $E$ over $K$ is modular. Let $\ell$ , $m$ , $p$ be prime, with $\ell$ , $m \ge 5$ and $p \ge 3$ .To a putative non-trivial primitive solution of the generalized Fermat $x^{2\ell}+y^{2m}=z^p$ we associate a Frey elliptic curve defined over $\mathbb{Q}(ζ_p)^+$ , and study its mod $\ell$ representation with the help of level lowering and our modularity result. We deduce the non-existence of non-trivial primitive solutions if $p \le 11$ , or if $p=13$ and $\ell$ , $m \ne 7$ .

preprint2016arXiv

On powers that are sums of consecutive like powers

Let $k \ge 2$ be even, and let $r$ be a non-zero integer. We show that for almost all $d \ge 2$ (in the sense of natural density), the equation $x^k+(x+r)^k+\cdots+(x+(d-1)r)^k=y^n, \qquad x,~y,~n \in \mathbb{Z}, \qquad n \ge 2,$ has no solutions.

preprint2016arXiv

On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$ . It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$ , semistable outside $S$ , then for all $p>B_{K,S}$ , the representation $\barρ_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the existence of an effectively computable constant $C_{K,S}$ , and an effectively computable set of elliptic curves over $K$ with CM $E_1,\dotsc,E_n$ such that the following holds. If $E$ is an elliptic curve over $K$ semistable outside $S$ , and $p>C_{K,S}$ is prime, then either $\barρ_{E,p}$ is surjective, or $\barρ_{E,p} \sim \barρ_{E_i,p}$ for some $i=1,\dots,n$ .

preprint2016arXiv

On the asymptotic Fermat's Last Theorem over number fields

Assuming two deep but standard conjectures from the Langlands Programme, we prove that the asymptotic Fermat's Last Theorem holds for imaginary quadratic fields Q(\sqrt{-d}) with -d=2, 3 mod 4. For a general number field K, again assuming standard conjectures, we give a criterion based on the solutions to a certain S-unit equation, which if satisfied implies the asymptotic Fermat's Last Theorem.

preprint2016arXiv

Residual Representations of Semistable Principally Polarized Abelian Varieties

Let $A$ be a semistable principally polarized abelian variety of dimension $d$ defined over the rationals. Let $\ell$ be a prime and let $\barρ_{A,\ell} : G_{\mathbb{Q}} \rightarrow \mathrm{GSp}_{2d}(\mathbb{F}_\ell)$ be the representation giving the action of $G_{\mathrm{Q}} :=\mathrm{Gal}(\bar{\mathrm{Q}}/\mathrm{Q})$ on the $\ell$ -torsion group $A[\ell]$ . We show that if $\ell \ge \max(5,d+2)$ , and if image of $\barρ_{A,\ell}$ contains a transvection then $\barρ_{A,\ell}$ is either reducible or surjective. With the help of this we study surjectivity of $\barρ_{A,\ell}$ for semistable principally polarized abelian threefolds, and give an example of a genus $3$ hyperelliptic curve $C/\mathbb{Q}$ such that $\barρ_{J,\ell}$ is surjective for all primes $\ell \ge 3$ , where $J$ is the Jacobian of $C$ .

preprint2015arXiv

Every integer greater than 454 is the sum of at most seven positive cubes

A long-standing conjecture states that every positive integer other than 15, 22, 23, 50, 114, 167, 175, 186, 212, 231, 238, 239, 303, 364, 420, 428, 454 is a sum of at most seven positive cubes. This was first observed by Jacobi in 1851 on the basis of extensive calculations performed by the famous computationalist Zacharias Dase. We complete the proof of this conjecture, building on previous work of Linnik, Watson, McCurley, Ramaré, Boklan, Elkies, and many others.

preprint2015arXiv

Squares in arithmetic progression over cubic fields

Euler showed that there can be no more than three integer squares in arithmetic progression. In quadratic number fields, Xarles has shown that there can be arithmetic progressions of five squares, but not of six. Here, we prove that there are no cubic number fields which contain five squares in arithmetic progression.

preprint2015arXiv

Superelliptic equations arising from sums of consecutive powers

Using only elementary arguments, Cassels solved the Diophantine equation $(x-1)^3+x^3+(x+1)^3=z^2$ in integers $x$ , $z$ . The generalization $(x-1)^k+x^k+(x+1)^k=z^n$ (with $x$ , $z$ , $n$ integers and $n \ge 2$ ) was considered by Zhongfeng Zhang who solved it for $k=2$ , $3$ , $4$ using Frey-Hellegouarch curves and their Galois representations. In this paper, by employing some sophisticated refinements of this approach, we show that the only solution for $k=5$ is $x=z=0$ , and that there are no solutions for $k=6$ . The chief innovation we employ is a computational one, which enables us to avoid the full computation of data about cuspidal newforms of high level.

preprint2014arXiv

Criteria for irreducibility of mod p representations of Frey curves

Let K be a totally real Galois number field and let A be a set of elliptic curves over K. We give sufficient conditions for the existence of a finite computable set of rational primes P such that for p not in P and E in A, the representation on E[p] is irreducible. Our sufficient conditions are often satisfied for Frey elliptic curves associated to solutions of Diophantine equations; in that context, the irreducibility of the mod p representation is a hypothesis needed for applying level-lowering theorems. We illustrate our approach by improving on an existing result for Fermat-type equations of signature (13, 13, p).

preprint2014arXiv

Elliptic Curves over Real Quadratic Fields are Modular

We prove that all elliptic curves defined over real quadratic fields are modular.

preprint2014arXiv

Fermat's Last Theorem over some small real quadratic fields

Using modularity, level lowering, and explicit computations with Hilbert modular forms, Galois representations and ray class groups, we show that for $3 \le d \le 23$ squarefree, $d \ne 5$ , $17$ , the Fermat equation $x^n+y^n=z^n$ has no non-trivial solutions over the quadratic field $\mathbb{Q}(\sqrt{d})$ for $n \ge 4$ . Furthermore, we show for $d=17$ that the same holds for prime exponents $n \equiv 3$ , $5 \pmod{8}$ .

preprint2014arXiv

Perfect powers expressible as sums of two fifth or seventh powers

We show that the generalized Fermat equations with signatures (5,5,7), (5,5,19), and (7,7,5) (and unit coefficients) have no non-trivial primitive integer solutions. Assuming GRH, we also prove the nonexistence of non-trivial primitive integer solutions for the signatures (5,5,11), (5,5,13), and (7,7,11). The main ingredients for obtaining our results are descent techniques, the method of Chabauty-Coleman, and the modular approach to Diophantine equations.

preprint2014arXiv

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

Let $K$ be a totally real field. By the asymptotic Fermat's Last Theorem over $K$ we mean the statement that there is a constant $B_K$ such that for prime exponents $p>B_K$ the only solutions to the Fermat equation $a^p + b^p + c^p = 0$ with $a$ , $b$ , $c$ in $K$ are the trivial ones satisfying $abc = 0$ . With the help of modularity, level lowering and image of inertia comparisons we give an algorithmically testable criterion which if satisfied by $K$ implies the asymptotic Fermat's Last Theorem over $K$ . Using techniques from analytic number theory, we show that our criterion is satisfied by $K = \mathbb{Q}(\sqrt{d})$ for a subset of $d$ having density $5/6$ among the squarefree positive integers. We can improve this to density 1 if we assume a standard "Eichler-Shimura" conjecture.

preprint2014arXiv

The Generalised Fermat Equation x^2 + y^3 = z^15

We determine the set of primitive integral solutions to the generalised Fermat equation x^2 + y^3 = z^15. As expected, the only solutions are the trivial ones with xyz = 0 and the non-trivial pair (x,y,z) = (+-3, -2, 1).

preprint2012arXiv

On the number of Mordell-Weil generators for cubic surfaces

Let S be a smooth cubic surface over a field K. It is well-known that new K-rational points may be obtained from old ones by secant and tangent constructions. A Mordell-Weil generating set is a subset B of S(K) of minimal cardinality which generates S(K) via successive secant and tangent constructions. Let r(S,K) be the cardinality of such a Mordell-Weil generating set. Manin posed what is known as the Mordell-Weil problem for cubic surfaces: if K is finitely generated over its prime subfield then r(S,K) is finite. In this paper, we prove a special case of this conjecture. Namely, if S contains two skew lines both defined over K then r(S,K) = 1. One of the difficulties in studying the secant and tangent process on cubic surfaces is that it does not lead to an associative binary operation as in the case of elliptic curves. As a partial remedy we introduce an abelian group H_S(K) associated to a cubic surface S/K, naturally generated by the K-rational points, which retains much information about the secant and tangent process. In particular, r(S, K) is large as soon as the minimal number of generators of H_S(K) is large. In situations where weak approximation holds, H_S has nice local-to-global properties. We use these to construct a family of smooth cubic surfaces over the rationals such that r(S,K) is unbounded in this family. This is the cubic surface analogue of the unboundedness of ranks conjecture for elliptic curves.

preprint2011arXiv

Partial Descent on Hyperelliptic Curves and the Generalized Fermat Equation x^3+y^4+z^5=0

Let C : y^2=f(x) be a hyperelliptic curve defined over the rationals. Let K be a number field and suppose f factors over K as a product of irreducible polynomials f=f_1 f_2...f_r. We shall define a "Selmer set" corresponding to this factorization with the property that if it is empty then the curve C has no rational points. We shall demonstrate the effectiveness of our new method by solving the generalized Fermat equation with signature (3,4,5), which is unassailable via the previously existing methods.

preprint2010arXiv

Explicit Chabauty over Number Fields

Let $C$ be a smooth projective absolutely irreducible curve of genus $g \geq 2$ over a number field $K$ of degree $d$ , and denote its Jacobian by $J$ . Denote the Mordell--Weil rank of $J(K)$ by $r$ . We give an explicit and practical Chabauty-style criterion for showing that a given subset $\cK \subseteq C(K)$ is in fact equal to $C(K)$ . This criterion is likely to be successful if $r \leq d(g-1)$ . We also show that the only solutions to the equation $x^2+y^3=z^{10}$ in coprime non-zero integers is $(x,y,z)=(\pm 3, -2, \pm 1)$ . This is achieved by reducing the problem to the determination of $K$ -rational points on several genus $2$ curves where $K=\Q$ or $\Q(\sqrt[3]{2})$, and applying the method of this paper.

preprint2010arXiv

Primitive Representations of Integers by $x^3+y^3+2z^3$

A well-known open problem is to show that the cubic form $x^3+y^3+2z^3$ represents all integers. An obvious variant of this problem is whether every integer can be {\em primitively} represented by $x^3+y^3+2z^3$ . In other words, given an integer $n$ , are there coprime integers $x$ , $y$ , $z$ such that $x^3+y^3+2z^3=n$ ? In this note we answer this variant question negatively. Indeed, we use cubic reciprocity to show that for every integral solution to $x^3+y^3+2z^3=8^m$ ,the unknowns $x$ , $y$ , $z$ are divisible by $2^m$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Samir Siksek

Research overview

Is this your work?

26 publications

New Algebraic Points on Curves

The modular approach to Diophantine equations over totally real fields

Differences between perfect powers : the Lebesgue-Nagell Equation

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Odd values of the Ramanujan tau function

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

On the unit equation over cyclic number fields of prime degree

Elliptic Curves over Totally Real Cubic Fields are Modular

Modular elliptic curves over real abelian fields and the generalized Fermat equation $x^{2\ell}+y^{2m}=z^p$

On powers that are sums of consecutive like powers

On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

On the asymptotic Fermat's Last Theorem over number fields

Residual Representations of Semistable Principally Polarized Abelian Varieties

Every integer greater than 454 is the sum of at most seven positive cubes

Squares in arithmetic progression over cubic fields

Superelliptic equations arising from sums of consecutive powers

Criteria for irreducibility of mod p representations of Frey curves

Elliptic Curves over Real Quadratic Fields are Modular

Fermat's Last Theorem over some small real quadratic fields

Perfect powers expressible as sums of two fifth or seventh powers

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

The Generalised Fermat Equation x^2 + y^3 = z^15

On the number of Mordell-Weil generators for cubic surfaces

Partial Descent on Hyperelliptic Curves and the Generalized Fermat Equation x^3+y^4+z^5=0

Explicit Chabauty over Number Fields

Primitive Representations of Integers by $x^3+y^3+2z^3$

See the researcher in context

Building this map preview

Samir Siksek

Research overview

Is this your work?

26 publications

New Algebraic Points on Curves

The modular approach to Diophantine equations over totally real fields

Differences between perfect powers : the Lebesgue-Nagell Equation

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Odd values of the Ramanujan tau function

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

On the unit equation over cyclic number fields of prime degree

Elliptic Curves over Totally Real Cubic Fields are Modular

Modular elliptic curves over real abelian fields and the generalized Fermat equation x2ℓ+y2m=zpx^{2\ell}+y^{2m}=z^px2ℓ+y2m=zp

On powers that are sums of consecutive like powers

On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

On the asymptotic Fermat's Last Theorem over number fields

Residual Representations of Semistable Principally Polarized Abelian Varieties

Every integer greater than 454 is the sum of at most seven positive cubes

Squares in arithmetic progression over cubic fields

Superelliptic equations arising from sums of consecutive powers

Criteria for irreducibility of mod p representations of Frey curves

Elliptic Curves over Real Quadratic Fields are Modular

Fermat's Last Theorem over some small real quadratic fields

Perfect powers expressible as sums of two fifth or seventh powers

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

The Generalised Fermat Equation x^2 + y^3 = z^15

On the number of Mordell-Weil generators for cubic surfaces

Partial Descent on Hyperelliptic Curves and the Generalized Fermat Equation x^3+y^4+z^5=0

Explicit Chabauty over Number Fields

Primitive Representations of Integers by x3+y3+2z3x^3+y^3+2z^3x3+y3+2z3

See the researcher in context

Building this map preview

Modular elliptic curves over real abelian fields and the generalized Fermat equation $x^{2\ell}+y^{2m}=z^p$

Primitive Representations of Integers by $x^3+y^3+2z^3$