Singular support of coherent sheaves was introduced by Arinkin and Gaitsgory in their work on the geometric Langlands conjecture. In this talk I will describe a categorification of the notion of differential operators via higher deformation quantization. In particular, I will explain how one can rediscover singular support of coherent sheaves as a straightforward categorification of the notion of singular support of distributions.
Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/node/3444
[3] http://www.mpim-bonn.mpg.de/node/6832