Tauvel's height formula in iterated differential operator rings.
The characteristic variety of a generic foliation
We confirm a conjecture of Bernstein–Lunts which predicts that the characteristic variety of a generic polynomial vector field has no homogeneous involutive subvarieties besides the zero section and subvarieties of fibers over singular points.
The kernel of an homomorphism of Harish-Chandra
Truncated microsupport and holomorphic solutions of D-modules