4
$\begingroup$

Define $D^{\text{#}}_{\bullet}(Mod(\mathcal{D}_X))$ to be the full subcategory of the derived category $D^{\text{#}}(Mod(\mathcal{D}_X))$ of complexes of $\mathcal{D}_X$-modules whose cohomology groups belong to $Mod_{\bullet}(\mathcal{D}_X)$, # = $+,-,b$, $X$ smooth algebraic variety over $\mathbb{C}$.

Is it true that $D^{\text{#}}_{\bullet}(Mod(\mathcal{D}_X))$ is equivalent to the category $D^{\text{#}}(Mod_{\bullet}(\mathcal{D}_X))$?

It is true that $Mod_{\bullet}(\mathcal{D}_X)$ are closed under kernels, cokernels and extensions because we are working over a Noetherian scheme. However, Kashiwara-Schapira Category and Sheaves states the equivalence under one more hypothesis. Apart from the answer, if you can quote any reference I would be glad.

EDIT: I forgot to say that $\bullet =$ quasi coherent modules or coherent modules (a quasi coherent $\mathcal{D}_X$ module is a $\mathcal{D}_X$ modules which is quasi coherent over $\mathcal{O}_X$, instead coherence is over $\mathcal{D}_X$)

$\endgroup$
  • $\begingroup$ What is $Mod_\bullet$? $\endgroup$ – Bugs Bunny Mar 29 '18 at 9:45
  • $\begingroup$ @BugsBunny Forgive me, I added what is $\bullet$ $\endgroup$ – Federico Mar 29 '18 at 10:32
  • 1
    $\begingroup$ Did you check mathoverflow.net/questions/236245/… $\endgroup$ – Bugs Bunny Mar 29 '18 at 11:14
  • $\begingroup$ IMHO, the answer is UNKNOWN. If there is a good reason for it to be YES, it is known thanks to Exercise on p.153 of Gelfand-Manin or 2.42 and 3.4 of Huybrechts... $\endgroup$ – Bugs Bunny Mar 29 '18 at 11:16
2
$\begingroup$

I post it as an answer because I found it on a book: Theorem 1.5.7 of D-Modules, perverse sheaves, and representation theory by Hotta, Takeuchi, and Tanisaki states that the natural functors give equivalence or categories

$$D^{b}(Mod_{\bullet}(\mathcal{D}_X)) \rightarrow D^{b}_{\bullet}(\mathcal{D}_X)$$

The book says that this result was due to Bernstein, and it can be found Algebraic D-Modules, Perspectives in Mathematics, Vol 2, 1987, by Borel, Grivel, Kaup, Haefliger, Malgrange, And Ehlers.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.