Six operations for D-cap-modules on rigid analytic spaces

/!\ Attention, horaire inhabituel /!\ (L'exposé aura lieu sur BigBlueButton.) In complex algebraic geometry, the theory of D-modules admits six standard functors (direct and inverse image, their shriek versions, tensor product and duality), which preserve the subcategory of holonomic D-modules, where they satisfy a version of Grothendieck’s six-functor formalism. In this talk, I will define analogues of these functors in the p-adic analytic context by introducing a suitable derived-categorical framework. I will then discuss how these functors behave on coadmissible modules, the analogue of coherent modules in this theory. If time permits, I will then sketch how this framework can be used to define a notion of holonomicity for which most stability properties follow purely formally.