On completion of graded D-modules

DOI10.4310/MRL.2020.V27.N3.A13MaRDI QIDQ1996253zbMATH OpenFDO

Authors N. Switala, Wenliang Zhang

Publication date 4 March 2021

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.09035

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Abstract: Let $R=k[x_1,ldots,x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $cR$ be the formal power series ring $k[[x_1,ldots,x_n]]$. If $M$ is a $D$-module over $R$, then $cRotime{s}_{R}M$ is naturally a $D$-module over $cR$. Hartshorne and Polini asked whether the natural maps $H_{dR}^i(M)o{H}_{dR}^i(cRotime{s}_{R}M)$ (induced by $MocRotime{s}_{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 $D$-module: for each integer $i$ such that $di{m}_k{H}_{dR}^i(M)<infty$, the natural map $H_{dR}^i(M)o{H}_{dR}^i(cRotime{s}_{R}M)$ (induced by $MocRotime{s}_{R}M$) is an isomorphism.

Recommendations

• Duality and de Rham cohomology for graded \(\mathcal{D}\)-modules
• Simple \(\mathcal{D}\)-module components of local cohomology modules
• de Rham cohomology of local cohomology modules: The graded case
• A prime-characteristic analogue of a theorem of Hartshorne-Polini
• Eulerian graded \(\mathcal{D}\)-modules

Cited in

(4)

• Duality and de Rham cohomology for graded \(\mathcal{D}\)-modules
• Orthogonal graded completion of modules
• The Dedekind completion of d-algebras
• Eulerian graded \(\mathcal{D}\)-modules

This page was built for publication: On completion of graded \(\mathcal{D}\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996253)