Hypergeometric functions for function fields and transcendence (Q1018108): Difference between revisions

The authors study hypergeometric functions for \(\mathbb F_q[T]\). Let \(\mathbb F_q\) be the finite field of characteristic \(p\) with \(q\) elements, let \(\mathbb F_q[T]\) be the ring of polynomials in \(T\) with coefficients in \(\mathbb F_q\), and let \(\mathbb F_q(T)\) be the fraction field of \(\mathbb F_q[T]\). For all \(P,Q\in \mathbb F_q[T]\) set \(|P/Q|_\infty=q^{\deg P-\deg Q}\) and denote by \(\mathbb F_q(T^{-1})\) the topological completion of \(\mathbb F_q(T)\) with respect to \(|\cdot|_\infty\) and by \(\mathbb{C}_\infty\) the topological completion of a fixed algebraic closure of \(\mathbb F_q(T^{-1})\). For all integers \(j\geq0\), let \(D_j\) be the product of all monic polynomials of degree \(j\) in \(\mathbb F_q[T]\), and let \(L_j\) be the (monic) least common multiple of all polynomials of degree \(j\) in \(\mathbb F_q[T]\). For all integers \(r,s\geq0\) and all \(a_i,b_j\in\mathbb Z\) (\(b_j>0\)) the formal series [see \textit{D. S. Thakur}, Finite Fields Appl. 1, No. 2, 219--231 (1995; Zbl 0838.11043)] \[ {}_rF_s (a_1,\dots,a_r;b_1,\dots,b_s;z)= \sum_{n=0}^{+\infty} \frac{(a_1)_n \dots(a_r)_n}{D_n(b_1)_n \dots(b_s)_n}z^{q^n} \] are considered. In Theorem 1 it is proved that if \(0<a_1\leq\dots \leq a_r\), \(0<b_1\leq\dots \leq b_s\) are integers and \(\gamma \in\mathbb C_\infty\backslash\{0\}\) is algebraic over \(\mathbb F_q(T)\) and such that \(\mathbb F_q(T)(\gamma)\) has less than \(q\) places above the infinity place of \(\mathbb F_q[T]\) (\(\gamma\) can be rational or nonzero algebraic of degree less than \(q\)), then \({}_r F_s (a_1,\dots,a_r;b_1,\dots,b_s;\gamma)\) is transcendental over \(\mathbb F_q(T)\). For the balanced case \(r=s+1\) the characterization of algebraicity of hypergeometric functions is obtained (Theorem 3, Theorem 4).