Abstract:We study ``change of weights'' maps between loci of the stack of $(\varphi,\Gamma)$-modules over the Robba ring with integral Hodge-Tate-Sen weights. We show that in the $\mathrm{GL}_2(\mathbb{Q}_p)$ case these maps can realize translations of $(\varphi,\Gamma)$-modules geometrically. The motivation is to investigate translations of locally analytic representations under the categorical $p$-adic Langlands correspondence.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to study and realize the geometric translation of (ϕ, Γ)-modules on GL₂(Qₚ), especially to explore the translation of local analytic representations within the framework of the p -adic Langlands correspondence. Specifically, the author mainly focuses on the following problems:
1. **Weight - changing maps**:
- Study the "weight - changing" maps between stacks of (ϕ, Γ)-modules with integral Hodge - Tate - Sen weights on the Robba ring.
- In the case of GL₂(Qₚ), these maps can realize the geometric translation of (ϕ, Γ)-modules.
2. **Translation of local analytic representations**:
- Explore how to understand the translation operations of local analytic representations through the categorified p -adic Langlands correspondence.
- In particular, study Ding's translation results of (ϕ, Γ)-modules in arithmetic families in [Din23] and generalize them to the geometric context.
3. **Construction of geometric translation**:
- Construct a map from a sub - sheaf with a fixed Sen weight to another sub - sheaf with a different Sen weight.
- Prove that these maps are isomorphisms under appropriate conditions and can realize the geometric translation of (ϕ, Γ)-modules.
4. **Theoretical verification and application**:
- Verify whether these geometric translations are compatible with the categorified p -adic Langlands correspondence.
- Propose and discuss general conjectures, hoping to provide a basis for research in the more general GLₙ(Qₚ) case.
### Main contributions of the paper
- **Realization of geometric translation**: Through tools such as Grothendieck - Springer resolution, the geometric translation of (ϕ, Γ)-modules on GL₂(Qₚ) has been realized.
- **Construction of theoretical framework**: Proposed a construction method of weight - changing maps and proved its properties under specific conditions.
- **Application prospects**: Provided new tools and ideas for studying the more general p -adic Langlands correspondence, especially for the translation operations of local analytic representations.
### Formula summary
- **Weight - changing maps**:
\[
f_h: (X_n)^{\wedge}_h \to (X_n)^{\wedge}_0
\]
This map makes the following diagram commute on RigL:
\[
\begin{CD}
(X_n)^{\wedge}_h @>>> \tilde{g}/GL_n \\
@V f_h VV @VV f V \\
(X_n)^{\wedge}_0 @>>> g/GL_n
\end{CD}
\]
- **Geometric translation theorem**:
\[
T_{\mu}^{\lambda} D(X_2)^{\wedge}_h \simeq f_h^* D(X_2)^{\wedge}_0
\]
and
\[
T_{\lambda}^{\mu} D(X_2)^{\wedge}_0 \simeq Rf_{h,*} D(X_2)^{\wedge}_h
\]
Through these studies, the author not only solved the problem of geometric translation of (ϕ, Γ)-modules on GL₂(Qₚ), but also provided a theoretical basis for further research on more complex p -adic Langlands correspondences.