(1) Suppose that $X$ is a smooth complex algebraic variety, stratified by some nice smooth stratification $S$. Let $M$ be a $D$-module on $X$, s.t. its shriek-pullback (or star... whatever is ...
For a smooth complex variety, one can consider the category of say holonomic $\mathcal D$ modules on it. It is equipped with the deRham functor, which turns a $\cal D$-module into a constructible ...