Abstract:Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of $D$-cap-modules of Ardakov and Wadsley to the theory of analytic $D$-modules. We prove some foundational results such as the existence of a six functor formalism and Poincaré duality for analytic $D$-modules, generalizing previous work of Bode. Finally, we relate the theory of analytic $D$-modules to previous work of the author with Rodrigues Jacinto on solid locally analytic representations of $p$-adic Lie groups.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct the six - functor formalism of analytic D - modules in rigid geometry. Specifically, the author hopes to extend the classical algebraic D - module theory to the analytic D - module theory by introducing the analytic de Rham stack, and prove some basic results, such as the Poincaré duality and the existence of the six - functor formalism.
### Detailed description of the main problem
1. **Six - functor formalism of analytic D - modules**:
The author hopes to construct a six - functor formalism for the appropriate category of D - modules on rigid spaces. The classical D - module theory is constructed by defining an algebraic differential operator ring \(D_X\) and considering quasi - coherent modules over it. In p - adic geometry, Ardakov and Wadsley developed the coadmissible ÙD - module theory, in which the sheaf of infinite - order p - adic differential operators is used. The goal of this paper is to generalize these concepts to analytic D - modules and construct the corresponding six - functor formalism.
2. **Definition of analytic de Rham stack**:
To achieve this goal, the author introduces the concept of "analytic de Rham stack". This concept combines the de Rham stack in geometric D - module theory and the analytic tools in p - adic geometry. In particular, the author defines "bounded affinoid rings" and "derived Tate adic spaces", and constructs the analytic de Rham stack on these bases.
3. **Proof of basic results**:
The author proves some basic results, such as the existence of the six - functor formalism and Poincaré duality. These results not only generalize previous work, but also provide new tools and perspectives for the study of analytic D - modules.
4. **Relationship with local analytic representations**:
Finally, the author relates the analytic de Rham stack to the local analytic representations of p - adic Lie groups, in particular, generalizes the work of Ardakov et al. on equivariant D - modules. This provides a new approach for further studying the representation theory of p - adic Lie groups.
### Summary
The core problem of this paper is to construct the six - functor formalism of analytic D - modules in rigid geometry by introducing the analytic de Rham stack and prove related basic results. This not only extends the classical D - module theory, but also provides new tools and methods for the study of p - adic geometry and representation theory.
### Summary of key formulas
- **Algebraic differential operator ring**:
\[
D_X = O_X[\partial_{T_1}, \dots, \partial_{T_d}]
\]
- **Infinite - order p - adic differential operator**:
\[
\hat{D}_X=\lim_{\leftarrow n} A\langle p^n\partial_{T_1}, \dots, p^n\partial_{T_d}\rangle
\]
- **Analytic de Rham stack**:
\[
X_{dR}(A) = X(A^{\dagger-\text{red}})
\]
- **Six - functor formalism**:
\[
f^!, f_*, f^*, f_! : \text{QCoh}(X)\to\text{QCoh}(Y)
\]
These formulas and concepts together form the core content of this paper, showing how to construct and apply the analytic D - module theory in rigid geometry.