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.

Gaps in Taylor series of algebraic functions

Taylor Polynomials of Rational Functions

Non-vanishing of Taylor coefficients and Poincaré series

Means and non-real Intersection Points of Taylor Polynomials

On the Divergence of Taylor Series in de Branges-Rovnyak Spaces

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

On rational functions orthogonal to all powers of a given rational function on a curve

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

An algebraic formulation of Thurston's characterization of rational functions

Representability of G-functions as rational functions in hypergeometric series

Exponential Taylor Series

Points of bounded height on oscillatory sets

Quadratic twists of genus one curves

Distribution of rational points of an algebraic surface over finite fields

Zero Distribution of Generated Taylor Polynomials

Rational Approximations to Certain Algebraic Numbers

The Set of Pure Gaps at Several Rational Places in Function Fields

Density formulas for $p$-adically bounded primes for hypergeometric series with rational and quadratic irrational parameters

Meandromorphic functions

Explicit results for Euler's factorial series in arithmetic progressions under GRH