No label defined (Q4252151)

Let \({\mathbb F}_{q}\) be a finite field of characteristic \(p\), \(\bar{k}^{\text{sep}}\) a separable closure of \({\mathbb F}_{q}(T)\), \({\mathbb C}_{p}\) a completion of an algebraic closure of \({k_{\infty}}={\mathbb F}_{q}((1/T))\) and \(e(z)\) the exponential function of a Drinfeld module \(\Phi\) of rank \(d>0\) defined over \(\bar{k}^{\text{sep}}\). For \(a\) in the separable closure \(\bar{k}^{\text{sep}}_\infty\) of \({k_{\infty}}\) and \(i\geq 0\), write \(a^{[i]} \) for \(D_{i}a\), where \(D_{i}\) is the \(i\)th divided derivative such that \(D_{i} T^{n}={n\choose i}T^{n-i}\) for \(n\geq 0\). Let \(F:x\mapsto x^{q}\) denote the \(q\)-th power Frobenius. The twisted polynomials are the elements of the non-commutative ring \({\mathbb C}_{p}\{F\}\). For each \(\delta^{(T)}\in F{\mathbb C}_{p}\{F\}\) there is a unique entire function \(Q(z)\) such that \(Q(Tz)=TQ(z)+\delta(T)e(z)\) and \(Q(z)\equiv 0\pmod{z^{q}}\). Assume \(\delta^{(T)}\in F\bar{k}^{\text{sep}}\{F\}\) is not of the form \(S\Phi(T)-TS\) with \(S\in {\mathbb C}_{p}\{F\}\). Then for each \(u\in\bar{k}^{\text{sep}}_\infty\setminus\{0\}\) with \(e(u)\in\bar{k}^{\text{sep}}\), the values \[ 1,u, e^{[1]}(u),\ldots,e^{[q-1]}(u) \] are \({\bar{k}}\)-linearly independent. Further, if \(d>1\), then \[ 1,u, e^{[1]}(u),\ldots,e^{[q-1]}(u), Q(u), Q^{[1]}(u),\ldots,Q^{[q-1]}(u) \] are \({\bar{k}}\)-linearly independent. This extends a result of \textit{L. Denis} [Dérivées d'un module de Drinfeld et transcendance. Duke Math. J. 80,1-13 (1995; Zbl 0848.11028)] The proof rests on the Sub-\(t\)-Module Theorem of \textit{Jing Yu} [Ann. Math. (2) 145, 215-233 (1997; Zbl 0881.11055)] applied to a \(t\)-module associated with the \({\mathbb F}_{q}\)-linear analytic map \(\lambda(z):{\mathbb C}_{p}\rightarrow{\mathbb C}_{p}^{2q+1}\) defined by \[ \lambda(z)=\bigl(z; e(z), Q(z); e^{[1]}(z),Q^{[1]}(z); \ldots; e^{[q-1]}(z),Q^{[q-1]}(z)\bigr). \] For the entire collection see [Zbl 0911.00025].