Academic literature on the topic 'Elliptic curve Chabauty'

Given a quintic number field K/ℚ, we study the set of irreducible trinomials, polynomials of the form x5 + ax + b, that have a root in K. We show that there is a genus 4 curve CK whose rational points are in bijection with such trinomials. This curve CK maps to an elliptic curve defined over a number field, and using this map, we are able (in some cases) to determine all the rational points on CK using elliptic curve Chabauty.

We study the generalized Fermat equation $x^{2}+y^{3}=z^{p}$, to be solved in coprime integers, where $p\geqslant 7$ is prime. Modularity and level-lowering techniques reduce the problem to the determination of the sets of rational points satisfying certain 2-adic and 3-adic conditions on a finite set of twists of the modular curve $X(p)$. We develop new local criteria to decide if two elliptic curves with certain types of potentially good reduction at 2 and 3 can have symplectically or anti-symplectically isomorphic $p$-torsion modules. Using these criteria we produce the minimal list of twists of $X(p)$ that have to be considered, based on local information at 2 and 3; this list depends on $p\hspace{0.2em}{\rm mod}\hspace{0.2em}24$. We solve the equation completely when $p=11$, which previously was the smallest unresolved $p$. One new ingredient is the use of the ‘Selmer group Chabauty’ method introduced by the third author, applied in an elliptic curve Chabauty context, to determine relevant points on $X_{0}(11)$ defined over certain number fields of degree 12. This result is conditional on the generalized Riemann hypothesis, which is needed to show correctness of the computation of the class groups of five specific number fields of degree 36. We also give some partial results for the case $p=13$. The source code for the various computations is supplied as supplementary material with the online version of this article.

AbstractWe study the unipotent Albanese map appearing in the non-abelian Chabauty method of Minhyong Kim. In particular we explore the explicit computation of the p-adic de Rham period map $$j^{dr}_n$$ j n dr on elliptic and hyperelliptic curves over number fields via their universal unipotent connections $${\mathscr {U}}$$ U . Several algorithms forming part of the computation of finite level versions $$j^{dr}_n$$ j n dr of the unipotent Albanese maps are presented. The computation of the logarithmic extension of $${\mathscr {U}}$$ U in general requires a description in terms of an open covering, and can be regarded as a simple example of computational descent theory. We also demonstrate a constructive version of a lemma of Hadian used in the computation of the Hodge filtration on $${\mathscr {U}}$$ U over affine elliptic and odd hyperelliptic curves. We use these algorithms to present some new examples describing the co-ordinates of some of these period maps. This description will be given in terms iterated p-adic Coleman integrals. We also consider the computation of the co-ordinates if we replace the rational basepoint with a tangential basepoint, and present some new examples here as well.

In this paper, we study quadratic points on the non-split Cartan modular curves [Formula: see text], for [Formula: see text] and [Formula: see text]. Recently, Siksek proved that all quadratic points on [Formula: see text] arise as pullbacks of rational points on [Formula: see text]. Using similar techniques for [Formula: see text], and employing a version of Chabauty for symmetric powers of curves for [Formula: see text], we show that the same holds for [Formula: see text] and [Formula: see text]. As a consequence, we prove that certain classes of elliptic curves over quadratic fields are modular.

abstract: Diophantine arithmetic is one of the oldest branches of mathematics, the search for integer or rational solutions of algebraic equations. Pythagorean triangles are an early instance. Diophantus of Alexandria wrote the first related treatise in the fourth century; it was an area extensively studied by the great mathematicians of the seventeenth century, including Euler and Fermat. The modern approach is to treat the equations as defining geometric objects, curves, surfaces, etc. The theory of elliptic curves (or curves of genus 1, which are much used in modern cryptography) was developed extensively in the twentieth century, and has had great application to Diophantine equations. This theory is used in application to the problems studied in this thesis. This thesis studies some curves of high genus, and possible solutions in both rationals and in algebraic number fields, generalizes some old results and gives answers to some open problems in the literature. The methods involve known techniques together with some ingenious tricks. For example, the equations $y^2=x^6+k$, $k=-39,\,-47$, the two previously unsolved cases for $|k|<50$, are solved using algebraic number theory and the ‘elliptic Chabauty’ method. The thesis also studies the genus three quartic curves $F(x^2,y^2,z^2)=0$ where F is a homogeneous quadratic form, and extend old results of Cassels, and Bremner. It is a very delicate matter to find such curves that have no rational points, yet which do have points in odd-degree extension fields of the rationals. The principal results of the thesis are related to surfaces where the theory is much less well known. In particular, the thesis studies some specific families of surfaces, and give a negative answer to a question in the literature regarding representation of integers n in the form $n=(x+y+z+w)(1/x+1/y+1/z+1/w).$ Further, an example, the first such known, of a quartic surface $x^4+7y^4=14z^4+18w^4$ is given with remarkable properties: it is everywhere locally solvable, yet has no non-zero rational point, despite having a point in (non-trivial) odd-degree extension fields of the rationals. The ideas here involve manipulation of the Hilbert symbol, together with the theory of elliptic curves.
Dissertation/Thesis
Doctoral Dissertation Mathematics 2019