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.

Geometric progressions in the sets of values of rational functions

Three term rational function progressions in finite fields

Rational configuration problems and a family of curves

Quantitatively hyper-positive real rational functions II

Plea for diagonals and telescopers of rational functions

On sets of rational functions which locally represent all of $\mathbb{Q}$

The Geometry of Locally Bounded Rational Functions

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

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

On several irrationality problems for Ahmes series

Circles with four rational points in geometric progression

On the Iterated Monodromy Groups of Quadratic Rational functions with periodic critical points

Arithmetic and Geometric Progressions in Productsets over Finite Fields

Representability of G-functions as rational functions in hypergeometric series

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

Diophantine problems related to cyclic cubic and quartic fields

Composite Rational Functions and Arithmetic Progressions

Rationality and arithmetic of the moduli of abelian varieties

Gauss congruences for rational functions in several variables

Density of Rational Points Near Flat/Rough Hypersurfaces