The Brownawell-Waldschmidt theorem in finite characteristic (Q5930231)

Soit \(x_1,x_2\) (resp. \(y_1,y_2\)) des nombres complexes linéairement indépendants sur \(\mathbb Q\). Afin de répondre au huitième problème posé par Th. Schneider, W. D. Brownawell et M. Waldschmidt ont montré l'indépendance alǵebrique d'au moins deux des nombres \(x_1,x_2,y_1,y_2,e^{x_1y_1}, e^{x_2y_1}\) lorsque \(e^{x_1y_2}\) et \(e^{x_2y_2}\) sont algébriques. Soit maintenant \(q\) une puissance d'un nombre premier, \({\mathcal C}\) le complété d'une clôture algébrique du complété de \(\mathbb F_q(T)\) pour la valuation \(1/T\)-adique et \(e(\cdot)\) l'application exponentielle d'un module de Drinfeld de rang \(d\) sur \(\overline{\mathbb F_q(T)}\). S. Dion considère dans ce cas des familles \(x_1,\dots,x_\mu\) et \(y_1,\dots,y_\nu\) d'éléments de \({\mathcal C}\), linéairement indépendants sur le corps des multiplications du module de Drinfeld et sur \(\mathbb F_q(T)\) respectivement. Supposant \(e(x_1y_\nu),\dots, e(x_\mu y_\nu)\) algébriques sur \(\mathbb F_q(T)\) et \(\mu\nu\geq \nu+d\mu\), S. Dion montre qu'au moins deux des nombres \(x_i,y_j,e(x_iy_j)\) \((i=1,\dots,\mu\); \(j=1,\dots,\nu)\), sont algébriquement indépendants sur \(\mathbb F_q(T)\). Dans le cas du module de Carlitz \((d=1)\) on retrouve l'exact analogue du théorème de Brownawell-Waldschmidt et, en particulier, qu l'un au moins des nombres \(e_C(e_C(1))\) et \(e_C(e_C(1)^2)\) est transcendant sur \(\mathbb F_q(T)\) (analogue du huitème problème de Schneider).