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

From MaRDI portal
Publication:5224445




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 mathcalDX-cap-modules to fmathcalDX-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 mathcalDX-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.









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)