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)$.

Perazzo $n$-folds and the weak Lefschetz property

Perazzo hypersurfaces and the weak Lefschetz property

On minimal Gorenstein Hilbert function

Weak weak approximation and the Hilbert property for degree 2 del Pezzo surfaces

Weak weak approximation and the Hilbert property for degree-two del Pezzo surfaces

On Perles' configuration

Exceptional pairs on del Pezzo surfaces and spaces of compatible Feigin-Odesskii brackets

The weak Lefschetz property of whiskered graphs

Hofer geometry of $A_3$-configurations

Unobstructedness and dimension of families of Gorenstein algebras

Frobenius structure and $p$-adic zeta function

Quantum Supersymmetries (II): Loewy Filtrations and Quantum de Rham Cohomology over Quantum Grassmann Superalgebra

Ehrhart polynomials of partial permutohedra

Hopf monoids and generalized permutahedra

Classifying Fano 4-folds with a rational fibration onto a 3-fold

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

Level lowering: a Mazur principle in higher dimension

Lattice points in slices of prisms

Lefschetz properties of Jacobian algebras and Jacobian modules

Arithmetic and metric aspects of open de Rham spaces