3 deleted 7 characters in body

Hi Amri,

This is a bit late, but it's my favorite class of examples. If $X$ is a smooth affine variety over $\mathbb{C}$ (say), and $\mathcal{D} = \mathcal{D}(X)$ is its algebra of differential operators, then the opposite algebra $\mathcal{D}^{op}$ is isomorphic to $\mathcal{D}(K) = K\otimes \mathcal{D}\otimes K^{-1}$, where $K$ denotes the canonical module of $X$. [This is also true when $X$ is Gorenstein but not necessarily smooth thanks---see smooth---see work of Yekutieli.]

So one gets answers to your question when $X$ doesn't have trivial canonical bundle. [And of course the story sheafifies for any smooth variety.]

EDIT: I was writing carelessly the first time (thanks to Amri's comment for highlighting this). Note that $\mathcal{D}(K)$ acts on $K$ on the left. Since a left $\mathcal{D}$-module structure on a vector bundle (finitely generated projective module) is the same as a flat connection, one has $\mathcal{D}\cong \mathcal{D}(K)$ if and only if $K$ admits a flat connection. The first chern class of $K$ is an obstruction to the existence of a flat connection. So just pick your favorite such affine variety (see also this MO question for discussion of that). A pretty complete discussion of the (non)triviality of rings of twisted differential operators (TDOs) can be found in Beilinson-Bernstein "A proof of Jantzen conjectures."

This story also illuminates a little bit why differential operators on half-densities, i.e. $\mathcal{D}(K^{1/2}) = K^{1/2}\otimes \mathcal{D}\otimes K^{-1/2}$, plays a special role in the study of rings of differential operators and (twisted) $\mathcal{D}$-modules (it's canonically isomorphic to its opposite algebra).

Hi Amri,

This is a bit late, but it's my favorite class of examples. If $X$ is a smooth affine variety over $\mathbb{C}$ (say), and $\mathcal{D} = \mathcal{D}(X)$ is its algebra of differential operators, then the opposite algebra $\mathcal{D}^{op}$ is isomorphic to $\mathcal{D}(K) = K\otimes \mathcal{D}\otimes K^{-1}$, where $K$ denotes the canonical module of $X$. [This is also true when $X$ is Gorenstein but not necessarily smooth thanks---see work of Yekutieli.]

So one gets answers to your question when $X$ doesn't have trivial canonical bundle. [And of course the story sheafifies for any smooth variety.]

EDIT: I was writing carelessly the first time (thanks to Amri's comment for highlighting this). Note that $\mathcal{D}(K)$ acts on $K$ on the left. Since a left $\mathcal{D}$-module structure on a vector bundle (finitely generated projective module) is the same as a flat connection, one has $\mathcal{D}\cong \mathcal{D}(K)$ if and only if $K$ admits a flat connection. The first chern class of $K$ is an obstruction to the existence of a flat connection. So just pick your favorite such affine variety (see also this MO question for discussion of that). A pretty complete discussion of the (non)triviality of rings of twisted differential operators (TDOs) can be found in Beilinson-Bernstein "A proof of Jantzen conjectures."

This fact story also illuminates a little bit why differential operators on half-densities, i.e. $\mathcal{D}(K^{1/2}) = K^{1/2}\otimes \mathcal{D}\otimes K^{-1/2}$, plays a special role in the study of rings of differential operators and (twisted) $\mathcal{D}$-modules (it's canonically isomorphic to its opposite algebra).

1

Hi Amri,

This is a bit late, but it's my favorite class of examples. If $X$ is a smooth affine variety over $\mathbb{C}$ (say), and $\mathcal{D} = \mathcal{D}(X)$ is its algebra of differential operators, then the opposite algebra $\mathcal{D}^{op}$ is isomorphic to $\mathcal{D}(K) = K\otimes \mathcal{D}\otimes K^{-1}$, where $K$ denotes the canonical module of $X$. So one gets answers to your question when $X$ doesn't have trivial canonical bundle. [And of course the story sheafifies for any smooth variety.]

This fact also illuminates a little bit why differential operators on half-densities, i.e. $\mathcal{D}(K^{1/2}) = K^{1/2}\otimes \mathcal{D}\otimes K^{-1/2}$, plays a special role in the study of rings of differential operators and (twisted) $\mathcal{D}$-modules (it's isomorphic to its opposite algebra).