Diophantine problems for q-zeta values

Wadim Zudilin
DOI: https://doi.org/10.1023/A%3A1021450231834
2002-07-06
Abstract:A motivated q-extension of the values of the Riemann zeta function at positive integers is presented. Several irrationality and transcendence results as well as new general problems for these q-zeta values are stated.
Number Theory,Classical Analysis and ODEs
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the Diophantine approximation problem regarding \(q\)-Zeta values, especially the irrationality of these values and its measure. Specifically, the author Wadim Zudilin aims to show how to apply some recent progress in the study of the arithmetic properties of ordinary Zeta values (such as \(\zeta(k)\)) to the study of \(q\)-Zeta values. ### Main problems and objectives 1. **Proof of irrationality**: - An important objective of the paper is to prove the irrationality of \(q\)-Zeta values \(\zeta_q(1)\) and \(\zeta_q(2)\). For \(q = 1/p\), where \(p\in\mathbb{Z}\setminus\{0,\pm1\}\), the author gives specific estimates of the irrationality exponent of these values. 2. **Improvement of irrationality measure**: - For \(\zeta_q(1)\), the author obtains a new upper - bound estimate of its irrationality measure \(\mu(\zeta_q(1))\) as \(2.42343562...\), which is better than the previous result \(2.50828476...\). - For \(\zeta_q(2)\), the author also obtains a new estimate of the irrationality measure \(\mu(\zeta_q(2))\leq4.07869374...\), which is the first quantitative estimate for this type of \(q\)-Zeta values. 3. **Generalization of classical results**: - The paper also explores the algebraic independence problem of \(q\)-Zeta values, especially the relationship with Nesterenko's theorem. For example, through the modular form origin of \(q\)-Zeta values, the algebraic independence of these values under certain conditions can be derived. ### Methods and techniques - **Hypergeometric construction**: The author uses the hypergeometric series method proposed by E.M. Nikishin, L.A. Gutnik and Yu.V. Nesterenko to construct linear forms and uses these forms to study the arithmetic properties of \(q\)-Zeta values. - **Group structure scheme**: Introduces the group structure scheme proposed by G. Rhin and C. Viola to ensure that the constructed linear forms have the required properties. - **Polynomial transformation**: Through specific polynomial transformations (such as \(\tau\) and \(\sigma\)), the author is able to further improve the estimates of the irrationality measure. ### Summary In general, this paper successfully solves the problems of the irrationality and its measure of \(q\)-Zeta values by introducing \(q\)-Zeta values and combining modern number - theory tools, and lays the foundation for further research on the algebraic properties of \(q\)-Zeta values.