Table of Contents
Fetching ...

Classicality of derived Emerton-Gee stack

Yu Min

TL;DR

The paper constructs a derived stack ${\mathcal{X}}$ of Laurent $F$-crystals on the absolute prismatic site and proves its underlying classical stack coincides with the Emerton–Gee stack ${\mathcal{X}}_{EG}$. It then shows ${\mathcal{X}}$ is classical up to nilcompletion by developing a global deformation theory and comparing pro-cotangent spaces via Herr complexes of adjoint étale $(\varphi,\Gamma)$-modules, using Breuil–Kisin prisms and derived representations (Zhu, GV18). This yields ${\mathcal{X}}^{\rm nil} \simeq (\mathrm{Lan}{\mathcal{X}}_{EG})^{\#,\rm nil}$, i.e. the derived extension is governed by the left Kan extension of the classical stack after nilcompletion. The results provide a coherent derived-geometry picture for local Langlands parameters in the ${\mathrm{GL}}_d$-case, suggesting a classical behavior for these derived moduli spaces and furnishing a deformation-theoretic toolkit for future global-to-local comparisons. Overall, the work strengthens the bridge between derived prismatic objects and classical Galois/$(\varphi,\Gamma)$-module moduli, with potential applications to global Langlands correspondences.

Abstract

We construct a derived stack $χ$ of Laurent $F$-crystals on $(\mathcal{O}_K)_{\mathbbΔ}$, 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}χ$ coincides with the Emerton-Gee stack $χ_{\rm EG}$, i.e., the moduli stack of étale $(φ, Γ)$-modules. Then we prove that this derived stack is classical in the sense that when restricted to truncated animated rings, $χ$ is equivalent to the sheafification of the left Kan extension of $χ_{\rm EG}$ along the inclusion from the classical commutative rings to animated rings.

Classicality of derived Emerton-Gee stack

TL;DR

The paper constructs a derived stack of Laurent -crystals on the absolute prismatic site and proves its underlying classical stack coincides with the Emerton–Gee stack . It then shows is classical up to nilcompletion by developing a global deformation theory and comparing pro-cotangent spaces via Herr complexes of adjoint étale -modules, using Breuil–Kisin prisms and derived representations (Zhu, GV18). This yields , i.e. the derived extension is governed by the left Kan extension of the classical stack after nilcompletion. The results provide a coherent derived-geometry picture for local Langlands parameters in the -case, suggesting a classical behavior for these derived moduli spaces and furnishing a deformation-theoretic toolkit for future global-to-local comparisons. Overall, the work strengthens the bridge between derived prismatic objects and classical Galois/-module moduli, with potential applications to global Langlands correspondences.

Abstract

We construct a derived stack of Laurent -crystals on , where is the ring of integers of a finite extension of . We first show that its underlying classical stack coincides with the Emerton-Gee stack , i.e., the moduli stack of étale -modules. Then we prove that this derived stack is classical in the sense that when restricted to truncated animated rings, is equivalent to the sheafification of the left Kan extension of along the inclusion from the classical commutative rings to animated rings.
Paper Structure (16 sections, 58 theorems, 136 equations)

This paper contains 16 sections, 58 theorems, 136 equations.

Key Result

Theorem 1.1

The moduli stack $^{\rm cl}{\mathcal{X}}$ of Laurent $F$-crystals on $({\mathcal{O}}_K)_{{\mathlarger{\mathbbl{\Delta}}}}$, i.e. the functor sending each $p$-nilpotent ring $R$ to the groupoid ${\mathrm{Vect}}(({\mathcal{O}}_K)_{{\mathlarger{\mathbbl{\Delta}}}},{\mathcal{O}}_{{\mathlarger{\mathbbl{\

Theorems & Definitions (138)

  • Theorem 1.1: Theorem \ref{['main1']}
  • Theorem 1.2: Theorem \ref{['main2']}
  • Remark 1.3
  • Proposition 1.4: GR17
  • Proposition 1.5: Proposition \ref{['key-a']} and \ref{['key-b']}
  • Remark 1.6
  • Remark 1.7
  • Definition 2.1: Prestack/stack
  • Remark 2.2
  • Definition 2.3: Derived prestack/stack
  • ...and 128 more