Algebraic independence of values of hypergeometric \(E\)-functions (Q1916583)

Let \(t\geq 1\), \(l\geq 0\) be integers and \(S=\{\nu_1, \dots, \nu_l; \lambda_1, \dots, \lambda_{t+1}\}\) a set of rational numbers. We denote \[ F_S(z)= \sum_{n\geq 0} {(\nu_1 )_n \cdots (\nu_l)_n \over (\lambda_1)_n \cdots (\lambda_{t+1})_n} \left( {z \over n} \right)^{tn}. \] Using techniques from [\textit{F. Beukers}, \textit{W. D. Brownawell}, and \textit{G. Heckman}, Ann. Math. 127, 279-308 (1988; Zbl 0652.10027)] and [\textit{V. Kh. Salikhov}, Acta Arith. 53, No. 5, 453-471 (1990; Zbl 0831.11037)] the author proves algebraic independence over \(\mathbb{Q}\) of the numbers \[ F_{S_1} (\alpha_1), \dots, F_{S_1}^{(t_1+ l_1-1)} (\alpha_1),\;F_{S_2} (\alpha_2), \dots, F_{S_k}^{(t_k+l_k-1)} (\alpha_k) \] for a large set of choices of sets \(S_i\) and non-zero algebraic numbers \(\alpha_i\). The author thereby extends earlier results of Salikhov and it seems that he found the most general statement possible in this direction. While reading the English translation one should bear in mind the author's idea of an irreducible differential equation, i.e. factorisable over \(\mathbb{C}(z)\).