Abstract:Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. Using perfectoid spaces we associate to any finite-dimensional continuous representation $\overline{\rho}$ of ${\rm Gal}(\overline K/K)$ over $\mathbb{F}$ an étale $(\varphi,\mathcal{O}_K^\times)$-module $D_A^\otimes(\overline{\rho})$ over a completed localization $A$ of $\mathbb{F}[\![\mathcal{O}_K]\!]$. We conjecture that one can also associate an étale $(\varphi,\mathcal{O}_K^\times)$-module $D_A(\pi)$ to any smooth representation $\pi$ of $\mathrm{GL}_2(K)$ occurring in some Hecke eigenspace of the mod $p$ cohomology of a Shimura curve, and that moreover $D_A(\pi)$ is isomorphic (up to twist) to $D_A^\otimes(\overline{\rho})$, where $\overline{\rho}$ is the underlying $2$-dimensional representation of ${\rm Gal}(\overline K/K)$. Using previous work of the same authors, we prove this conjecture when $\overline{\rho}$ is semi-simple and sufficiently generic.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper is mainly devoted to studying and constructing multivariate ($\varphi$, $O_K^{\times}$)-modules related to the mod $p$ representations of $GL_2(K)$, as well as their relationships with Galois representations. Specifically, the authors attempt to solve the following key problems:
1. **Mod $p$ Langlands correspondence**:
- The main motivation of the paper is to explore the mod $p$ Langlands correspondence for $GL_2(K)$, where $K$ is a finite unramified extension of $\mathbb{Q}_p$. Some progress has been made for the case of $K = \mathbb{Q}_p$, but for the case of $K\neq\mathbb{Q}_p$, this problem remains challenging.
- The authors hope to establish an exact functor similar to Colmez's construction on mod $p$, which links the mod $p$ representations of $GL_2(K)$ with Galois representations.
2. **Local - global compatibility**:
- The authors propose a new construction method to link the continuous mod $p$ Galois representation $\rho$ with the multivariate ($\varphi$, $O_K^{\times}$)-module $D\otimes_A(\rho)$. This construction is based on Fontaine's equivalence of Lubin - Tate ($\varphi$, $O_K^{\times}$)-modules.
- They prove that under certain conditions, the two functors $D'_{et,A}$ and $D\otimes_A$ satisfy the local - global compatibility property, especially in the completed cohomology of the Shimura curve tower.
3. **Key conjecture**:
- The authors propose a conjecture: for any smooth representation $\pi$ in the Hecke eigenspace appearing in the mod $p$ cohomology of the Shimura curve, there exists a corresponding multivariate ($\varphi$, $O_K^{\times}$)-module $D_A(\pi)$, and this module depends only on the underlying 2 - dimensional Galois representation $\rho$.
- They prove this conjecture when $\rho$ is semisimple and sufficiently generic.
4. **Technical difficulties**:
- The authors solve the key comparison problem from Lubin - Tate ($\varphi$, $O_K^{\times}$)-modules to multivariate ($\varphi$, $O_K^{\times}$)-modules. This involves the comparison between the action of $O_K^{\times}$ on $A$ and the action on the tensor power of the Lubin - Tate group structure ring.
- To overcome this problem, the authors use the "Abel - Jacobi map" proposed by Fargues and work at the perfect field level.
### Main conclusions
Through detailed calculations and constructions, the authors prove that when $\rho$ is semisimple and sufficiently generic, the multivariate ($\varphi$, $O_K^{\times}$)-module $D_A(\pi)$ depends only on $\rho$, and provide a specific conjecture about $D_A(\pi)$. In addition, they also construct a new fully faithful functor that links continuous Galois representations with a specific class of multivariate ($\varphi_q$, $O_K^{\times}$)-modules.
Overall, this paper provides an important step in understanding the mod $p$ representations of $GL_2(K)$ and their relationships with Galois representations, and lays the foundation for further research.