Abstract:We build a one-to-one correspondence between $3$-dimensional (generic) crystabelline representations of the absolute Galois group of $\mathbb{Q}_p$ and certain locally analytic representations of $\mathrm{GL}_3(\mathbb{Q}_p)$. We show that the correspondence can be realized in subspaces of $p$-adic automorphic representations.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish a one - to - one correspondence between three - dimensional (generic) crystabelline representations and certain locally analytic representations. Specifically, the article constructs a one - to - one correspondence between three - dimensional crystabelline representations of the absolute Galois group $Gal(\mathbb{Q}_p)$ and locally analytic representations of $GL_3(\mathbb{Q}_p)$, and shows that this correspondence can be realized in the subspace of $p$-adic automorphic representations.
### Main problem decomposition:
1. **Establishing the correspondence**:
- The core objective of the article is to establish a one - to - one correspondence between three - dimensional crystabelline representations and locally analytic representations of $GL_3(\mathbb{Q}_p)$.
- This correspondence is realized in the subspace of $p$-adic automorphic representations.
2. **Introducing Hodge parameters**:
- The author introduces a Hodge parameter $a_\rho\in E^\times$ to describe the Hodge filtration of the crystabelline representation $\rho$.
- The Hodge parameter $a_\rho$ encodes the Hodge filtration information of Dcris(ρ) as follows:
\[
Fil^j D_{crys}(\rho)=
\begin{cases}
D_{crys}(\rho)&\text{if }j\leq -h_1,\\
E(e_1 + e_2)\oplus E(e_1 + a_\rho e_2 + e_3)&\text{if }-h_1 < j\leq -h_2,\\
E(e_1 + a_\rho e_2 + e_3)&\text{if }-h_2 < j\leq -h_3,\\
0&\text{if }j > -h_3.
\end{cases}
\]
3. **Local - global compatibility**:
- The article also studies the local - global compatibility problem, that is, how to reflect the newly emerging Hodge parameters on the automorphic side.
- Specifically, assume that $\rho = V(\alpha, h, a_\rho)$ is automorphic, then for $a\in E^\times$, we have $\pi(\alpha, h, a)\hookrightarrow\hat{\pi}(\rho)$ if and only if $a = a_\rho$.
4. **Extensions and constructions**:
- The author uses a series of complex mathematical tools and techniques, such as $(\phi,\Gamma)$-modules, extension groups, etc., to construct in detail the required locally analytic representations and prove the correspondence between them.
### Summary:
The main contribution of this paper lies in establishing a one - to - one correspondence between three - dimensional crystabelline representations and locally analytic representations of $GL_3(\mathbb{Q}_p)$, and solving the problem of how to reflect the new Hodge parameters on the automorphic side. This provides an important theoretical basis and tool for the study of the $p$-adic Langlands program.