Stokes structure of mild difference modules (Q6950267)

The author introduces a category of filtered sheaves on the unit circle \(S^1\) to describe the Stokes phenomenon of linear difference equations with mild singularity. A Stokes filtered local system on \(S^1\) is a pair \((\mathcal{L},\mathcal{L}_{\bullet})\) of a local system \(\mathcal{L}\), of finite-dimensional \(\mathbb{C}\)-vector spaces on \(S^1\) and a filtration \(\mathcal{L}_{\bullet}\) on \(\mathcal{L}\), indexed by a sheaf \(\mathcal{I}=\bigcup_{m\geq 0}z^{-1/m}\mathbb{C}[z^{-1/m}]\) of ordered abelian groups. The Deligne-Malgrange theorem claims that there is an equivalence (called the Riemann-Hilbert functor) between the category of germs of meromorphic connections and the category of Stokes filtered local systems on \(S^1\). The main result of the paper is a mild difference analog of the Riemann-Hilbert correspondence for germs of meromorphic connections in one complex variable by Deligne-Malgrange.