Arithmetic properties of values of polylogarithms (Q1062090)

The author considers the arithmetic properties of the values of the functions \[ L_ k(\alpha,z)=\sum^{\infty}_{n=1}z^ n/(n+\alpha)^ k,\quad k\in {\mathbb{N}},\quad \alpha \in {\mathbb{Q}}. \] Let \(k_ 1,...,k_ m\) be natural numbers and denote \(s=k_ 1+...+k_ m\). \(\mu_ 1,...,\mu_ m\) denote rational numbers satisfying \(0\leq \mu_ 1<...<\mu_ m<1\). Let \(z=p/q\), \(q>0\), satisfy \(| z| >1\). Then there exists an explicitly given \(f(s,\mu_ 1,...,\mu_ m)>0\) such that if \[ (| z| +1)^ s (\frac{| z| -1}{| z| +1})^{s^ 2} | p|^{1-s} q^{-1}>f(s,\mu_ 1,...,\mu_ m), \] then the numbers 1, \(L_ i(\mu_ j,q/p)\) \((i=1,...,k_ j\), \(j=1,...,m)\) are linearly independent over \({\mathbb{Q}}\). The proof uses the irrationality criterion of \textit{Yu. V. Nesterenko} [Vestn. Mosk. Univ., Ser. I 1985, No.1, 46-49 (1985; see the following review)]. The functions \(L_ k(0,z)\) are previously considered e.g. by \textit{E. M. Nikishin} [Mat. Sb., Nov. Ser. 109 (151), No.3, 410-417 (1979; Zbl 0414.10032)], \textit{L. A. Gutnik} [Usp. Mat. Nauk 37, No.5 (227), 179-180 (1982; Zbl 0509.10026)] and the reviewer [Acta Arith. 36, 273-295 (1980; Zbl 0369.10021)].