Effective analysis of integral points on algebraic curves (Q1895080): Difference between revisions

Let \(K\) be an algebraic number field and \(S\) a finite set of valuations of \(K\) containing the set of Archimedean valuations. We denote by \(O_S\) the ring of \(S\)-integers in \(K\). Let \(C: F(x, y)= 0\) be a non-singular algebraic curve defined over \(K\) and \(\Sigma\) a non-empty finite subset of \(C(\overline{\mathbb{Q}})\). A function \(z\in \overline{\mathbb{Q}}(C)\) is called a \(\Sigma\)-unit, if \(\text{supp } z\subseteq \Sigma\). The set of \(\Sigma\)-units is a group isomorphic to \(\overline{\mathbb{Q}}^*\oplus \mathbb{Z}^{\varrho(\Sigma)}\), where \(0\leq \varrho(\Sigma)\leq |\Sigma|- 1\). Assume that \(\varrho(\Sigma)\geq 2\). In the paper under review, it is proved that if \(f\in K(C)\) with set of poles equal to \(\Sigma\), then there exists a constant \(\Omega\), effectively calculable, such that for every \(P\) not a pole of \(f\) and \(f(P)\in O_S\) we have \(h(1: f(P))< \Omega\), where \(h(a_0: a_1)\) is the logarithmic height on the projective line \(\mathbb{P}^1\). In the case where \(\Sigma\) is the set of poles of the function \(x\), we have an effective bound for the height of the \(S\)-integral solutions to the equation \(F(x, y)= 0\). Moreover, the author proves that this result implies effective bounds on the height of \(S\)-integer points on many interesting classes of algebraic curves, as curves of genus 0 with 3 points at ``infinity'', genus 1, Thue curves, curves \(C: F(x, y)= 0\) of genus \(\geq 1\) such that \(x: C\to \mathbb{P}^1\) is a Galois covering, and others.