p-adic Cherednik algebras on rigid analytic spaces

Let $X$ be a smooth rigid space with an action of a finite group $G$ satisfying that $X/G$ is represented by a rigid space. We construct sheaves of $p$-adic Cherednik algebras on the small \'etale site of the quotient $X/G$, and study some of their properties. The sheaves of $p$-adic Cherednik algebras are sheaves of Fr\'echet $K$-algebras on $X/G$, which can be regarded as $p$-adic analytic versions of the sheaves of Cherednik algebras associated to the action of a finite group on a smooth algebraic variety defined by P. Etingof. Furthermore, their sections on small enough $G$-invariant affinoid spaces are canonically Fr\'echet-Stein algebras. Along the way, we construct sheaves of infinite order twisted differential operators on $X$, we give a $G$-equivariant classification of the Atiyah algebras (Picard algebroids) on $X$, and study the category of co-admissible modules over a sheaf of infinite order twisted differential operators.