Contents Online
Mathematical Research Letters
Volume 27 (2020)
Number 3
On completion of graded $D$-modules
Pages: 887 – 901
DOI: https://dx.doi.org/10.4310/MRL.2020.v27.n3.a13
Authors
Abstract
Let $R = k[x_1, \dotsc , x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\widehat{R}$ be the formal power series ring $k[[x_1, \dotsc , x_n]]$. If $M$ is a $\mathcal{D}$-module over $R$, then $\widehat{R} \otimes_R M$ is naturally a $\mathcal{D}$-module over $\widehat{R}$. Hartshorne and Polini asked whether the natural maps $H^i_{\mathrm{dR}} (M) \to H^i_{\mathrm{dR}} (\widehat{R} \otimes_R M)$ (induced by $M \to \widehat{R} \otimes_R M$) are isomorphisms whenever $M$ is graded and holonomic. We give a positive answer to their question, as a corollary of the following stronger result. Let $M$ be a finitely generated graded $\mathcal{D}$-module: for each integer $i$ such that $\dim_k H^i_{\mathrm{dR}} (M) \lt \infty$, the natural map $H^i_{\mathrm{dR}} (M) \to H^i_{\mathrm{dR}} (\widehat{R} \otimes_R M)$ (induced by $M \to \widehat{R} \otimes_R M$) is an isomorphism.
The first author gratefully acknowledges NSF support through grant DMS-1604503. The second author is partially supported by the NSF through DMS-1606414 and CAREER grant DMS-1752081.
Received 13 September 2018
Accepted 14 January 2019
Published 20 August 2020