Effective results for Diophantine equations over finitely generated domains

DOI10.4064/AA163-1-6zbMATH Open1312.11019arXiv1301.7175OpenAlexW2070713388MaRDI QIDQ5407563FDOQ5407563

Attila Bérczes, Kálmán Győry, Jan-Hendrik Evertse

Publication date: 7 April 2014

Published in: Acta Arithmetica (Search for Journal in Brave)

Abstract: Let A be an arbitrary integral domain of characteristic 0 which is finitely generated over Z. We consider Thue equations $F(x,y)=b$ with unknowns x,y from A and hyper- and superelliptic equations $f(x)=b{y}^m$ with unknowns from A, where the binary form F and the polynomial f have their coefficients in A, where b is a non-zero element from A, and where m is an integer at least 2. Under the necessary finiteness conditions imposed on F,f,m, we give explicit upper bounds for the sizes of x,y in terms of suitable representations for A,F,f,b Our results imply that the solutions of Thue equations and hyper- and superelliptic equations over arbitrary finitely generated domains can be determined effectively in principle. Further, we generalize a theorem of Schinzel and Tijdeman to the effect, that there is an effectively computable constant C such that $f(x)=b{y}^m$ has no solutions in x,y from A with y not 0 or a root of unity if m>C. In our proofs, we use effective results for Thue equations and hyper- and superelliptic equations over number fields and function fields, some effective commutative algebra, and a specialization argument.

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

Recommendations

• scientific article; zbMATH DE number 1305281
• scientific article; zbMATH DE number 3557877
• Representation of small integers by binary forms
• scientific article; zbMATH DE number 426328
• Trinomial Thue equations and inequalities.
• Thue inequalities with a small number of primitive solutions
• Number of representations of integers by binary forms
• Contributions to a conjecture of Mueller and Schmidt on Thue inequalities
• On Thue's equation
• scientific article; zbMATH DE number 4068975

zbMATH Keywords

Thue equationseffective resultssuperelliptic equationsDiophantine equations over finitely generated domainshyperelliptic equatonsSchinzel-Tijdeman Equation

Mathematics Subject Classification ID

Higher degree equations; Fermat's equation (11D41) Exponential Diophantine equations (11D61) Thue-Mahler equations (11D59)

Cited In (11)

• Effective finiteness theorems for decomposable forms of given discriminant
• On effective \(\epsilon\)-integrality in orbits of rational maps over function fields and multiplicative dependence
• Multiplicative dependence of two integers shifted by a root of unity
• Effective results for unit points on curves over finitely generated domains
• Effective results for division points on curves in \(\mathbb{G}_m^2\)
• Mahler's work on Diophantine equations and subsequent developments
• Title not available (Why is that?)
• Trinomials with integral \(S\)-unit coefficients having a quadratic factor
• Explicit bounds for the solutions of superelliptic equations over number fields
• The Catalan equation
• On the equation \(f(x)=y^ m\) over finitely generated domains

This page was built for publication: Effective results for Diophantine equations over finitely generated domains

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