Effective results for Diophantine equations over finitely generated domains

Attila Bérczes, Jan Hendrik Evertse, Kálmán Gyory

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

Let A be an arbitrary integral domain of characteristic 0 that is finitely generated over double-struck Z. We consider Thue equations F(x,y) = δ in x,y ∈ A, where F is a binary form with coefficients from A, and δ is a non-zero element from A, and hyper- and superelliptic equations f(x) = δym in x,y ∈ A, where f ∈ A[X], δ ∈ A \ {0} and M ∈ double-struck Z≥2. Under the necessary finiteness conditions we give effective upper bounds for the sizes of the solutions of the equations in terms of appropriate representations for A, δ, F, f, M. These results imply that the solutions of these equations can be determined in principle. Further, we consider the Schinzel-Tijdeman equation f(x) = δyM where x,y ∈ A and M ∈ double-struck Z≥2 are the unknowns and give an effective upper bound for M. Our results extend earlier work of Gyo{combining double acute accent}ry, Brindza and Végso{combining double acute accent}, where the equations mentioned above were considered only for a restricted class of finitely generated domains.

Original languageEnglish
Pages (from-to)71-100
Number of pages30
JournalActa Arithmetica
Volume163
Issue number1
DOIs
Publication statusPublished - 2014

Fingerprint

Diophantine equation
Finitely Generated
Acute
Thue Equations
Upper bound
Binary Forms
Finiteness Conditions
Integral domain
Imply
Necessary Conditions
Unknown
Arbitrary
Coefficient

Keywords

  • Diophantine equations over finitely generated domains
  • Effective results
  • Hyperelliptic equations
  • Schinzel-Tijdeman equation
  • Superelliptic equations
  • Thue equations

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

Effective results for Diophantine equations over finitely generated domains. / Bérczes, Attila; Evertse, Jan Hendrik; Gyory, Kálmán.

In: Acta Arithmetica, Vol. 163, No. 1, 2014, p. 71-100.

Research output: Contribution to journalArticle

Bérczes, Attila ; Evertse, Jan Hendrik ; Gyory, Kálmán. / Effective results for Diophantine equations over finitely generated domains. In: Acta Arithmetica. 2014 ; Vol. 163, No. 1. pp. 71-100.
@article{8394635e426c4cddab808e0d05c2a73c,
title = "Effective results for Diophantine equations over finitely generated domains",
abstract = "Let A be an arbitrary integral domain of characteristic 0 that is finitely generated over double-struck Z. We consider Thue equations F(x,y) = δ in x,y ∈ A, where F is a binary form with coefficients from A, and δ is a non-zero element from A, and hyper- and superelliptic equations f(x) = δym in x,y ∈ A, where f ∈ A[X], δ ∈ A \ {0} and M ∈ double-struck Z≥2. Under the necessary finiteness conditions we give effective upper bounds for the sizes of the solutions of the equations in terms of appropriate representations for A, δ, F, f, M. These results imply that the solutions of these equations can be determined in principle. Further, we consider the Schinzel-Tijdeman equation f(x) = δyM where x,y ∈ A and M ∈ double-struck Z≥2 are the unknowns and give an effective upper bound for M. Our results extend earlier work of Gyo{combining double acute accent}ry, Brindza and V{\'e}gso{combining double acute accent}, where the equations mentioned above were considered only for a restricted class of finitely generated domains.",
keywords = "Diophantine equations over finitely generated domains, Effective results, Hyperelliptic equations, Schinzel-Tijdeman equation, Superelliptic equations, Thue equations",
author = "Attila B{\'e}rczes and Evertse, {Jan Hendrik} and K{\'a}lm{\'a}n Gyory",
year = "2014",
doi = "10.4064/aa163-1-6",
language = "English",
volume = "163",
pages = "71--100",
journal = "Acta Arithmetica",
issn = "0065-1036",
publisher = "Instytut Matematyczny",
number = "1",

}

TY - JOUR

T1 - Effective results for Diophantine equations over finitely generated domains

AU - Bérczes, Attila

AU - Evertse, Jan Hendrik

AU - Gyory, Kálmán

PY - 2014

Y1 - 2014

N2 - Let A be an arbitrary integral domain of characteristic 0 that is finitely generated over double-struck Z. We consider Thue equations F(x,y) = δ in x,y ∈ A, where F is a binary form with coefficients from A, and δ is a non-zero element from A, and hyper- and superelliptic equations f(x) = δym in x,y ∈ A, where f ∈ A[X], δ ∈ A \ {0} and M ∈ double-struck Z≥2. Under the necessary finiteness conditions we give effective upper bounds for the sizes of the solutions of the equations in terms of appropriate representations for A, δ, F, f, M. These results imply that the solutions of these equations can be determined in principle. Further, we consider the Schinzel-Tijdeman equation f(x) = δyM where x,y ∈ A and M ∈ double-struck Z≥2 are the unknowns and give an effective upper bound for M. Our results extend earlier work of Gyo{combining double acute accent}ry, Brindza and Végso{combining double acute accent}, where the equations mentioned above were considered only for a restricted class of finitely generated domains.

AB - Let A be an arbitrary integral domain of characteristic 0 that is finitely generated over double-struck Z. We consider Thue equations F(x,y) = δ in x,y ∈ A, where F is a binary form with coefficients from A, and δ is a non-zero element from A, and hyper- and superelliptic equations f(x) = δym in x,y ∈ A, where f ∈ A[X], δ ∈ A \ {0} and M ∈ double-struck Z≥2. Under the necessary finiteness conditions we give effective upper bounds for the sizes of the solutions of the equations in terms of appropriate representations for A, δ, F, f, M. These results imply that the solutions of these equations can be determined in principle. Further, we consider the Schinzel-Tijdeman equation f(x) = δyM where x,y ∈ A and M ∈ double-struck Z≥2 are the unknowns and give an effective upper bound for M. Our results extend earlier work of Gyo{combining double acute accent}ry, Brindza and Végso{combining double acute accent}, where the equations mentioned above were considered only for a restricted class of finitely generated domains.

KW - Diophantine equations over finitely generated domains

KW - Effective results

KW - Hyperelliptic equations

KW - Schinzel-Tijdeman equation

KW - Superelliptic equations

KW - Thue equations

UR - http://www.scopus.com/inward/record.url?scp=84907413356&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84907413356&partnerID=8YFLogxK

U2 - 10.4064/aa163-1-6

DO - 10.4064/aa163-1-6

M3 - Article

AN - SCOPUS:84907413356

VL - 163

SP - 71

EP - 100

JO - Acta Arithmetica

JF - Acta Arithmetica

SN - 0065-1036

IS - 1

ER -