A (higher) categorical approach to analytic D-modules

In this possibly speculative talk I will try to outline a way to define analytic D-modules, using (higher) category theory and the ``six operations" on quasicoherent sheaves as the main tools. The aim is to follow the successful approach of Andy Jiang in the algebraic setting, who obtained such a theory without using stacks or formal schemes (as in Gaitsgory-Rozenblyum's approach). By using local cohomology, Jiang was able to avoid enlarging the category of algebras beyond the usual ones. We believe that an analytic variant of local cohomology can be used to recover the Ardakov-Wadsley theory of D-cap modules ``on the nose". (Work in progress).