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

DOI10.1090/MEMO/1419MaRDI QIDQ6101092zbMATH OpenOpenAlexFDO

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)

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)

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

Recommendations

• Diophantine Equations and Power Integral Bases
• scientific article; zbMATH DE number 1200746
• scientific article; zbMATH DE number 44151
• Solving Diophantine equations using factorization in number fields.
• Unit equations in Diophantine number theory

Cites work

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

Cited in

(10)

• Computing elliptic curves over \(\mathbb {Q}\)
• Computing all elliptic curves over an arbitrary number field with prescribed primes of bad reduction
• Archimedean local height differences on elliptic curves
• Improved bounds for some \(S\)-unit equations
• Powers from products of terms in progressions with gaps
• A robust implementation for solving the \(S\)-unit equation and several applications
• Elliptic curves and modularity
• The largest prime factor of \(n^2+1\) and improvements on subexponential \(ABC\)
• Shimura curves and the abc conjecture
• 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)