Abstract:Let $p$ be a prime number, $K$ a finite extension of $\mathbb{Q}_p$ and $n$ an integer $\geq 2$. We completely and explicitly describe the global sections $\Omega^\bullet$ of the de Rham complex of the Drinfeld space over $K$ in dimension $n-1$ as a complex of (duals of) locally $K$-analytic representations of $\mathrm{GL}_n(K)$. Using this description, we construct an explicit section in the derived category of (duals of) finite length admissible locally $K$-analytic representations of $\mathrm{GL}_n(K)$ to the canonical morphism of complexes $\Omega^\bullet \twoheadrightarrow H^{n-1}(\Omega^\bullet)[-(n-1)]$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the explicit description of the global sections of the de Rham complex of Drinfeld spaces and its applications in p -adic arithmetic geometry. Specifically, the article aims to fully and explicitly describe the global sections \(\Omega^\bullet\) of the de Rham complex on Drinfeld spaces of dimension \(n - 1\), as a complex of locally \(K\)-analytic representations (or their duals) of \(GL_n(K)\).
### Detailed description of the main problem:
1. **Definition and background of Drinfeld spaces**:
- The Drinfeld space \(H/K\) is a very important object in \(p\)-adic arithmetic geometry. It is an open subspace of \(P^{n - 1}_{\text{rig}}/K\), obtained by removing all \(K\)-rational hyperplanes.
- This space plays an important role in the study of \(p\)-adic representation theory and the Langlands program.
2. **Global sections of the de Rham complex**:
- The core objective of the paper is to give an explicit description of the global sections \(\Omega^\bullet\) of the de Rham complex on Drinfeld spaces. These sections are not only representations of \(GL_n(K)\) but also locally \(K\)-analytic representations.
- Specifically, the article hopes to construct the specific forms of these sections and study the differential maps between them.
3. **Applications in representation theory**:
- Through the above - mentioned explicit description, the article further constructs an explicit section from the canonical morphism \(\Omega^\bullet\twoheadrightarrow H^{n - 1}(\Omega^\bullet)[-(n - 1)]\) in the derived category to the locally \(K\)-analytic representation of finite length.
- These results are of great significance for understanding certain representations in the \(p\)-adic Langlands program.
### Methods for solving the problem:
- **Using locally \(K\)-analytic representations**: The article utilizes the theory of locally \(K\)-analytic representations, especially the Orlik - Strauch representation, to describe the structure of \(\Omega^\bullet\).
- **Calculating Ext groups**: By calculating the Ext groups between certain locally \(K\)-analytic representations, the article can control the internal structure of \(\Omega^\bullet\) and its differential maps.
- **Constructing explicit sections**: Based on the above description, the article constructs an explicit section from \((St^\infty_n)^\vee[-(n - 1)]\) to \(\Omega^\bullet\), thus providing a deeper understanding of the de Rham complex.
In conclusion, this paper provides new tools and perspectives for the study of \(p\)-adic representation theory and arithmetic geometry by explicitly describing the global sections of the de Rham complex on Drinfeld spaces and constructing related explicit sections.