Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744972
Title: D-cap modules on rigid analytic spaces
Author: Bode, Andreas
ISNI:       0000 0004 7231 2548
Awarding Body: University of Cambridge
Current Institution: University of Cambridge
Date of Award: 2018
Availability of Full Text:
 Access from EThOS: Full text unavailable from EThOS. Please try the link below. Access from Institution:
Abstract:
Following the notion of $p$-adic analytic differential operators introduced by Ardakov--Wadsley, we establish a number of properties for coadmissible $\wideparen{\mathcal{D}}$-modules on rigid analytic spaces. Our main result is a $\wideparen{\mathcal{D}}$-module analogue of Kiehl's Proper Mapping Theorem, considering the 'naive' pushforward from $\wideparen{\mathcal{D}}_X$-modules to $f_*\wideparen{\mathcal{D}}_X$-modules for proper morphisms $f: X\to Y$. Under assumptions which can be naturally interpreted as a certain properness condition on the cotangent bundle, we show that any coadmissible $\wideparen{\mathcal{D}}_X$-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 arbitrary twisted $\wideparen{\mathcal{D}}$-modules on analytified partial flag varieties. Our results rely heavily on the study of completed tensor products for $p$-adic Banach modules, for which we provide several new exactness criteria. We also show that the main results of Ardakov--Wadsley on the algebraic structure of $\wideparen{\mathcal{D}}$ still hold without assuming the existence of a smooth Lie lattice. For instance, we prove that the global sections $\wideparen{\mathcal{D}}_X(X)$ form a Frechet--Stein algebra for any smooth affinoid $X$.