MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

According to the usual definition, an induced D-module on a complex manifold $X$ is a right D-module of the form $L \otimes_{\mathscr{O}_X} \mathscr{D}_X$, for $L$ a coherent sheaf of $\mathscr{O}_X$-modules. Moreover, Saito writes that "induced D-modules are naturally defined as right D-modules" (in his paper Induced D-modules and differential complexes), and one finds similar comments elsewhere.

Why are induced D-modules naturally right D-modules? In other words, what is wrong with considering left D-modules of the form $\mathscr{D}_X \otimes_{\mathscr{O}_X} L$ and calling these "induced"?

share|cite|improve this question
I don't know whether thats the reason, but $f_*$ is more naturally defined for right modules and I think $f_*$ commutes with induction for right modules? – Jan Weidner Apr 5 '12 at 9:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.