Solving 𝑆-unit, Mordell, Thue, Thue–Mahler and Generalized Ramanujan–Nagell Equations via the Shimura–Taniyama Conjecture

DOI10.1090/MEMO/1419zbMATH Open1527.11001arXiv1605.06079OpenAlexW4376273040MaRDI QIDQ6101092FDOQ6101092

Authors: Rafael von Känel, Benjamin Matschke 

Publication date: 31 May 2023

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Abstract: In the first part we construct algorithms which we apply to solve S-unit, Mordell, cubic Thue, cubic Thue-Mahler and generalized Ramanujan-Nagell equations. As a byproduct we obtain alternative practical approaches for various classical Diophantine problems, including the fundamental problem of finding all elliptic curves over Q with good reduction outside a given finite set of rational primes. To illustrate the utility of our algorithms we determined the solutions of large classes of equations, containing many examples of interest which are out of reach for the known methods. In addition we used the resulting data to motivate various conjectures and questions, including Baker's explicit abc-conjecture and a new conjecture on S-integral points of any hyperbolic genus one curve over Q. In the second part we establish new results for certain old Diophantine problems (e.g. the difference of squares and cubes) related to Mordell equations, and we prove explicit height bounds for cubic Thue, cubic Thue--Mahler and generalized Ramanujan--Nagell equations. As a byproduct, we obtain here an alternative proof of classical theorems of Baker, Coates and Vinogradov-Sprindzuk. In fact we get refined versions of their theorems, which improve the actual best results in many fundamental cases. Our results and algorithms all ultimately rely on the method of Faltings (Arakelov, Parshin, Szpiro) combined with the Shimura-Taniyama conjecture, and they all do not use lower bounds for linear forms in (elliptic) logarithms. In the third part we solve the problem of constructing an efficient sieve for the S-integral points of bounded height on any elliptic curve E over Q with given Mordell-Weil basis of E(Q).

Full work available at URL: https://arxiv.org/abs/1605.06079

zbMATH Keywords

modularityDiophantine approximationsieves\(S\)-unit equationsheight boundsThue-Mahler equationsintegral points on elliptic curveselliptic logarithmsthue equationsMordell equationsalgorithms for classical Diophantine equationselliptic curves with good reduction outside \(S\)Faltings' methodgeneralized Ramanujan-nagell equations

Mathematics Subject Classification ID

Cubic and quartic Diophantine equations (11D25) Computer solution of Diophantine equations (11Y50) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Thue-Mahler equations (11D59)

Cites Work

• Points d'ordre $2p^h$ sur les courbes elliptiques
• Modular forms and effective Diophantine approximation
• Contributions to the theory of Diophantine equations II. The Diophantine equation y ² = x ³ + k
• The weighted sum of two S-units being a square
• The diophantine equation $x^{2} + D^{m} = p^{n}$
• Bounds for the solutions of Thue-Mahler equations and norm form equations
• An effective p-adic analogue of a theorem of Thue II. The greatest prime factor of a binary form
• On the number of solutions of the generalized Ramanujan-Nagell equation
• On computing integral points of a Mordell curve over rational function fields in characteristic \(>3\)
• Formes linéaires de logarithmes de points algébriques sur les groupes algébriques. (Linear forms in logarithms of algebraic points on algebraic groups)
• Determining the small solutions to 𝑆-unit equations
• Optimal systems of fundamental \(S\)-units for LLL-reduction
• The number of elliptic curves over \(\mathbb{Q}\) with conductor \(N\)
• Courbes de Weil semi-stables de discriminant une puissance m-ième.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explicit estimates of solutions of some Diophantine equations
• Effective bounds for solutions of \(S\)-unit equations and of Thue-Mahler equations
• On the application of Skolem's p-adic method to the solution of Thue equations
• Solving a Specific Thue-Mahler Equation
• Title not available (Why is that?)
• The Diophantine equation $x^2 + q^m =p^n$
• Title not available (Why is that?)
• The diophantine equation \(x^ 2+119 = 15\cdot 2^ n\) has exactly six solutions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elliptic Curves Over the Rationals with Bad Reduction at Only one Prime
• Computing elliptic curves over $\mathbb {Q}$
• Computing All Elliptic Curves Over an Arbitrary Number Field with Prescribed Primes of Bad Reduction
• Explicit Chabauty-Kim theory for the thrice punctured line in depth 2
• The Diophantine equation 2𝑥²+1=3ⁿ
• Computing integral points on hyperelliptic curves using quadratic Chabauty
• Mixed Tate Motives and the Unit Equation
• Discriminant equations in Diophantine number theory
• Mixed Tate motives and the unit equation. II
• Construction of Elliptic Curves with Large Rank
• Thue equations with composite fields
• Title not available (Why is that?)
• Computing integral points on Mordell's elliptic curves
• Sums of two $S$-units via Frey-Hellegouarch curves
• On The Greatest Prime Factor of ax ^m +by ⁿ , II
• On Szpiro's Discriminant Conjecture
• Computing Elliptic Curves over $$\mathbb{Q}$$ : Bad Reduction at One Prime
• Title not available (Why is that?)
• A modular approach to cubic Thue-Mahler equations
• Linear forms in two elliptic logarithms in the \(p\)-adic case
• Parallel LLL-reduction for bounding the integral solutions of elliptic Diophantine equations
• The unit equation and the cluster principle
• Title not available (Why is that?)
• Finiteness theorems for abelian varieties over number fields.
• Factoring polynomials with rational coefficients
• Rational isogenies of prime degree. (With an appendix by D. Goldfeld)
• Modular elliptic curves and Fermat's Last Theorem
• Ring-theoretic properties of certain Hecke algebras
• Hecke operators on \(\Gamma_0(m)\)
• On the modularity of elliptic curves over \(\mathbb Q\): wild 3-adic exercises
• Heights of varieties in multiprojective spaces and arithmetic nullstellensätze
• Title not available (Why is that?)
• The Arithmetic of Elliptic Curves
• Title not available (Why is that?)
• Title not available (Why is that?)
• A fast algorithm to compute cubic fields
• Ternary Diophantine Equations via Galois Representations and Modular Forms
• Finding All Elliptic Curves with Good Reduction Outside a Given Set of Primes
• Title not available (Why is that?)
• The arithmetic of elliptic curves
• Algorithm for determining the type of a singular fiber in an elliptic pencil.
• Title not available (Why is that?)
• Arithmetic Moduli of Elliptic Curves. (AM-108)
• Title not available (Why is that?)
• Approximate formulas for some functions of prime numbers
• Title not available (Why is that?)
• Elliptic Diophantine equations. A concrete approach via the elliptic logarithm
• Solving elliptic diophantine equations by estimating linear forms in elliptic logarithms
• On the Elliptic Logarithm Method for Elliptic Diophantine Equations: Reflections and an Improvement
• On equations in S-units and the Thue-Mahler equation
• On the number of Q-isomorphism classes of elliptic curves in each Q- isogeny class
• Title not available (Why is that?)
• Improved Methods for Calculating Vectors of Short Length in a Lattice, Including a Complexity Analysis
• FINITENESS OF $ E(\mathbf{Q})$ AND $ \textrm{Ø}(E,\mathbf{Q})$ FOR A SUBCLASS OF WEIL CURVES
• Logarithmic forms and Diophantine geometry
• Fields of large transcendence degree generated by values of elliptic functions
• Dimensions of the spaces of cusp forms and newforms on \(\Gamma_0(N)\) and \(\Gamma_1(N)\)
• The motivic fundamental group of \(\mathbf P^1\setminus\{0,1,\infty\}\) and the theorem of Siegel
• Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integral points on moduli schemes of elliptic curves
• Diophantine approximation of \(p\)-adic elliptic logarithms
• On the Equations z^m = F (x, y ) and Ax^p + By^q = Cz^r
• Title not available (Why is that?)
• Elliptic functions and transcendence
• Explicit bounds for the solutions of elliptic equations with rational coefficients
• The Difference Between the Weil Height and the Canonical Height on Elliptic Curves
• S-integral points on elliptic curves
• Minorations de formes linéaires de logarithmes elliptiques
• On the \(abc\) conjecture. II.
• THE EQUATIONS 3x²−2 = y² AND 8x²−7 = z²
• On S-unit equations in two unknowns
• On the number of solutions of linear equations in units of an algebraic number field
• Klein forms and the generalized superelliptic equation
• A space efficient algorithm for group structure computation
• Computing integral points on elliptic curves
• Computing all integer solutions of a genus 1 equation
• Computing all S-integral points on elliptic curves
• The Diophantine Equation y ² = ax ³ +bx ² +cx +d
• An effective p-adic analogue of a theorem of Thue III. The diophantine equation $y^2 = x^2 + k$
• Calculus on arithmetic surfaces
• Title not available (Why is that?)
• Bounds for the solutions of S-unit equations and decomposable form equations
• Title not available (Why is that?)
• On $abc$ and discriminants
• Counting smooth solutions to the equation \(A+B=C\)
• Solving exponential diophantine equations using lattice basis reduction algorithms
• Algorithmic Number Theory
• Two \(S\)-unit equations with many solutions
• A note on the Diophantine equation \(x^2 + q^m = c^{2n}\)
• A NOTE ON THE DIOPHANTINE EQUATION
• Zur Approximation algebraischer Zahlen. I: Über den grössten Primteiler binärer Formen
• Title not available (Why is that?)
• Title not available (Why is that?)
• Uniform bounds for the number of solutions to Yⁿ = f(X)
• Conductor, discriminant, and the Noether formula of arithmetic surfaces
• Integral points on elliptic curves and 3-torsion in class groups
• Title not available (Why is that?)
• On the practical solution of the Thue equation
• Unit Equations in Diophantine Number Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
• An effective p-adic analogue of a theorem of Thue
• Reflection Principles and Bounds for Class Group Torsion
• Solving Thue equations of high degree
• The diophantine equation \(y^2+k=x^3\).
• Effective estimates of solutions of some diophantine equations
• Products of Prime Powers in Binary Recurrence Sequences Part I: The Hyperbolic Case, with an Application to the Generalized Ramanujan-Nagell Equation
• Title not available (Why is that?)
• Elliptic Curves of Conductor 11
• On the solution of units and index form equations in algebraic number fields
• Title not available (Why is that?)
• The modular degree, congruence primes, and multiplicity one
• Infinite descent on elliptic curves
• Mordell’s equation: a classical approach
• Some remarks concerning points of finite order on elliptic curves over global fields
• Modularity of a family of elliptic curves
• Large Integral Points on Elliptic Curves
• Title not available (Why is that?)
• Multivariate Diophantine equations with many solutions

Cited In (9)

• Archimedean local height differences on elliptic curves
• Elliptic curves and modularity
• Improved bounds for some \(S\)-unit equations
• Shimura curves and the abc conjecture
• Powers from products of terms in progressions with gaps
• The largest prime factor of \(n^2+1\) and improvements on subexponential \(ABC\)
• Computing elliptic curves over $\mathbb {Q}$
• Computing All Elliptic Curves Over an Arbitrary Number Field with Prescribed Primes of Bad Reduction
• At most one solution to \(a^x + b^y = c^z\) of \(a, b, c\)

This page was built for publication: Solving 𝑆-unit, Mordell, Thue, Thue–Mahler and Generalized Ramanujan–Nagell Equations via the Shimura–Taniyama Conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6101092)