Noetherian \(\mathcal D\)-bimodules (Q1335078)

Let \(X\) be a smooth affine variety defined over \(\mathbb{C}\), and let \({\mathcal D} (X)\) be the ring of differential operators on \(X\). The authors study the category of noetherian \({\mathcal D} (X)\)-bimodules. They obtain an equivalence of this category with a full subcategory of the category of holonomic \({\mathcal D} (X\times X)\)-bimodules and then exploit this equivalence to prove results about noetherian bimodules. As an example, for each positive integer \(k\) they produce a simple noetherian bimodule of rank \(k\) over the Weyl algebra and also obtain results about extensions of bimodules.