No label defined (Q3837792)

Let \(F(X,Y),G(X,Y)\) be binary forms in \(Z[X,Y]\) of degrees \(r,s\) at least three, so that \(FG\) has no multiple factors. For \(U=\left(\begin{matrix} a&b\cr c&d \end{matrix}\right)\in GL_2({\mathbb Z})\) set \(F_U(X,Y)=F(aX+bY,cX+dY)\) and similarly for \(G_U\). Note that for the resultants of these polynomials \(|R(F_U,G_U)|=|R(F,G)|\) holds. The author proves that there is a matrix \(U\in GL_2({\mathbb Z})\) such that \[ |R(F,G)|\geq C(H(F_U)^sH(G_U)^r)^{1/718} \] where \(H(.)\) denotes the height and \(C\) is an ineffective constant depending on \(r,s\) and the splitting field of \(FG\). The main result implies a lower bound for the difference of two algebraic numbers which is an improvement of Liouville's inequality. In the proof the results of \textit{J.-H. Evertse} [J. Reine Angew. Math. 434, 159-190 (1993; Zbl 0763.11012)] and \textit{J.-H. Evertse} and \textit{K. Győry} [Compos. Math. 88, No. 1, 1-23 (1993; Zbl 0780.11016)] are used which are based on the subspace theorem of Schmidt and its generalization by Schlickewei. For the entire collection see [Zbl 0887.00013].