Hyperg{é}om{é}trie et fonction z{ê}ta de Riemann
Abstract
Description
We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the vector space over $\mathbb Q$ spanned by $1,ζ(m),ζ(m+2),...,ζ(m+2h)$, where $m$ and $h$ are integers such that $m\ge2$ and $h\ge0$. In particular, we immediately get the following results as corollaries: at least one of the eight numbers $ζ(5),ζ(7),...,ζ(19)$ is irrational, and there exists an odd integer $j$ between 5 and 165 such that 1, $ζ(3)$ and $ζ(j)$ are linearly independent over $\mathbb{Q}$. This strengthens some recent results in [41] and [8], respectively. We also prove a related conjecture, due to Vasilyev [49], and as well a conjecture, due to Zudilin [55], on certain rational approximations of $ζ(4)$. The proofs are based on a hypergeometric identity between a single sum and a multiple sum due to Andrews [3]. We hope that it will be possible to apply our construction to the more general linear forms constructed by Zudilin [56], with the ultimate goal of strengthening his result that one of the numbers $ζ(5),ζ(7),ζ(9),ζ(11)$ is irrational.
AmS-LaTeX, 73 pages; completely rewritten: (1) The strategy for proving the theorems for the coefficient p_0 was changed. The effect is that our theorems now hold unconditionally. (2) A full proof of Zudilin's conjecture on the linear forms for zeta(4) coming from symmetric series is now contained. (3) These improvements made it necessary to completely restructure the article
AmS-LaTeX, 73 pages; completely rewritten: (1) The strategy for proving the theorems for the coefficient p_0 was changed. The effect is that our theorems now hold unconditionally. (2) A full proof of Zudilin's conjecture on the linear forms for zeta(4) coming from symmetric series is now contained. (3) These improvements made it necessary to completely restructure the article