\bs{p}-Adic Confluence of $\bs{q}$-Difference Equations
arXiv:math/0612729 · doi:10.1112/S0010437X07003454
Abstract
We develop the theory of -adic confluence of -difference equations. The main result is the surprising fact that, in the -adic framework, a function is solution of a differential equation if and only if it is solution of a -difference equation. This fact implies an equivalence, called ``Confluence'', between the category of differential equations and those of -difference equations. We obtain this result by introducing a category of ``sheaves'' on the disk , whose stalk at 1 is a differential equation, the stalk at is a -difference equation if is not a root of unity , and the stalk at a root of unity is a mixed object, formed by a differential equation and an action of .
43 pages