On the size of integer solutions of elliptic equations

From MaRDI portal





Let \(K\) be a number field of degree \(d\) and \(O_K\) its ring of integers. Let \(f(x)= x^3+ ax+ b\) be a polynomial in \(O_K[x]\) with discriminant \(\Delta_f\neq 0\). \textit{D. Poulakis} [J. Aust. Math. Soc., Ser. A 63, 145-164 (1997; Zbl 0893.11010)], using the ``multiplication by 2 on an elliptic curve, obtained an upper bound for the size of the integer solutions of the elliptic equation \(y^2= f(x)\). In the paper under review, the author reworks the approach of Poulakis and deduces two new upper bounds which improve upon his estimate. We denote by \(H\), \(D_K\), \(N_K\) respectively, the height of \(f(x)\), the discriminant of \(K\) and the norm of \(K\). The first result of this paper asserts that if \(x,y\in O_K\) is a solution to the equation \(y^2= f(x)\), then the (multiplicative) heights of \(x\) and \(y\) are less than \[ H^{35}\exp\{(100d)^{100d}| D_K|^{12}| N_K(\Delta_f)|^7 (\log| D_K N_K(\Delta_f)|)^{24d-1}\}. \] Let \(t\) be the number of distinct prime ideals of \(O_K\) dividing \(\Delta_f\). We denote by \(P\) (respectively \(Q\)) the greatest prime factor (respectively the greatest square factor) of \(| N_K(\Delta_f)|\). The second result of this paper says that if \(x,y\in O_K\) is a solution to the equation \(y^2= f(x)\), then the (multiplicative) heights of \(x\) and \(y\) are at most \[ H^{35}\exp\{(100(t+ d))^{100(t+ d)} P^{24d} Q^{9d}| D_K|^6| N_K(\Delta_f)|^7 (\log| D_K|)^{12d+ 1}\}. \] Moreover, the results of this paper improve on the results of \textit{W. M. Schmidt} obtained by the ``classical method that goes back to Siegel and those of \textit{A. Pintér} [Bull. Aust. Math. Soc. 52, 195-199 (1995; Zbl 0839.11014)] obtained by reducing the problem to the study of Thue equations.











This page was built for publication: On the size of integer solutions of elliptic equations

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