Abstract:Fresán and Jossen have given a negative answer to a question of Siegel about the representability of every $E$-function as a polynomial with algebraic coefficients in $E$-functions of type ${}_pF_q[\underline{a};\underline{b};\gamma x^{q-p+1}]$ with $q\geq p\geq 0$, $\gamma \in \overline{\mathbb Q}$ and rational parameters $\underline{a}, \underline{b}$. In this paper, we study, in a more general context, a similar question for $G$-functions asked by Fischler and the second author: can every $G$-function be represented as a polynomial with algebraic coefficients in $G$-functions of type $\mu(x)\cdot {}_pF_{p-1}[\underline{a};\underline{b};\lambda(x)]$ with $p\ge 1$, rational parameters $\underline{a},\underline{b}$ and $\mu,\lambda$ algebraic over $\mathbb Q(x)$ with $\lambda(0)=0$? They have shown the answer to be negative under a generalization of Grothendieck's Period Conjecture and a technical assumption on the~$\lambda$'s. Using differential Galois theory, we prove that, for every $N\in \mathbb N$, there exists a $G$-function which can not be represented as a rational function with coefficients in $\overline{\mathbb C(x)}$ of solutions of linear differential equations with coefficients in $\mathbb C(x)$ and at most $N$ singularities in $\mathbb{P}^1 (\mathbb C)$. As a corollary, we deduce that not all $G$-functions can be represented as a rational function in hypergeometric series of the above mentioned type, when the $\lambda$'s are rational functions with degrees of their numerators and denominators bounded by an arbitrarily large fixed constant. This provides an unconditional negative answer to the question asked by Fischler and the second author for such~$\lambda$'s.

Values of E-functions are not Liouville numbers

Transcendence of values of logarithms of $E$-functions

Relations algébriques entre valeurs de E-fonctions ou de M-fonctions

Linear independence measures for values of certain q-series

Positive positive-definite functions and measures on locally compact abelian groups

On algebraic conditions for the non-vanishing of linear forms in Jacobi theta-constants

L-series and their 2-adic and 3-adic valuations at s=1 attached to CM elliptic curves

Liouville's Theorem on integration in finite terms for $\mathrm D_\infty,$ $ \mathrm{SL}_2$ and Weierstrass field extensions

Algebraicity of critical values of triple product $L$-functions in the balanced case

The linear independence of $1$, $ζ(2)$, and $L(2,χ_{-3})$

On the measurable dynamics of real rational functions

Linear independence of $q$-analogue of the generalized Stieltjes constants over number fields

Elliptic Gauss Sums and Hecke L-values at s=1

On values of the Bessel function for generic representations of finite general linear groups

On the central value of Rankin $L$-functions for self-dual algebraic representations of linear groups over totally real fields

Algebraic independence of values of quasi-modular forms

On the Liouville function at polynomial arguments

On integral aspects of Asai periods and Euler systems for $\mathrm{Res}_{E/\mathbf{Q}}\mathrm{GL}_2$

Value sharing and Stirling numbers

Representability of G-functions as rational functions in hypergeometric series

Liouville-type Theorems, Radial Symmetry and Integral Representation of Solutions to Hardy-H\'enon Equations Involving Higher Order Fractional Laplacians