Irrationality of some \(p\)-adic \(L\)-values (Q943508)

Verf. beweist die Irrationalität einer großen Familie \(p\)-adischer Zahlen, von denen sich einige als Werte \(p\)-adischer \(L\)-Reihen an den Stellen 2 oder 3 erweisen. Genauer gesagt, werden die folgenden drei Laurent-Reihen arithmetisch untersucht: \[ S_1(x):=\sum_{n\geq0}2(2^n-1)B_n(-1/x)^{n+1}, \] \[ S_2(x):=\sum_{n\geq0}(n+1)B_n(-1/x)^{n+2}, \] \[ S_3(x):=\sum_{n\geq0}B_n(-1/x)^{n+1} \] (Verf. nennt sie \(\Theta(x),T(x)\) bzw. \(R(x)\)), wobei \(B_n\) die \(n\)te Bernoulli-Zahl bedeutet. Bezeichnet nun \(p\) eine Primzahl, \(a\in\mathbb{Z}/ p\mathbb{Z}, F\in p\mathbb{N}\) und ist \(r\) der genaue Exponent von \(p\) in \(F\), so lauten die drei Hauptsätze der Arbeit wie folgt. Gilt \(\log F+\sum_{q| F}(\log q)/(q-1)+(j+1)/2< 2(\log p)(r+1/(p-1))\) für \(j\in\{1,2,3\}\), so ist \(S_{j,p}(a/F)\notin\mathbb{Q}\). Dabei deutet der zusätzliche Index \(p\) an, dass die Reihe \(S_j(x)\) an \(x=a/F\) in \(\mathbb{Q}_p\) konvergiert; obige Summation \(\sum_{q| F}\) versteht sich genau über die \(F\) teilenden Primzahlen \(q\). Ohne die Definition der \(p\)-adischen Zetafunktion \(\zeta_p(s)\) hier reproduzieren zu können (siehe Anhang der Arbeit), zeigt Verf. zahlreiche Identitäten des Typs \(S_{1,2}(1/2)=-8\zeta_2(2),\, S_{1,3}(1/3)=-27\zeta_3(2)/2,\, S_{2,2}(1/4)=64\zeta_2(3)\) und \(S_{2,3}(1/3)=27\zeta_3(3)\). Damit ergibt sich insbesondere die Irrationalität der \(p\)-adischen Zetawerte \(\zeta_p(k)\) für \(p=2,3\) und \(k=2,3\). Solche Resultate hatte \textit{F. Calegari} [Int. Math. Res. Not. 20, 1235--1249 (2005; Zbl 1070.11027)] als Anwendung der Theorie überkonvergenter \(p\)-adischer Modulformen erzielt. Ein Hauptverdienst des Verf. ist es, ohne derart `schwere Geschütze' auszukommen und elegante, durchsichtige Beweise gefunden zu haben, die mit dem klassischen Mittel der Padé-Approximationen (an die Funktionen \(S_j(x))\) operieren.