Heights of function field points on curves given by equations with separated variables (Q2909607)

Let \(k\) be an algebraically closed field of characteristic zero, and let \(P\) and \(Q\) be non linear polynomials in \(k[X]\) of degree \(m\) and \(n\), respectively. Let \(f\) and \(g\) be elements of a function field \({\mathbf K}\) over \(k\) such that \(P(f)=Q(g)\).NEWLINENEWLINE The authors give conditions on \(P\) and \(Q\) such that the height \(h(f)\) and \(h(g)\) can be bounded by genus \(\mathfrak{g}\).NEWLINENEWLINEDenote by \(\alpha_1\), \(\alpha_2, \dots, \alpha_\ell\) and \(\beta_1\), \(\beta_2\), \dots, \(\beta_r\) the distinct roots of \(P'(X)\) and \(Q'(X)\), and use \(p_1, p_2, \dots, p_\ell\) and \(q_1, q_2, \dots, q_r\) to denote the multiplicities of the roots in \(P'(X)\) and \(Q'(X)\), respectively. One of the results in this paper is the following.NEWLINENEWLINESuppose that \(f\) and \(g\) are two distinct non constant rational functions in \({\mathbf K}\). Let \(B_0=\{i\mid 1\leq i \leq \ell,\;P(\alpha_i)\neq Q(\beta_j) \;\text{for all }j=1, \dots, r\)