A proper mapping theorem for coadmissible \widehat{\mathcal{D}}-modules

DOI10.17879/85169759795zbMATH Open1420.14042arXiv1807.01086MaRDI QIDQ5224445FDOQ5224445

Authors: A. Bode 

Publication date: 23 July 2019

Abstract: We study the behaviour of D-cap-modules on rigid analytic varieties under pushforward along a proper morphism. We prove a D-cap-module analogue of Kiehl's Proper Mapping Theorem, considering the derived sheaf-theoretic pushforward from $mathcal{D}_X$-cap-modules to $f_{\ast }mathcal{D}_X$-cap-modules for proper morphisms $f:XoY$. Under assumptions which can be naturally interpreted as a certain properness condition on the cotangent bundle, we show that any coadmissible $mathcal{D}_X$-cap-module has coadmissible higher direct images. This implies among other things a purely geometric justification of the fact that the global sections functor in the rigid analytic Beilinson--Bernstein correspondence preserves coadmissibility, and we are able to extend this result to twisted D-cap-modules on analytified partial flag varieties.

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

Recommendations

• \(\widehat{\mathcal {D}}\)-modules on rigid analytic spaces. II: Kashiwara's equivalence
• \(\widehat{\mathcal{D}}\)-modules on rigid analytic spaces. III: Weak holonomicity and operations
• \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
• Extending meromorphic connections to coadmissible \( \mathcal{D} \)-modules
• scientific article; zbMATH DE number 802879

zbMATH Keywords

representation theoryD-modulerigid analytic space

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Cited In (6)

• Extending meromorphic connections to coadmissible \( \mathcal{D} \)-modules
• \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
• \(\widehat{\mathcal {D}}\)-modules on rigid analytic spaces. II: Kashiwara's equivalence
• Completed tensor products and a global approach to \(p\)-adic analytic differential operators
• \(\widehat{\mathcal{D}}\)-modules on rigid analytic spaces. III: Weak holonomicity and operations
• The \(\ell_1\)-dichotomy theorem with respect to a coideal

This page was built for publication: A proper mapping theorem for coadmissible $\widehat{\mathcal{D}}$-modules

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