Linear independence of values of G-functions

DOI10.4171/JEMS/950zbMATH Open1446.11136arXiv1701.09051MaRDI QIDQ2178259FDOQ2178259

Authors: T. Rivoal, Stéphane Fischler 

Publication date: 7 May 2020

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: Given any non-polynomial $G$-function $F(z)=su{m}_{k=0}^{i}nfty{A}_k{z}^k$ of radius of convergence $R$, we consider the $G$-functions $F_n^{[s]}(z)=su{m}_{k=0}^{i}nftyfrac{A}_k(k+n{)}^s{z}^k$ for any integers $sgeq0$ and $ngeq1$. For any fixed algebraic number $alpha$ such that $0extlessvertalphavertextlessR$ and any number field $mathbbK$ containing $alpha$ and the $A_k$'s, we define $Ph{i}_{alpha,S}$ as the $mathbbK$-vector space generated by the values $F_n^{[s]}(alpha)$, $nge1$ and $0leqsleqS$. We prove that $u_{mathbbK,F}log(S)leqdi{m}_{mathbbK}(Ph{i}_{alpha,S})leq{v}_{F}S$ for any $S$, with effective constants $u_{mathbbK,F}extgreater0$ and $v_{F}extgreater0$, and that the family $(F_n^{[s]}(alpha){)}_{1lenle{v}_F,sge0}$ contains infinitely many irrational numbers. This theorem applies in particular when $F$ is an hypergeometric series with rational parameters or a multiple polylogarithm, and it encompasses a previous result by the second author and Marcovecchio in the case of polylogarithms. The proof relies on an explicit construction of Pad'e-type approximants. It makes use of results of Andr'e, Chudnovsky and Katz on $G$-operators, of a new linear independence criterion `a la Nesterenko over number fields, of singularity analysis as well as of the saddle point method.

Full work available at URL: https://arxiv.org/abs/1701.09051

Recommendations

• On the linear independence of values of \(G\)-functions
• On rational approximations to linear forms in values of \(G\)-functions
• Linear independence of values of \(G\)-functions. II: Outside the disk of convergence
• scientific article; zbMATH DE number 1782454
• On applications of diophantine approximations

zbMATH Keywords

singularity analysis\(G\)-function\(G\)-operatorlinear independence criterionPadé approximation

Mathematics Subject Classification ID

Asymptotic approximations, asymptotic expansions (steepest descent, etc.) (41A60) Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms (34M35) Irrationality; linear independence over a field (11J72)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• La fonction zêta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs
• Irrationality of values of the Riemann zeta function
• Generalized hypergeometric functions and rational curves on Calabi-Yau complete intersections in toric varieties
• G-fonctions et transcendance.
• Gevrey series of arithmetic type. I: Purity and duality theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Number theory IV: Transcendental numbers. Edited by A. N. Parshin, I. R. Shafarevich and R. V. Gamkrelidze. Transl. from the Russian by Neal Koblitz
• On the linear independence of numbers
• On the Zudilin-Rivoal theorem
• Irrationality of infinitely many values of the zeta function at odd integers.
• A converse to linear independence criteria, valid almost everywhere
• On the linear independence of the values of polylogarithmic functions
• Title not available (Why is that?)
• Hadamard products of algebraic functions
• On the values of \(G\)-functions
• Algebraic values of G-functions.
• Title not available (Why is that?)
• Linear independence of values of polylogarithms
• On the linear independence of numbers over number fields
• On the linear independence in algebraic number fields
• Title not available (Why is that?)
• On the denominators of the Taylor coefficients of \(G\)-functions
• Nesterenko's criterion when the small linear forms oscillate
• Values of hypergeometric functions
• Exceptional sets of hypergeometric series.
• Linear independence of linear forms in polylogarithms
• On applications of diophantine approximations
• Rational approximation to values of \(G\)-functions, and their expansions in integer bases
• Title not available (Why is that?)
• Algebraic independence of G-functions and congruences "à la Lucas"

Cited In (21)

• On primary pseudo-polynomials (around Ruzsa’s conjecture)
• General linear independence of a class of multiplicative functions
• On the linear independence of values of \(G\)-functions
• Linear independence of values of a certain generalisation of the exponential function -- a new proof of a theorem of Carlson
• Quantitative problems on the size of \(G\)-operators
• Linear independence criteria for generalized polylogarithms with distinct shifts
• Values of globally bounded \(G\)-functions
• On Galochkin's characterization of hypergeometric \(G\)-functions
• Explicit formulas of Delange-Selberg type for some classes of arithmetic functions on the semigroup \(G_{\mathcal K}\)
• A note on odd zeta values
• Linear independence of values of \(G\)-functions. II: Outside the disk of convergence
• Vectors of type II Hermite-Padé approximations and a new linear independence criterion
• Title not available (Why is that?)
• On applications of diophantine approximations
• Linear independence of 1, \(\operatorname{Li}_1\) and \(\operatorname{Li}_2\)
• On rational approximations to linear forms in values of \(G\)-functions
• Li-Yau type inequality for curves in any codimension
• Title not available (Why is that?)
• Linear independence of Gamma values in positive characteristic
• A lower bound of the dimension of the vector space spanned by the special values of certain functions
• Linear independence of values of Lerch functions

This page was built for publication: Linear independence of values of \(G\)-functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178259)