Vol. 11, No. 1, 2022

Download this article
Download this article For screen
For printing
Recent Issues
Volume 13, Issue 1
Volume 12, Issue 4
Volume 12, Issue 3
Volume 12, Issue 2
Volume 12, Issue 1
Volume 11, Issue 4
Volume 11, Issue 3
Volume 11, Issue 2
Volume 11, Issue 1
Volume 10, Issue 4
Volume 10, Issue 3
Volume 10, Issue 2
Volume 10, Issue 1
Volume 9, Issue 4
Volume 9, Issue 3
Volume 9, Issue 2
Volume 9, Issue 1
Volume 8, Issue 4
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Older Issues
Volume 7, Issue 4
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 4
Volume 6, Issue 2-3
Volume 6, Issue 1
Volume 5, Issue 4
Volume 5, Issue 3
Volume 5, Issue 1-2
Volume 4, Issue 4
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Issue 3-4
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 4
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 4
Volume 1, Issue 3
Volume 1, Issue 2
Volume 1, Issue 1
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
founded and published with the
scientific support and advice of
mathematicians from the
Moscow Institute of
Physics and Technology
Subscriptions
 
ISSN (electronic): 2996-220X
ISSN (print): 2996-2196
Author Index
To Appear
 
Other MSP Journals
On Galochkin's characterization of hypergeometric $G$-functions

Tanguy Rivoal

Vol. 11 (2022), No. 1, 11–19
Abstract

G-functions are power series in ¯[[z]] solutions of linear differential equations, and whose Taylor coefficients satisfy certain (non-)archimedean growth conditions. In 1929, Siegel proved that every generalized hypergeometric series q+1Fq with rational parameters is a G-function, but rationality of parameters is in fact not necessary for a hypergeometric series to be a G-function. In 1981, Galochkin found necessary and sufficient conditions on the parameters of a q+1Fq series to be a nonpolynomial G-function. His proof used specific tools in algebraic number theory to estimate the growth of the denominators of the Taylor coefficients of hypergeometric series with algebraic parameters. We give a different proof using methods from the theory of arithmetic differential equations, in particular the André–Chudnovsky–Katz theorem on the structure of the nonzero minimal differential equation satisfied by any given G-function, which is Fuchsian with rational exponents.

Keywords
$G$-functions, generalized hypergeometric series, Fuchsian differential equations
Mathematical Subject Classification
Primary: 33C20
Secondary: 11J91, 34M15
Milestones
Received: 3 June 2021
Accepted: 26 July 2021
Published: 30 March 2022
Authors
Tanguy Rivoal
Institut Fourier
CNRS et Université Grenoble Alpes, CS 40700
Grenoble
France