A refinement of Nesterenko's linear independence criterion with applications to zeta values (Q976776): Difference between revisions

Verff. verschärfen die Dimensionsabschätzung von \textit{Yu. V. Nesterenko} [Mosc. Univ. Math. Bull. 40, 69--74 (1985; Zbl 0572.10027)] unter Verwendung des Minkowskischen Gitterpunktsatzes wie folgt. Mit \(r\in\mathbb{N}\) sei \(\underline{\xi}:=(\xi_0,...,\xi_r)\in\mathbb{R}^{r+1}\setminus\{\underline{0}\}, s:= \dim_\mathbb{Q}\mathrm{span}_\mathbb{Q}\underline{\xi}-1\) und für jedes \((i,n)\in\{0,...,r\}\times\mathbb{N}\) seien \(\ell_{i,n}\in\mathbb{Z}\). Es sei \(\delta_{0,n}:=1\) und \(\delta_{i,n}\in\mathbb{N}\) für jedes \((i,n)\in\{1,...,r\}\times\mathbb{N}\) ein Teiler von \(\ell_{i,n}\) mit den Eigenschaften \(\delta_{i,n}|\delta_{i,n+1}\) bzw. \(\delta_{i,n+1}\delta_{j,n}|\delta_{j,n+1}\delta_{i,n}\) für alle \(n\in\mathbb{N}\) und \(0\leq i<j\leq r\). Weiter gebe es eine wachsende Folge \((Q_n)\in\mathbb{N}^\mathbb{N}\), die bei \(n\to\infty\) folgenden vier Bedingungen genügt: \(Q_{n+1}=Q_n^{1+o(1)}, \max_{0\leq i\leq r}|\ell_{i,n}|\leq Q_n^{1+o(1)}, |\sum_{i=0}^r \ell_{i,n}\xi_i|=Q_n^{-\tau+o(1)}\) bei festem \(\tau\in\mathbb{R}_+\), und \((\log \delta_{i,n})/(\log Q_n)\) konvergiert für jedes \(i\in\{1,...,r\}\) gegen ein reelles \(\gamma_i\geq0\). Dann gilt \(s\geq\tau+\gamma_1+...+\gamma_s\). Eine typische Anwendung, die die Qualität der erzielten Verbesserungen erkennen lässt, lautet wie folgt. Es gibt ungerade \(i_1,i_2\in\mathbb{N}\) mit \(i_1\leq139, i_2\leq1961\), so dass \(1,\zeta(3),\zeta(i_1),\zeta(i_2)\) über \(\mathbb{Q}\) linear unabhängig sind, \(\zeta\) die Riemannsche Zetafunktion. Dies verbessert das frühere Ergebnis \(i_1\leq145,i_2\leq1971\) von \textit{W. Zudilin} [Izv. Math. 66, 489--542 (2002; Zbl 1114.11305)]. Mit \(\log 2\) anstelle von \(\zeta(3)\) gilt ein entsprechendes Resultat bei \(i_1\leq93,i_2\leq1151\); auch wird ein \(q\)-Analogon angegeben.