Values of analytic functions at points of \(\mathbb C_p\) (Q384386)

The author continues his earlier work, joint with the reviewer [Acta Arith. 113, No. 4, 309--326 (2004; Zbl 1083.11046)], on algebraic independence over \(\mathbb{Q}_p\) of numbers in \(\mathbb{C}_p\) of the type \(f(\alpha_{i,j}) \;(i=1,\ldots,m;j=1,\ldots,\ell_i)\). Here \(f\in\mathbb{Z}_p[[z]]\) is non-constant and the points \(\alpha_{i,j}\in\mathbb{C}_p\) are of the shape \(\sum_{k\geq0} a_{i,j,k} p^{r_{i,k}}\) with all \(a_{i,j,k}\) in the unit group \(U_p:=\{x\in\mathbb{Z}_p: x^{-1}\in\mathbb{Z}_p\}\) that have to satisfy certain non-vanishing conditions on \(\det(a_{i,j,N_t})_{1\leq j,t\leq\ell_i} \;(i=1,\ldots,m;N_1<\cdots<N_{\ell_i})\). The sequences \((r_{i,k})_k\) are assumed to generate strictly increasing subgroups of \(\mathbb{Q}_+\); moreover, they have to satisfy certain mutual growth conditions. An application of the main result to the algebraic independence of \(f_\sigma(\alpha_{i,j}) \;\;(\sigma= 1,\ldots,s; i=1,\ldots,m; j=1,\ldots,\ell_i)\) is provided, if \(f_1,\ldots,f_s\in\mathbb{Z}_p[[z]]\) are algebraically independent over \(\mathbb{Q}_p\). Moreover, some interesting examples are given.