Hochschild (Co)homology of D-modules on rigid analytic spaces I

We introduce a formalism of Hochschild (co)-homology for $\mathcal{D}$-cap modules on smooth rigid analytic spaces based on the homological tools of Ind-Banach $\mathcal{D}$-cap modules. We introduce several categories of $\mathcal{D}$-cap bimodules for which this theory is well-behaved. Among these, the most important example is the category of diagonal $\mathcal{C}$-complexes. We give an explicit calculation of the Hochschild complex for diagonal $\mathcal{C}$-complexes, and show that the Hochschild complex of $\mathcal{D}$-cap is canonically isomorphic to the de Rham complex of $X$. In particular, we obtain a Hodge-de Rham spectral sequence converging to the Hochschild cohomology groups of $\mathcal{D}$-cap. We obtain explicit formulas relating the Hochschild cohomology and homology of a given diagonal $\mathcal{C}$-complex.