Differences between perfect powers: prime power gaps

DOI10.2140/ANT.2023.17.1789MaRDI QIDQ6142631zbMATH OpenOpenAlexFDO

Authors Michael A. Bennett, Samir Siksek

Publication date 4 January 2024

Published in Algebra \& Number Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Baker's boundsexponential equationFrey curveGalois representationHilbert modular formslevel loweringLucas sequencemodularityshifted powerThue-Mahler equations

Mathematics Subject Classification ID

Higher degree equations; Fermat's equation (11D41) Exponential Diophantine equations (11D61) Galois representations (11F80)

Abstract: We develop machinery to explicitly determine, in many instances, when the difference $x^2-y^n$ is divisible only by powers of a given fixed prime. This combines a wide variety of techniques from Diophantine approximation (bounds for linear forms in logarithms, both archimedean and non-archimedean, lattice basis reduction, methods for solving Thue-Mahler and $S$-unit equations, and the Primitive Divisor Theorem of Bilu, Hanrot and Voutier) and classical Algebraic Number Theory, with results derived from the modularity of Galois representations attached to Frey-Hellegoaurch elliptic curves. By way of example, we completely solve the equation [ x^2+q^alpha = y^n, ] where $2leqq<100$ is prime, and $x,y,alpha$ and $n$ are integers with $ngeq3$ and $gcd(x,y)=1$.

Recommendations

• Differences between Perfect Powers
• On the difference between perfect powers
• scientific article; zbMATH DE number 906974
• Large gaps between consecutive prime numbers containing perfect powers
• Differences between perfect powers: The Lebesgue-Nagell equation
• Some results on the difference between consecutive perfect powers
• Difference between powers and squares of integers
• scientific article; zbMATH DE number 4053712
• Differences between powers of a primitive root
• scientific article; zbMATH DE number 3241437

Cites work

• An application of the modular method and the symplectic argument to a Lebesgue-Nagell equation
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
• Applications of the hypergeometric method to the generalized Ramanujan-Nagell equation
• Classical and modular approaches to exponential Diophantine equations II. The Lebesgue–Nagell equation
• Computing all S-integral points on elliptic curves
• Courbes de Fermat: résultats et problèmes
• Differences between perfect powers: The Lebesgue-Nagell equation
• Effective lower bound for the p-adic distance between powers of algebraic numbers
• Existence of primitive divisors of Lucas and Lehmer numbers (with an appendix by M. Mignotte)
• scientific article; zbMATH DE number 3528313 (Why is no real title available?)
• scientific article; zbMATH DE number 1023655 (Why is no real title available?)
• Linear forms in two logarithms and interpolation determinants II
• Majorations Effectives Pour L’ Équation de Fermat Généralisée
• Modular elliptic curves and Fermat's Last Theorem
• Odd values of the Ramanujan tau function
• On a question of B. Mazur
• On modular representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) arising from modular forms
• On the diophantine equation x^2 - p^m = ±y^n
• On the Diophantine equation \(x^2 + p^{2k} = y^n\)
• On the Diophantine equation \(x^2+d^{2l+1}=y^n\)
• On the Diophantine equation \(x^2+q^{2k+1}=y^n\)
• On the Diophantine equation \(x^2= y^p+2^kz^p\)
• On the equation a^p + 2^α b^p + c^p = 0
• On the modularity of elliptic curves over Q: wild 3-adic exercises
• On the reduction theory of binary forms
• On the sum of fourth powers in arithmetic progression
• Primary cyclotomic units and a proof of Catalans conjecture
• Quelques résultats sur les équations ax^p + by^p = cz²
• Rational isogenies of prime degree. (With an appendix by D. Goldfeld)
• Sur l'équation a³+ b³= c^p
• Sur les équations x^p+2^βy^p= z²et x^p+2^βy^p= 2z²
• Ternary Diophantine Equations via Galois Representations and Modular Forms
• THE DIOPHANTINE EQUATION A⁴ + 2^δB² = Cⁿ
• The Diophantine equation xⁿ= Dy²+1
• The Diophantine equation x⁴ - Dy² = 1, II
• The Magma algebra system. I: The user language
• The modular approach to Diophantine equations

Cited in

(11)

• Equations in prime powers
• Differences between Perfect Powers
• On the difference between perfect powers
• Some exponential Diophantine equations III: a new look at the generalized Lebesgue–Nagell equation
• Power values of power sums: a survey
• On the Lebesgue-Nagell equation x^2-2 = y^p
• On differences of perfect powers and prime powers
• Number of solutions to a special type of unit equations in two unknowns. III
• Odd prime power values of Fourier coefficients of Hecke eigenforms
• Efficient resolution of Thue-Mahler equations
• On the difference between squares and integral S-units

This page was built for publication: Differences between perfect powers: prime power gaps

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