Twisted rings of differential operators over projective rational curves (Q1895562)

The structure of the ring \({\mathcal D}(C)\) of differential operators on a singular projective curve \(C\) (over an algebraically closed field of characteristic zero) is described by work of \textit{I. M. Musson} in case \(C\) has positive genus [Arch. Math. 56, No. 1, 86-95 (1991; Zbl 0688.16002)], and by work of \textit{M. P. Holland} and \textit{J. T. Stafford} when \(C\) has genus zero and its normalization map is injective [J. Algebra 147, No. 1, 176-244 (1992; Zbl 0753.14014)]. Here the author extends a number of results from the latter paper to the case of an arbitrary singular, rational, projective curve \(C\). The strongest results are proved for ``sufficiently twisted'' rings of differential operators \({\mathcal D}_{\mathcal L}(C)\), where \({\mathcal L}\) is an invertible sheaf of sufficiently high degree. (When the normalization map is not injective, the untwisted algebra \({\mathcal D}(C)\) is considerably more complicated, and the results stated below can fail.) For example, the maximal finite dimensional factor algebra of \({\mathcal D}_{\mathcal L}(C)\) is a triangular matrix algebra of the form \({{M\;N} \choose {0\;F}}\) where \(M\) and \(N\) consist of matrices over the ground field while \(F\) is the maximal finite dimensional factor algebra of the ring of differential operators on an affine open subset of \(C\). It is also proved that the category of finitely generated left \({\mathcal D}_{\mathcal L}(C)\)-modules is equivalent to the category of quasi-coherent sheaves of \({\mathcal D}_C\)-modules, and that \({\mathcal D}_{\mathcal L} (C)\) is Morita equivalent to \({\mathcal D}_{{\mathcal L}'} (C)\) when both \({\mathcal L}\) and \({\mathcal L}'\) have sufficiently high degree.