Mathematical Research Letters
Volume 29 (2022)
The local information of difference equations
Pages: 131 – 192
We give a definition for the restriction of a difference module on the affine line to a formal neighborhood of an orbit, trying to mimic the analogous definition and properties for a $D$-module. We show that this definition is reasonable in two ways. First, we show that specifying a difference module on the affine line is equivalent to giving its restriction to the complement of an orbit, together with its restriction to a neighborhood of an orbit and an isomorphism between the restriction of both to the intersection. We also give a definition for vanishing cycles of a difference module and define a local Mellin transform, which is an equivalence between vanishing cycles of a difference module and nearby cycles of its Mellin transform, a $D$-module.
This work was partially supported by National Science Foundation grant DMS-1603277.
Received 6 December 2019
Accepted 22 October 2020
Published 6 September 2022