Linear and algebraic independence of \(q\)-zeta values (Q2508719): Difference between revisions

In this paper, results on linear and algebraic independence of \(q\)-series of the form \(\zeta_q(s) = \sum_{n=1}^\infty \sigma_{s-1}(n)q^n\) over the field \(\mathbb C(q)\) are obtained, where \(\sigma_{s-1}(n) =\sum_{d\mid n} d^{s-1}\), \(s= 1, 2,\dots\). The author proves the following: Theorem 2. For any \(s > 1\), the functions \(\zeta_q(1)\) and \(\zeta_q(s)\) are algebraically independent over \(\mathbb C(q)\). Theorem 3. Let the functions \(\zeta_q(s_1),\zeta_q(s_2),\dots,\zeta_q(s_k)\) be algebraically independent over \(\mathbb C(q)\) for some number family \(s_1, s_2, \dots, s_k\in\mathbb N\) such that \(s_i > 1\), \(i = 1, \dots, k\). In this case, the functions \(\zeta_q(1)\) and \(\zeta_q(s_1),\zeta_q(s_2),\dots, \zeta_q(s_k)\) are also algebraically independent over \(\mathbb C(q)\). Theorem 4. The functions \(\zeta_q(1)\), \(\zeta_q(2)\), \(\zeta_q(4)\), and \(\zeta_q(6)\) are algebraically independent over \(\mathbb C(q)\).