scientific article; zbMATH DE number 124322
actionseigenvectorfinite field extensionholonomic modulesirregular singularitiesMorita equivalenceregular singularitiesring of differential operatorsring of formal power seriessimple modules
Commutative rings of differential operators and their modules (13N10) Singularities of curves, local rings (14H20) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Rings of differential operators (associative algebraic aspects) (16S32) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)
[For the entire collection see Zbl 0745.00066.] Let \(k\) be a field of characteristic zero and \({\mathcal O} = kx\) 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}) = kx[\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\).
- Simple holonomic modules over rings of differential operators with regular coefficients of Krull dimension 2
- Modules with Regular Singularities on a Curve
- d-Simple rings and simple -modules
- The simple \({\mathcal D}\)-module associated to the intersection homology complex for a class of plane curves
- Module structure of certain rings of differential operators
- The simple modules of certain generalized crossed products
- Finite length and pure-injective modules over a ring of differential operators
- Simple holonomic modules over rings of differential operators with regular coefficients of Krull dimension 2
- Classification of simple modules of the Ore extension \(K[X][Y; f\frac{d}{dX}]\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4025945)
