The algebra of integro-differential operators on an affine line and its modules. (Q1946184): Difference between revisions

For a field \(k\) of characteristic zero denote by \(\mathbb I_1\) the algebra of linear operators on the polynomial ring \(k[x]\) in one variable \(x\), which is generated by the operator of multiplication by \(x\), by the operator \(\tfrac{d}{dx}\) and by the operator \(\int\) such that \(\int x=\tfrac{x^n}{n+1}\). It is shown that \(\mathbb I_1\) admits a \(\mathbb Z\)-grading. There is given a classification of all irreducible \(\mathbb I_1\)-modules. If \(a\) is a nonzero element of \(\mathbb I_1\) and \(M\) is a left \(\mathbb I_1\)-module of finite length, then the map \(x\mapsto ax\) on \(M\) has finite dimensional kernel if and only if it has a finite dimensional cokernel. For an irreducible module \(M\) there is given a criterion under which \(aM\) has finite dimension. It is proved that \(\mathbb I_1\) is a coherent algebra in which every finitely generated left ideal is two-generated. Every left (right) ideal of finite length is cyclic. For a generic element \(a\in\mathbb I_1\) its centralizer is a finitely generated \(k[a]\)-module of rank \(>1\). There are found all elements \(a\in\mathbb I_1\) for which \(ak[x]=k[x]\) and for which the map \(f\mapsto af\) is injective on \(k[x]\). One-sided invertible elements of \(\mathbb I_1\) are also considered.