Holonomic D-cap-modules on rigid analytic spaces

Abstract

We adapt Caro's notion of overholonomicity to give a definition of holonomic D-cap-modules on rigid analytic spaces. We prove stability under five of the six operations (both inverse image functors, duality, and both direct image functors for projective morphisms), as well as base change results. Up to the open problem of stability under tensor products, we obtain an analogue of the usual six-functor formalism for holonomic D-modules.