We provide a necessary and sufficient condition for the solvability of a rank one differential (resp. $q$-difference) equation over the Amices ring. We also extend to that ring a Birkoff decomposition result, originally due to Motzkin.
We develop the theory of $p$-adic confluence of $q$-difference equations. The main result is the surprising fact that, in the $p$-adic framework, a function is solution of a differential equation if and only if it is solution of a $q$-difference equation. This fact implies an equivalence, called ``Confluence, between the category of differential equations and those of $q$-difference equations. We obtain this result by introducing a category of ``sheaves on the disk $mathrm{D}^-(1,1)$, whose stalk at 1 is a differential equation, the stalk at $q$ is a $q$-difference equation if $q$ is not a root of unity $xi$, and the stalk at a root of unity is a mixed object, formed by a differential equation and an action of $sigma_xi$.
We show that if a differential equations $mathscr{F}$ over a quasi-smooth Berkovich curve $X$ has a certain compatibility condition with respect to an automorphism $sigma$ of $X$, and if the automorphism is sufficiently close to the identity, then $mathscr{F}$ acquires a semi-linear action of $sigma$ (i.e. lifting that on $X$). This generalizes the previous works of Yves Andre, Lucia Di Vizio, and the author about $p$-adic $q$-difference equations. We also obtain an application to Moritas $p$-adic Gamma function, and to related values of $p$-adic $L$-functions.
In this paper, we focus on a family of generalized Kloosterman sums over the torus. With a few changes to Haessig and Sperbers construction, we derive some relative $p$-adic cohomologies corresponding to the $L$-functions. We present explicit forms of bases of top dimensional cohomology spaces, so to obtain a concrete method to compute lower bounds of Newton polygons of the $L$-functions. Using the theory of GKZ system, we derive the Dworks deformation equation for our family. Furthermore, with the help of Dworks dual theory and deformation theory, the strong Frobenius structure of this equation is established. Our work adds some new evidences for Dworks conjecture.
We obtain an algorithm computing explicitly the values of the non solvable spectral radii of convergence of the solutions of a differential module over a point of type 2, 3 or 4 of the Berkovich affine line.
If the $ell$-adic cohomology of a projective smooth variety, defined over a $frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $ge 1$, then any model over the ring of integers of $K$ has a $k$-rational point. This slightly improves our earlier result math/0405318: we needed there the model to be regular (but then our result was more general: we obtained a congruence for the number of points, and $K$ could be local of characteristic $p>0$).