Auslander regularity of completed rings of $p$-adic differential operators

Abstract

We prove that any smooth rigid analytic variety $X$ admits an affinoid covering $\{U_i\}$ such that the Banach algebras involved in the Fréchet--Stein presentation of the completed ring of differential operators D-cap$(U_i)$ are Auslander regular for each $i$. We use this result to prove projection formulae and adjunction results for coadmissible D-cap-modules.