BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Samir Siksek

Samir Siksek appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.AG

Catalog footprint

What is connected

26works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

26 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access