Linear independence of values of polylogarithms
type: Item
instance of: scholarly article
title: Linear independence of values of polylogarithms
zbMATH Open document ID: 1079.11038
author: T. Rivoal
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2005-06-30T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/224484
review text: The polylogarithms are \(\text{Li}_s(z)=\sum_{k=1}^\infty z^k/k^s\). Let \(a\geq2\) be an integer and \(\alpha=p/q\) be a rational with \(0<| \alpha| <1)\). Let \(\delta_\alpha(a)=\dim_{\mathbb Q} ({\mathbb Q}+{\mathbb Q} \text{Li}_1(\alpha)+\cdots+{\mathbb Q}\text{Li}_a(\alpha))\). For every \(\varepsilon>0\), there is a constant \(A=A(\varepsilon, p,q)\) such that if \(a\geq A\geq1\) then \(\delta_\alpha(a)\geq {1-\varepsilon\over 1+\log2}\log a\). So the \(\text{Li}_s(\alpha)\) with \(s=1,2,\ldots\) contain infinitely many \({\mathbb Q}\)-linearly independent numbers (and infinitely many irrationals). The proof rests on properties of the nearly-poised hypergeometric functions \[ N_{n,a,r}(z) = n!^{a-r} \sum_{k=1}^\infty {(k-1)(k-2)\cdots(k-rn)\over k^a(k+1)^a\cdots(k+n)^a} z^{-k} \] and Nesterenko's criterion for linear independence. Since \(\text{Li}_s(1)=\zeta(s)\), this is an interesting complement to Rivoal's remarkable theorem that infinitely many \(\zeta(2n+1)\) are irrational.
reviewed by: John H. Loxton
Mathematics Subject Classification ID: 11J72
Mathematics Subject Classification ID: 11M41
Mathematics Subject Classification ID: 33B15
zbMATH DE Number: 2184611
zbMATH Keywords: Polylogarithms
zbMATH Keywords: hypergeometric functions
zbMATH Keywords: Nesterenko's criterion
MaRDI profile type: Publication
OpenAlex ID: W2323085865
cites work: Irrationality of infinitely many values of the zeta function at odd integers.
cites work: On the linear independence of the values of polylogarithmic functions
cites work: On the linear independence of numbers
cites work: ON IRRATIONALITY OF THE VALUES OF THE FUNCTIONS $ F(x,s)$
cites work: La fonction zêta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs
cites work: Diophantine properties of numbers related to Catalan's constant
cites work: Q5508372
DOI: 10.5802/JTNB.413
description: scientific article; zbMATH DE number 2184611