1
vote
0answers
131 views

Characteristic variety of a D-module along smooth pullback

All varieties are over the complex numbers. Given a smooth variety $X$, write $T^* X$ for its cotangent bundle. For a morphism of smooth varieties $f: X \to Y$ write $f_{\pi}: T^*Y \times_Y X \to ...
6
votes
0answers
190 views

Non-characteristic maps (ala D-modules)

I am trying to understand a `well known' fact (see Kashiwara'sIntroduction to microlocal analysis page 63, remark 4.8) about non-characteristic morphisms. Here is ...