No label defined (Q4244053)

Let \(C\) be a smooth projective curve of genus \(g(C)\) defined over the rationals and let \(x\in Q(C)\) be a non-constant rational function on \(C\). Further, let \(C(x,\mathbb{Z})\) be the set of integral points on \(C\), that is points in \(C(\mathbb{Q})\) for which \(x(F)\in\mathbb{Z}\). \textit{C. L. Siegel }'s famous theorem [Abh. Akad. Berlin 1929, No. 1, 1-70 (1929; JFM 56.0180.05)] now asserts that \(C(x,\mathbb{Z})\) is finite, provided \(g(C)\geq 1\) or \(x\) has at least 3 distinct poles over \(\overline\mathbb{Q}\). Unfortunately, all known proofs are non-effective. The paper begins with a brief discussion of the finiteness of integral points on curves and continues with the powerful Gelfond-Baker method bringing effectiveness into the picture. The author then mentions the following effective version of Siegel's theorem for Galois coverings [cf. \textit{Yu. Bilu} (Yu. Belotserkovskij), Izv. Akad. Nauk BSSR, Ser. Fiz.-Mat. Nauk 1988, No. 6, 34-39 (1988; Zbl 0669.10037), \textit{R. Dvornicich} and \textit{U. Zannier}, Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 21, 421-443 (1994; Zbl 0819.12003)]: If \(g(C)\geq 1\) and \(\overline\mathbb{Q}(C)\) is a Galois extension of \(\overline\mathbb{Q}(x)\) then \(\max_{P\in C(x,\mathbb{Z})}|x(P)|\leq c_{\text{eff}}(C,x)\). He then refers to his quantitative version [\textit{Yu. Bilu}, Compos. Math. 106, 125-158 (1997)] of this theorem and proceeds by sketching a proof.