Hypergeometric \(E\)-functions and orthogonal Galois groups (Q1378437)

Le problème posé dans cet article est le calcul du degré de transcendance sur \(\mathbb{C}(z)\) du corps différentiel \(\mathbb{C}(z) \langle \varphi_{\mu,\nu}\rangle\) engendré sur \(\mathbb{C}(z)\) par la solution (analytique en 0) \[ \varphi_{\mu,\nu}(z)= \sum_{n\geq 0} \frac{(\mu_1)_n\cdots (\mu_p)_n} {n!(\nu_1)_n\cdots (\nu_{q-1})_n} \biggl( \frac{z} {q-p} \biggr)^{(q-p)n} \] de l'équation différentielle \(H_{\mu,\nu}\cdot \varphi= 0\), où \(\mu= (\mu_1,\dots, \mu_p)\in \mathbb{C}^p\), \(\nu= (\nu_1,\dots, \nu_{q-1})\in \mathbb{C}^{q-1}\), \(p\) et \(q\) entiers, \(1\leq p< q\), \(\nu_i\) entiers, \(1\leq p< q\), \(\nu_i\) entiers \(\geq 1\), \((\gamma)_0= 1\), \((\gamma)_n= \gamma (\gamma+1)\dots (\gamma+ n-1)\) si \(\gamma\in \mathbb{C}\) et \(n\in \mathbb{N}\setminus \{0\}\), et \(H_{\mu,\nu}= (\prod_{i=1}^q (\theta+ (q-p) (\nu_i-1)))- z^{q-p} \prod_{j=1}^p (\theta+ (q-p) \mu_j)\), avec \(\theta= z\frac{d}{dz}\). Ce problème est résolu par l'auteur dans le cas où (C): \(H_{\mu,\nu}\) est linéairement irréducible sur \(\mathbb{C}(z)\), i.e. Lie-irréductible [cf. \textit{N. M. Katz}, Exponential sums and differential equations, Ch. 3, Ann. Math. Studies 124 (Princeton 1990; Zbl 0731.14008)], de groupe de Galois différentiel \(G\) sur \(\mathbb{C}(z)\) isomorphe à un sous-groupe de \(O(q,\mathbb{C})\). Les résultats sont résumés dans les théorèmes 1 et 2. L'auteur énonce d'abord des conditions paramétriques, dites conditions d'orthogonalité, portant sur \(\mu\) et \(\nu\) et valables pour tout \((p,q)\), suffisantes pour que l'hypothèse (C) soit satisfaite. Un cas exceptionnel apparaissant \((q=8\) et \(p=2)\), l'auteur désigne par condition d'adjonction les conditions paramétriques correspondantes. Théorème 1. On suppose que les conditions d'orthogonalité sont satisfaites et que la condition d'adjonction n'est pas satisfaite. Soit \(f\) une solution non nulle de \(H_{\mu,\nu} y=0\). (i) Si \(\alpha\in \mathbb{Q}\), alors \(\text{degtr} (\mathbb{C}(z) \langle f\rangle/ \mathbb{C}(z))= q-1\); (ii) Si \(\alpha\not\in \mathbb{Q}\), alors \(\text{degtr} (\mathbb{C}(z) \langle f\rangle/ \mathbb{C}(z))= q-1\) ou \(q\); (iii) Les deux cas possibles de (ii) sont atteints; (iv) De plus, que \(\alpha\) soit rationnel ou non, \(\text{degtr} (\mathbb{C}(z) \langle \varphi_{\mu,\nu} \rangle/ \mathbb{C}(z))= q-1\). Théorème 2. On suppose que \(q=8\) et que la condition d'adjonction est satisfaite. Soit \(f\) une solution non nulle de \(H_{\mu,\nu} y=0\). (i) Si \(\alpha\in \mathbb{Q}\), alors \(\text{degtr} (\mathbb{C}(z)\langle f\rangle/ \mathbb{C}(z))= 6\) ou 4 et les deux cas sont atteints; (ii) Si \(\alpha\not\in \mathbb{Q}\), alors \(\text{degtr} (\mathbb{C}(z)\langle f\rangle/ \mathbb{C}(z))= 4\), 5, 6 ou 7 et les quatre cas sont atteints. Suivent deux corollaires qui complètent une suite de résultats sur le degré de transcendance du corps engendré par les valeurs de fonctions hypergéométriques.