Effective results for unit equations over finitely generated domains
From MaRDI portal
Publication:6226830
arXiv1107.5756MaRDI QIDQ6226830FDOQ6226830
Kálmán Győry, Jan-Hendrik Evertse
Publication date: 28 July 2011
Abstract: Let A be a commutative domain containing Z which is finitely generated as a Z-algebra, and let a,b,c be non-zero elements of A. It follows from work of Siegel, Mahler, Parry and Lang that the equation (*) ax+by=c has only finitely many solutions in elements x,y of the unit group A* of A, but the proof following from their arguments is ineffective. Using linear forms in logarithms estimates of Baker and Coates, in 1979 GyH{o}ry gave an effective proof of this finiteness result, in the special case that A is the ring of S-integers of an algebraic number field. Some years later, GyH{o}ry extended this to a restricted class of finitely generated domains A, containing transcendental elements. In the present paper, we give an effective finiteness proof for the number of solutions of (*) for arbitrary domains A finitely generated over Z. In fact, we give an explicit upper bound for the `sizes' of the solutions x,y, in terms of defining parameters for A,a,b,c. In our proof, we use already existing effective finiteness results for two variable S-unit equations over number fields due to GyH{o}ry and Yu and over function fields due to Mason, as well as an explicit specialization argument.
This page was built for publication: Effective results for unit equations over finitely generated domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6226830)
