On the global distance between two algebraic points on a curve. (Q1427981)

In 1929 C. L. Siegel introduced a transcendence method for studying the arithmetic nature of the values of analytic functions in certain classes which he called \(E\)- and \(G\)-functions. Among the \(G\)-functions are the algebraic functions. Among others, Siegel's method has been developed on the one hand for \(G\)-functions by A. I. Galochkin, E. Bombieri, G. V. Chudnovsky, and Y. André and on the other hand for the studies of values of algebraic functions by \textit{Th.~Schneider} [Rationale Punkte auf einer algebraischen Kurve, Sémin. Delange-Pisot-Poitou, 15e année 1973/74, Théorie des Nombres, Fasc. 1, Exposé 20 (1975; Zbl 0348.14010)], V. G. Sprindzhuk, P. Dèbes and Y. André [for references, see \textit{Y. André}, G-functions and geometry. Aspects of Mathematics, 13. Wiesbaden etc.: Friedr. Vieweg \& Sohn (1989; Zbl 0688.10032)]. In this paper the authors combine Siegel's method with the interpolation determinant argument of the first author in order to establish what they call Liouville type inequalities on a curve. They apply their estimates to Hilbert's Irreducibility Theorem and Runge's method. An interesting feature of the results of this paper is that they are completely explicit.