No label defined (Q4025945)

[For the entire collection see Zbl 0745.00066.] Let \(k\) be a field of characteristic zero and \({\mathcal O} = k[[x]]\) the ring of formal power series in one variable. This paper is concerned with simple modules over the ring of differential operators \({\mathcal D} = {\mathcal D}({\mathcal O}) = k[[x]][\partial]\). In this one-dimensional case the simple modules are holonomic. Those with regular singularities are \(\mathcal O\), \(K/ {\mathcal O}\), and \(Kx^ \alpha\), for \(\alpha \in k \setminus \mathbb{Z}\) (where \(K\) denotes the field of fractions of \(\mathcal O\)). The main effort of this paper is to describe the simple \(\mathcal D\)-modules with irregular singularities. The authors achieve this by a rather elegant descent procedure. These modules are finite-dimensional \(K\)-vector spaces. A result of the second author states that \(\partial\) has an eigenvector over a finite field extension of \(K\). The authors use this to give an extremely explicit description of the simple \(\mathcal D\)-modules. For each finite-dimensional \(K\)-vector space \(M\) they describe all the actions of \(\partial\) on \(M\) that make \(M\) into a simple \(\mathcal D\)-module with irregular singularities. They also extend this classification to \({\mathcal D}(A)\), the ring of differential operators on a subalgebra \(A\) of \(\mathcal O\) with finite codimension, using Smith and Stafford's Morita equivalence between \({\mathcal D}(A)\) and \(\mathcal D\).