Roth's theorem over arithmetic function fields

From MaRDI portal



Abstract: Roth's theorem is extended to finitely generated field extensions of BbbQ, using Moriwaki's framework for heights.


An arithmetic function field is a finitely generated extension of \({\mathbb{Q}}\). \textit{A. Moriwaki} [J. Algebr. Geom. 18, No. 3, 407--457 (2009; Zbl 1167.14014)] formulated a theory of heights over an arithmetic function field. The author uses this theory to extend Roth Theorem over arithmetic function fields by means of an extension of the standard proof. He gives four equivalent formulations of Roth Theorem over arithmetic function fields. One of them, which is the version used for the proof, is the following. \par Let \(K\) be an arithmetic function field, \(M:= (B; {\mathcal{M}} , \ldots, {\mathcal{M}})\) a big polarization of \(K\) with all metrized line sheaves equal to the same smoothly metrized line sheaf \({\mathcal{M}}\), \(M_K\) be derived from this polarization, and \(S\) a subset of \(M_K\) with finite measure. Let \(D\) be a reduced effective divisor on \({\mathbb{P}}^1_K\); let \(m_S(D,\cdot)\) be the proximity function associated to some choice of Weil function for \(D\); let \(\varepsilon > 0\) and let \(c\in{\mathbb{R}}\). Then the inequality \(m_S(D,\xi)\le (2+\varepsilon)h_K(\xi)+c \) holds for all but finitely many \(\xi\in K\). \par For the reduction of the theorem to simultaneous approximation, the author's key idea comes from a work by \textit{E. A. Wirsing} [Proc. Sympos. Pure Math. 20, 213--247 (1971; Zbl 0223.10017)]. Instead of Roth Lemma, the author uses a version of Dyson's Lemma due to \textit{H. Esnault} and \textit{E. Viehweg} [Invent. Math. 78, 445--490 (1984; Zbl 0545.10021)].











This page was built for publication: Roth's theorem over arithmetic function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065098)