Characteristic variety of a D-module along smooth pullback - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T04:04:09Z http://mathoverflow.net/feeds/question/100795 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100795/characteristic-variety-of-a-d-module-along-smooth-pullback Characteristic variety of a D-module along smooth pullback Reladenine Vakalwe 2012-06-27T18:03:24Z 2012-06-27T18:03:24Z <p>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 T^*Y$ for the projection map, and let $f_d: T^*Y \times_Y X \to T^* X$ be the map dual to the derivative.</p> <p>Now let $f\colon X\to Y$ be a smooth morphism. Let $M$ be a coherent $D_Y$-module. I am trying to understand the proof of:</p> <p>$Ch(f^*M) \subseteq f_df_{\pi}^{-1}Ch(M)$,</p> <p>(where $Ch$ means characteristic variety) as presented in J.P. Schneider's notes <a href="http://www.analg.ulg.ac.be/jps/rec/idm.pdf" rel="nofollow">http://www.analg.ulg.ac.be/jps/rec/idm.pdf</a> (see pages 34-35).</p> <p>I need a bit more notation before I get to my exact question: we know $f^*M = O_X\otimes_{f^{-1}O_Y}f^{-1}M$ as an $O_X$-module. Endow $f^*M$ with the good filtration $F_i(f^*M) = O_X\otimes_{f^{-1}O_Y}f^{-1}F_iM$, where the $F_i$ on the right hand side is some good filtration of $M$. Then we have a surjection</p> <p>$O_X\otimes_{f^{-1}O_Y}f^{-1}gr(M) \twoheadrightarrow gr(f^*M)$</p> <p>of $gr(D_X)$-modules, where $gr$ denotes associated graded. Write $\tilde{gr}(-)$ for the sheaf on the cotangent bundle associated to $gr(-)$. Then the claim (last two lines of the proof on p35 of the aforementioned notes) is that:</p> <p>since $f_d$ is finite we obtain a surjection</p> <p>$f_{d*}f_{\pi}^*\tilde{gr}(M) \twoheadrightarrow \tilde{gr}(f^*M)$</p> <p>I don't understand this claim. Any clarifying thoughts would be most appreciated.</p> <p>Unless I made a mistake:</p> <p>$f_{d*}f_{\pi}^*\tilde{gr}(M) = f_{d*}(O_{T^*Y\times_Y X}\otimes_{f_{\pi}^{-1}\pi_Y^{-1}gr D_Y}f_{\pi}^{-1}\pi_Y^{-1}gr(M))$,</p> <p>where $\pi_Y\colon T^*Y\to Y$. What is required is that this equal</p> <p>$O_{T^*X}\otimes_{\pi_X^{-1}gr D_X}(O_X\otimes_{f^{-1}O_Y}f^{-1}gr(M))$</p> <p>I don't see how to proceed. Presumably I am making this way too complicated and there is a very simple explanation?</p> <p>Also, it is mentioned at the end of the proof that the estimate of the characteristic variety is in fact an equality. Does anyone know of a reference for this?</p>