A Microlocal Theory for Zariski-Constructible Sheaves on Rigid Analytic Varieties

We develop a microlocal theory, in the sense of Kashiwara-Schapira, for Zariski-constructible sheaves on rigid analytic varieties. We define and study monodromic sheaves, the monodromic Fourier transform, specialisation, microlocalisation, micro-hom, and singular support in this context. Some questions and conjectures are formulated in the end. The appendix contains infinity-categorical characterisations of monodromic sheaves.