If we have filtration on Dmodule compatible with some good filtration on differential operators sheaf then adjoint graded module is module over functions on cotangent bundle. So morally Dmodule is quantization of something lying on cotangent bundle. There is some rigid statement around this? Some concrete expectations. From here Derived (noncommutative) geometry, geometric constructions in explicit form we could get some dgalgebras for derived categories of Dmodules and coherent sheaves on cotangent bundle resp., for their suitable models (~quasiisomorphism) can we observe first thing as "quantization" of second precisely on the level of differential? Second. Peoples in geometric representation theory often work with coherent sheaves on cotangent bundle of flag varieties, but by the pointed view their constructions must admit quantization, does such thoughts been exploited? It is can be funny if geometric representation construction was connected with some quantum group, because Dmodules on flag variety is almost representations of lie algebra
