A metrical result on transcendence measures in certain fields (Q1924259)

Sei \(\mathbb{F}_q\) ein Körper mit \(q\) Elementen, \(A:=\mathbb{F}_q[T]\) der Ring der Polynome in einer Unbestimmten \(T\) über \(\mathbb{F}_q\) und \(K_\infty:=\mathbb{F}_q((1/T))\) der Körper der formalen Laurentreihen über \(\mathbb{F}_q\). Wie üblich bezeichne \(|\cdot|\) die nichtarchimedische Bewertung von \(K_\infty\), die durch \(|\omega|:= q^{-\ell}\) definiert ist, wenn in der eindeutigen Darstellung \((*)\) \(\sum^\infty_{\nu=\ell}a_\nu T^{-\nu}\) (mit allen \(a_\nu\in\mathbb{F}_q\)) von \(\omega\in\mathbb{F}_q\backslash \{0\}\) die Ungleichung \(a_\ell\neq 0\) gilt. Ferner werde für jedes Polynom \(P(X):=\sum^d_{i=0} p_iX^i\in A[X]\backslash\{0\}\) mit \(h(P):=\log_q\max(|p_0|,\dots,|p_d|)\) die logarithmische Höhe von \(P\) bezeichnet. Mit diesen Bezeichnungen beweist Verf. folgenden Satz: Sei \(\varepsilon\in\mathbb{R}_+\) beliebig. Dann hat man für fast alle \(\omega\in K_\infty\) (im Sinne des Haarschen Maßes auf \(K_\infty\)) die Ungleichung \[ |P(\omega)|\geq q^{-(3+ \varepsilon)dh}\cdot\min(1,|\widetilde\omega|^d)\tag{\(**\)} \] für alle \(P\in A[X]\backslash\{0\}\) mit \(\max(d,h)\geq c(\omega,\varepsilon)\), wo \(d:=\deg P\), \(h:=h(P)\) gilt und \(\widetilde\omega\) für \(\omega\) minus dem konstanten Term von \(\omega\) (d.h. dem \(a_0\) aus \((*)\)) steht. Dabei ist \(c(\omega,\varepsilon)\) eine positive Konstante, die höchstens von \(\omega\) und \(\varepsilon\) abhängt. Aus einem Resultat des Ref. [\textit{P. Bundschuh}, J. Reine Angew. Math. 299/300, 411-432 (1978; Zbl 0367.10032)], welches vom Verf. hier leicht verschärft wird, folgt, daß \((**)\) nahezu bestmöglich ist.