Dg models for derived differential operators
We show that for any algebra $R$ that is essentially of finite type over a field $k$, the derived functors of Smith-Van den Bergh admit a dg enhancement. In particular, for any $R$-module $M$ one can associate a dg algebra of differential operators $E_M$ whose cohomology is a nilpotent thickening of the (classical) rin...