Abstract:Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form $X-A_p(z)X^{p^l}$, we can use this type of equations to obtain results of transcendence and algebraic independence over $\mathbb{Q}(z)$. In the present paper, we look for conditions on the differential operators annihilating $f(z)$ to guarantee the existence of these particular equations. Suppose that $f(z)$ is solution of a differential operator $\mathcal{H}\in\mathbb{Q}(z)[d/dz]$ having a strong Frobenius structure for all $p\in\mathcal{S}$ and we also suppose that $f(z)$ annihilates a Fuchsian differential operator $\mathcal{D}\in\mathbb{Q}(z)[d/dz]$ such that zero is a regular singular point of $\mathcal{D}$ and the exponents of $\mathcal{D}$ at zero are equal to zero. Our main result states that, for almost every prime $p\in\mathcal{S}$, $f(z)_{\mid p}$ is solution of a polynomial of the form $X-A_p(z)X^{p^l}$, where $A_p(z)$ is a rational function with coefficients in $\mathbb{F}_p$ of height less than or equal to $Cp^{2l}$ with $C$ a positive constant that does not depend on $p$. We also study the algebraic independence of these power series over $\mathbb{Q}(z)$.

Divisibility of Integer Laurent Polynomials, Homoclinic Points, and Lacunary Independence

On the Liouville function at polynomial arguments

Independence of l in Lafforgue's theorem

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

Integrality of $\mathfrak{p}$-Adic $L$-Functions at Eisenstein Primes

Gauss congruences for rational functions in several variables

A generalization of the theorems of Chevalley-Warning and Ax-Katz via polynomial substitutions

Divisibility of the Multiplicative Order Modulo Monic Irreducible Polynomials Over Finite Fields

Quotients of $L$-functions: degrees $n$ and $n-2$

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Maximal Unipotent Monodromy, congruences "à la Lucas" and Algebraic independence

Monogenic Even Octic Polynomials and Their Galois Groups

Inhomogeneous order 1 iterative functional equations with applications to combinatorics

On the Field Isomorphism Problem for the Family of Simplest Quartic Fields

On the $L$-polynomials of curves over finite fields

A linear independence criterion for certain infinite series with polynomial orders

Arithmetic aspects of the Jouanolou foliation

On exact division and divisibility testing for sparse polynomials

On $p$-adic $L$-functions of elliptic curves and the ideal class groups of the division fields

Divisibility properties of coefficients of level $p$ modular functions for genus zero primes

Limiting distributions of conjugate algebraic integers