Abstract:We construct a derived stack $\chi$ of Laurent $F$-crystals on $(\mathcal{O}_K)_{\mathbb{\Delta}}$, where $\mathcal{O}_K$ is the ring of integers of a finite extension $K$ of $\mathcal{Q}_p$. We first show that its underlying classical stack $^{\rm cl}\chi$ coincides with the Emerton-Gee stack $\chi_{\rm EG}$, i.e., the moduli stack of étale $(\phi, \Gamma)$-modules. Then we prove that this derived stack is classical in the sense that when restricted to truncated animated rings, $\chi$ is equivalent to the sheafification of the left Kan extension of $\chi_{\rm EG}$ along the inclusion from the classical commutative rings to animated rings.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about deriving the classical properties of the Emerton - Gee stack. Specifically, the author constructs a derived stack \(X\) which consists of Laurent \(F\)-crystals over \(O_K\), where \(O_K\) is the ring of integers of a finite extension \(K\). The main contribution of the paper lies in proving that this derived stack \(X\) is classical under certain conditions, that is, when restricted to truncated animated rings, \(X\) is equivalent to the sheafification of \(X_{EG}\) obtained by left Kan extension from classical commutative rings to animated rings.
### Main Problems and Contributions
1. **Constructing the Derived Stack**
- The paper first constructs a derived stack \(X\), whose underlying classical stack \(\text{cl}X\) is equal to the Emerton - Gee stack \(X_{EG}\). This shows that \(\text{cl}X\) is a moduli stack, which is used to describe étale \((\phi,\Gamma)\)-modules.
2. **Classical Properties of the Derived Stack**
- The paper further proves that the derived stack \(X\) is classical on truncated animated rings. Specifically, when restricted to truncated animated rings, the derived stack \(X\) is equivalent to the sheafification of \(X_{EG}\).
### Key Results
- **Theorem 1.1**: The moduli stack \(\text{cl}X\) is equivalent to the Emerton - Gee stack \(X_{EG}\).
- This result is proved by using the absolutely perfect prism site as a bridge. When the coefficient ring is a finite - type \(Z_p\)-algebra, Laurent \(F\)-crystals are no different from étale \((\phi,\Gamma)\)-modules. Through the limit - preserving property, the equivalence can be extended from finite - type algebras to arbitrary algebras.
- **Theorem 1.2**: The derived stack \(X\) is classical on truncated animated rings.
- This result is proved by global derived deformation theory. The main idea is that any animated ring of the Postnikov tower is actually a continuous extension of square - zero extensions, which is determined by the (pro)-cotangent complex. In some cases, comparing two derived stacks can be simplified to comparing their (pro)-cotangent complexes.
### Technical Details
- **Laurent \(F\)-crystals**: Defined as vector bundles on the absolutely perfect prism site \((O_K)^\Delta\) with a Frobenius isomorphism.
- **étale \((\phi,\Gamma)\)-modules**: Defined as finite projective modules over \(A_K\) with a semilinear Frobenius action and a continuous \(\Gamma\) action.
- **Derived Deformation Theory**: Used to handle the continuous derived \(\Gamma\) action of derived \((\phi,\Gamma)\)-modules.
### Conclusion
This paper provides a new perspective for studying the moduli stack of local Langlands parameters by constructing the derived Emerton - Gee stack and proving its classical properties. This result is not only theoretically significant but also provides a basis for further research on the local Langlands correspondence for general groups.