Abstract:Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field of characteristic $p$. We construct a new linear category called the category of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that it is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ which correspond to crystalline representations. In a sense, this can be seen as a generalization of Wach modules in the ramified case.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the $(\varphi, \Gamma)$ -modules corresponding to crystalline representations over the mixed - characteristic complete discrete valuation field $K$. Specifically, the author constructs a new linear category, called the category of crystalline $(\varphi, \Gamma)$ -modules over $eA^+_K$, and proves that it is equivalent to the category of free $\mathbb{Z}_p$-representations of the absolute Galois group $G_K$ of $K$. This can be regarded as a generalization of Wach modules in the ramified case.
### Main contributions of the paper
1. **Construct a new category**: The author constructs the category of crystalline $(\varphi, \Gamma)$ -modules over $eA^+_K$ and proves that it is equivalent to the category of free $\mathbb{Z}_p$-representations of $G_K$.
2. **Generalize Wach modules**: In the unramified case, Wach modules have been studied by L. Berger et al. This paper generalizes these results to the ramified case.
3. **Provide new tools**: By using $eA^+_K$ and $eA_K$, the author provides a new method to deal with crystalline representations, which is more effective in dealing with more general cases.
### Main theorems
The main theorems of the paper are as follows:
**Theorem 0.5**:
There exists a categorical equivalence relation, that is, the category of crystalline $(\varphi, \Gamma)$ -modules $\text{Mod}^{\text{fh},\text{crys}}_{\varphi,\Gamma}(eA^+_K)$ over $eA^+_K$ is related to the category of free crystalline $\mathbb{Z}_p$-representations $\text{Rep}^{\text{crys}}_{\mathbb{Z}_p}(G_K)$ of $G_K$ through the following functor:
\[ T: \text{Mod}^{\text{fh},\text{crys}}_{\varphi,\Gamma}(eA^+_K) \sim \to \text{Rep}^{\text{crys}}_{\mathbb{Z}_p}(G_K), \quad N \mapsto T(N) := \left( N \otimes_{eA^+_K} W(\mathbf{C}^\flat_p) \right)^{\varphi = 1}. \]
### Proof strategies
1. **Define the functor**: First, prove that the functor $T$ is well - defined. For any crystalline $(\varphi, \Gamma)$ -module $N$ over $eA^+_K$, $N\otimes_{eA^+_K}eA_K$ is a $(\varphi, \Gamma)$ -module over $eA_K$, so $T(N)$ is a free $\mathbb{Z}_p$-representation of $G_K$.
2. **Prove the properties of the functor**: Through conditions (i) and (ii), prove that the functor $T$ is faithful, full, and essentially surjective.
3. **Construct the inverse functor**: Using prism theory, prove that for any prism $F$-crystal $N$ at the value of $(eA^+_K, \varphi(\xi))$ of the $O_\Delta$-module is a crystalline $(\varphi, \Gamma)$ -module over $eA^+_K$.
### Related work
The paper also discusses the relationship with arithmetic Breuil - Kisin - Fargues modules and other related theories, such as $(\varphi, \mathbf{b}G)$ -modules. These theories are used in dealing with semi -