scientific article; zbMATH DE number 1290080
curves of higher genuseffective version of Siegel's theoremfiniteness of integral points on curvesGalois coveringsGelfond-Baker methodJFM 56.0180.05
[https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Linear forms in logarithms; Baker's method (11J86) Rational points (14G05)
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.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4244053)
