Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field, and let $E$ be a finite extension of $\mathbb{Q}_p$ contained in $K$. We show that the category of prismatic $F$-crystals on $Ø_K$ (relative to $E$ in a suitable sense) is equivalent to the category of $Ø_E$-lattices in $E$-crystalline $G_K$-representations introduced by Kisin–Ren, extending a previous result of Bhatt–Scholze in the case $E=\mathbb{Q}_p$. As a key ingredient in the proof, by adapting a lemma of Du–Liu we prove a general full faithfulness result for certain vector bundles on the prismatic site, which simplifies and refines the key descent step in the approach of Bhatt–Scholze without invoking the Beilinson fibre sequence.
Soit $K/\mathbb{Q}_p$ un corps complet à valeurs discrètes avec corps résiduel parfait, et soit $E$ une extension finie de $\mathbb{Q}_p$ contenue dans $K$. Nous montrons que la catégorie des $F$-cristaux prismatiques sur $Ø_K$ (relativement à $E$ dans un sens approprié) est équivalente à la catégorie des $Ø_E$-réseaux dans les $G_K$-représentations $E$-cristallines introduite par Kisin–Ren, étendant un résultat précédent de Bhatt–Scholze dans le cas $E=\mathbb{Q}_p$. Comme ingrédient clé de la preuve, en adaptant un lemme de Du–Liu, nous prouvons un résultat général de pleine fidélité pour certains fibrés vectoriels sur le site prismatique, ce qui simplifie et raffine une étape clé dans l’approche de Bhatt–Scholze sans invoquer la séquence de fibres de Beilinson.
Keywords: prismatic $F$-crystals, crystalline Galois representations
Dat Pham 1

@article{PMB_2025____59_0, author = {Dat Pham}, title = {Prismatic $F$-crystals and $E$-crystalline {Galois} representations}, journal = {Publications math\'ematiques de Besan\c{c}on. Alg\`ebre et th\'eorie des nombres}, pages = {59--96}, publisher = {Presses universitaires de Franche-Comt\'e}, year = {2025}, doi = {10.5802/pmb.62}, language = {en}, url = {https://pmb.centre-mersenne.org/articles/10.5802/pmb.62/} }
TY - JOUR AU - Dat Pham TI - Prismatic $F$-crystals and $E$-crystalline Galois representations JO - Publications mathématiques de Besançon. Algèbre et théorie des nombres PY - 2025 SP - 59 EP - 96 PB - Presses universitaires de Franche-Comté UR - https://pmb.centre-mersenne.org/articles/10.5802/pmb.62/ DO - 10.5802/pmb.62 LA - en ID - PMB_2025____59_0 ER -
%0 Journal Article %A Dat Pham %T Prismatic $F$-crystals and $E$-crystalline Galois representations %J Publications mathématiques de Besançon. Algèbre et théorie des nombres %D 2025 %P 59-96 %I Presses universitaires de Franche-Comté %U https://pmb.centre-mersenne.org/articles/10.5802/pmb.62/ %R 10.5802/pmb.62 %G en %F PMB_2025____59_0
Dat Pham. Prismatic $F$-crystals and $E$-crystalline Galois representations. Publications mathématiques de Besançon. Algèbre et théorie des nombres (2025), pp. 59-96. doi : 10.5802/pmb.62. https://pmb.centre-mersenne.org/articles/10.5802/pmb.62/
[1] Prismatic Dieudonné theory, Forum Math. Pi, Volume 11 (2023), e2, 92 pages | MR | Zbl
[2] On the Beilinson fiber square, Duke Math. J., Volume 171 (2022) no. 18, pp. 3707-3806 | MR | Zbl
[3] Limites de représentations cristallines, Compos. Math., Volume 140 (2004) no. 6, pp. 1473-1498 | DOI | MR | Zbl
[4] Équations différentielles -adiques et -modules filtrés, Représentations -adiques de groupes -adiques. I. Représentations galoisiennes et -modules (Astérisque), Volume 319, Société Mathématique de France, 2008, pp. 13-38
[5] Multivariable -modules and locally analytic vectors, Duke Math. J., Volume 165 (2016) no. 18, pp. 3567-3595 | MR | Zbl
[6] Integral -adic Hodge theory, Publ. Math., Inst. Hautes Étud. Sci., Volume 128 (2018), pp. 219-397 | DOI | Numdam | MR | Zbl
[7] Topological Hochschild homology and integral -adic Hodge theory, Publ. Math., Inst. Hautes Étud. Sci., Volume 129 (2019), pp. 199-310 | DOI | Numdam | MR | Zbl
[8] Prismatic -crystals and crystalline Galois representations, Camb. J. Math., Volume 11 (2023) no. 2, pp. 507-562 | DOI | MR | Zbl
[9] Integral -adic Hodge theory, Algebraic geometry 2000, Azumino (Hotaka) (Advanced Studies in Pure Mathematics), Volume 36, Mathematical Society of Japan, 2002, pp. 51-80 | DOI | MR | Zbl
[10] On -crystalline representations, Doc. Math., Volume 21 (2016), pp. 223-270 | DOI | MR | Zbl
[11] Breuil -windows and -divisible -modules, Trans. Am. Math. Soc., Volume 370 (2018) no. 1, pp. 695-726 | DOI | MR | Zbl
[12] Espaces de Banach de dimension finie, J. Inst. Math. Jussieu, Volume 1 (2002) no. 3, pp. 331-439 | DOI | MR | Zbl
[13] Construction des représentations -adiques semi-stables, Invent. Math., Volume 140 (2000) no. 1, pp. 1-43 | DOI | MR | Zbl
[14] Arithmetic Breuil-Kisin-Fargues modules and comparison of integral p-adic Hodge theories (2019) | arXiv | Zbl
[15] A prismatic approach to -modules and -crystals (2022) | arXiv
[16] Moduli stacks of Étale ()-modules and the existence of crystalline lifts, Annals of Mathematics Studies, 215, Princeton University Press, 2023, ix+298 pages | DOI | MR | Zbl
[17] Group schemes with strict -action, Mosc. Math. J., Volume 2 (2002) no. 2, pp. 249-279 (dedicated to Yuri I. Manin on the occasion of his 65th birthday) | DOI | MR | Zbl
[18] Vector bundles on curves and -adic Hodge theory, Automorphic forms and Galois representations. Vol. 2 (London Mathematical Society Lecture Note Series), Volume 415, Cambridge University Press, 2014, pp. 17-104 | DOI | MR | Zbl
[19] Courbes et fibrés vectoriels en théorie de Hodge -adique, Astérisque, 406, Société Mathématique de France, 2018, xiii+382 pages (with a preface by Pierre Colmez) | Zbl
[20] Construction de représentations -adiques, Ann. Sci. Éc. Norm. Supér. (4), Volume 15 (1982) no. 4, pp. 547-608 | DOI | Numdam | MR | Zbl
[21] Structures de Hodge–Pink pour les -modules de Breuil et Kisin, Compos. Math., Volume 148 (2012) no. 3, pp. 751-789 | DOI | MR | Zbl
[22] Prismatic -display and descent theory (2023) | arXiv
[23] A -adic local monodromy theorem, Ann. Math. (2), Volume 160 (2004) no. 1, pp. 93-184 | DOI | MR | Zbl
[24] Slope filtrations for relative Frobenius, Représentations -adiques de groupes -adiques. I. Représentations galoisiennes et -modules (Astérisque), Volume 319, Société Mathématique de France, 2008, pp. 259-301 | Numdam
[25] Galois deformation theory for norm fields and its arithmetic applications, Ph. D. Thesis, University of Michigan (2009) (available at https://deepblue.lib.umich.edu/handle/2027.42/63878)
[26] Crystalline representations and -crystals, Algebraic geometry and number theory (Progress in Mathematics), Volume 253, Birkhäuser, 2006, pp. 459-496 | DOI | Zbl
[27] Galois representations and Lubin–Tate groups, Doc. Math., Volume 14 (2009), pp. 441-461 | MR | Zbl
[28] Les zéros des fonctions analytiques d’une variable sur un corps valué complet, Publ. Math., Inst. Hautes Étud. Sci., Volume 14 (1962), pp. 47-75 | DOI | MR
[29] The correspondence between Barsotti-Tate groups and Kisin modules when , J. Théor. Nombres Bordeaux, Volume 25 (2013) no. 3, pp. 661-676 | Numdam | MR | Zbl
[30] Prismatic -crystals and Lubin-Tate -modules (2023) | arXiv
[31] Moduli stacks of Lubin–Tate -modules (2023) | arXiv | Zbl
[32] Stacks Project, 2023 (http://stacks.math.columbia.edu)
[33] Galois representations, -modules and prismatic F-crystals (2021) | arXiv
Cité par Sources :