Hostname: page-component-848d4c4894-5nwft Total loading time: 0 Render date: 2024-05-23T22:00:58.260Z Has data issue: false hasContentIssue false
  • English
  • Français

Drinfeld's lemma for F-isocrystals, II: Tannakian approach

Part of: Families, fibrations (Co)homology theory

Published online by Cambridge University Press:  01 December 2023

Kiran S. Kedlaya Open the ORCID record for Kiran S. Kedlaya [Opens in a new window]  and
Daxin Xu
Kiran S. Kedlaya
Affiliation:
Department of Mathematics, University of California San Diego, La Jolla, CA 92093, USA kedlaya@ucsd.edu
Daxin Xu
Affiliation:
Morningside Center of Mathematics and Hua Loo-Keng Key Laboratory of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China daxin.xu@amss.ac.cn
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma.

Keywords

Drinfeld's lemmaoverconvergent isocrystalsp-adic cohomology

MSC classification

Primary: 14F30: $p$-adic cohomology, crystalline cohomology
Secondary: 14D24: Geometric Langlands program 14F10: Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
Type
Research Article
Information
Compositio Mathematica , Volume 160 , Issue 1 , January 2024 , pp. 90 - 119
Check for updates
Copyright
© 2023 The Author(s). The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

The first author is supported by NSF grants DMS-1802161 and DMS-2053473 and the UC San Diego Warschawski Professorship. The second author is supported by the National Natural Science Foundation of China grants 12222118 and 12288201 and the CAS Project for Young Scientists in Basic Research grant YSBR-033. D.X. is grateful to Xinwen Zhu for suggesting this question and helpful discussions.

References

Abe, T., Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic $\mathscr {D}$-modules, Rend. Semin. Mat. Univ. Padova 131 (2014), 89–149.10.4171/rsmup/131-7CrossRefGoogle Scholar
Abe, T., Langlands program for $p$-adic coefficients and the petits camarades conjecture, J. Reine Angew. Math. 734 (2018), 59–69.10.1515/crelle-2015-0045CrossRefGoogle Scholar
Abe, T., Langlands correspondence for isocrystals and existence of crystalline companion for curves, J. Amer. Math. Soc. 31 (2018), 921–1057.10.1090/jams/898CrossRefGoogle Scholar
Abe, T. and Caro, D., Theory of weights in $p$-adic cohomology, Amer. J. Math. 140 (2018), 879–975.10.1353/ajm.2018.0021CrossRefGoogle Scholar
Abe, T. and Esnault, H., A Lefschetz theorem for overconvergent isocrystals with Frobenius structure, Ann. Sci. Éc. Norm. Supér. (4) 52 (2019), 1243–1264.Google Scholar
André, Y., Filtrations de type Hasse-Arf et monodromie $p$-adique, Invent. Math. 148 (2002), 285–317.Google Scholar
Berger, L., Représentations p-adiques et équations différentielles, Invent. Math. 148 (2002), 219–284.10.1007/s002220100202CrossRefGoogle Scholar
Bertolin, C., Motivic Galois theory for $1$-motives, Ann. Sci. Math. Québec 32 (2008), 105–124.Google Scholar
Brinon, O., Chiarellotto, B. and Mazzari, N., Multivariable de Rham representations, Sen theory and $p$-adic differential equations, Math. Res. Lett., to appear. Preprint (2021), arXiv:2111.11563.Google Scholar
Carter, A., Kedlaya, K. and Zábrádi, G., Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate $(\varphi,\Gamma )$-modules, Doc. Math. 26 (2021), 1329–1393.Google Scholar
Crew, R., $F$-isocrystals and $p$-adic representations, Proc. Symp. Pure Math. 46 (1987), 111–138.10.1090/pspum/046.2/927977CrossRefGoogle Scholar
Crew, R., $F$-isocrystals and their monodromy groups, Ann. Sci. Éc. Norm. Supér. (4) 25 (1992), 429–464.CrossRefGoogle Scholar
D'Addezio, M., The monodromy groups of lisse sheaves and overconvergent $F$-isocrystals, Selecta Math. (N.S.) 26 (2020), article 45.Google Scholar
D'Addezio, M. and Esnault, H., On the universal extensions in Tannakian categories, Int. Math. Res. Not. IMRN 2022 (2022), 14008–14033.CrossRefGoogle Scholar
de Jong, A. J., Smoothness, semi-stability, and alterations, Publ. Math. Inst. Hautes Études Sci. 83 (1996), 51–93.CrossRefGoogle Scholar
Deligne, P., La conjecture de Weil. II, Publ. Math. Inst. Hautes Études Sci. 52 (1980), 137–252.CrossRefGoogle Scholar
Deligne, P., Catégories tannakiennes, in The Grothendieck Festschrift, Modern Birkhäuser Classics (Birkhäuser, Boston, MA, 2007).Google Scholar
Deligne, P. and Milne, J. S., Tannakian categories, in Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol. 900 (Springer, Berlin–New York, 1982), 101–228.CrossRefGoogle Scholar
Drinfeld, V., Langlands’ conjecture for $\operatorname {GL}(2)$ over functional fields, in Proceedings of the International Congress of Mathematicians (Helsinki, 1978) (Acad. Sci. Fennica, Helsinki, 1980), 565–574.Google Scholar
Drinfeld, V., On the pro-semi-simple completion of the fundamental group of a smooth variety over a finite field, Adv. Math. 327 (2018), 708–788.CrossRefGoogle Scholar
Drinfeld, V. and Kedlaya, K. S., Slopes of indecomposable $F$-isocrystals, Pure Appl. Math. Q. 13 (2017), 131–192.CrossRefGoogle Scholar
Esnault, H., Hai, P. H. and Sun, X., On Nori's fundamental group scheme, Progress in Mathematics, vol. 265 (Birkhäuser, Basel, 2007), 366–398.Google Scholar
Fargues, L. and Scholze, P., Geometrization of the local Langlands correspondence, Preprint (2021), arXiv:2102.13459v2.Google Scholar
Genestier, A. and Lafforgue, V., Chtoucas restreints pour les groupes réductifs et paramétrisation de Langlands locale, Preprint (2017), arXiv:1709.00978.Google Scholar
Heinloth, J., Ngô, B.-C. and Yun, Z., Kloosterman sheaves for reductive groups, Ann. of Math. (2) 177 (2013), 241–310.CrossRefGoogle Scholar
Kedlaya, K. S., A $p$-adic local monodromy theorem, Ann. of Math. (2) 160 (2004), 93–184.CrossRefGoogle Scholar
Kedlaya, K. S., Full faithfulness for overconvergent F-isocrystals, Geometric aspects of Dwork theory, vol. II, eds Adolphson et al. (de Gruyter, Berlin, 2004), 819–835.Google Scholar
Kedlaya, K. S., Semistable reduction for overconvergent $F$-isocrystals, I: unipotence and logarithmic extensions, Compos. Math. 143 (2007), 1164–1212.CrossRefGoogle Scholar
Kedlaya, K. S., Sheaves, stacks, and shtukas, in Perfectoid spaces: Lectures from the 2017 Arizona Winter School, Mathematical Surveys and Monographs, vol. 242 (American Mathematical Society, 2019).Google Scholar
Kedlaya, K. S., Notes on isocrystals, J. Number Theory 237 (2022), 353–394.10.1016/j.jnt.2021.12.004CrossRefGoogle Scholar
Kedlaya, K. S., Étale and crystalline companions, I, Épijournal Géom. Algébrique 6 (2022), article no. 20.Google Scholar
Kedlaya, K. S., Monodromy representations of $p$-adic differential equations in families, Preprint (2022), arXiv:2209.00593v1.CrossRefGoogle Scholar
Kedlaya, K. S., Drinfeld's lemma for $F$-isocrystals, I, Preprint (2023), arXiv:2210.14866v2.CrossRefGoogle Scholar
Kedlaya, K. S., Étale and crystalline companions, II, Preprint (2023), arXiv:2008.13053v6.CrossRefGoogle Scholar
Katz, N. and Lang, S., Finiteness theorems in geometric classfield theory, Enseign. Math. 27 (1981), 285–314.Google Scholar
Lafforgue, V., Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale, J. Amer. Math. Soc. 31 (2018), 719–891.10.1090/jams/897CrossRefGoogle Scholar
Lau, E., On generalized $\mathcal {D}$-shtukas, PhD thesis, University of Bonn (2004), http://bib.math.uni-bonn.de/downloads/bms/BMS-369.pdf.Google Scholar
Lazda, C., A note on effective descent for overconvergent isocrystals, J. Number Theory 237 (2022), 395–410.CrossRefGoogle Scholar
Marmora, A., Facteurs epsilon $p$-adiques, Compos. Math. 144 (2008), 439–483.CrossRefGoogle Scholar
Matsuda, S., Katz correspondence for quasi-unipotent overconvergent isocrystals, Compos. Math. 134 (2002), 1–34.10.1023/A:1020233201909CrossRefGoogle Scholar
Mebkhout, Z., Analogue $p$-adique du théorème du Turrittin et le théorème de la monodromie $p$-adique, Invent. Math. 148 (2002), 319–351.CrossRefGoogle Scholar
Grothendieck, A., Séminaire de Géométrie Algébrique du Bois Marie 1965–66 – Cohomologie ℓ-adique et fonctions L (SGA 5), Lecture Notes in Mathematics, vol. 589 (Springer, 1977).Google Scholar
Shiho, A., Cut-by-curves criterion for the log extendability of overconvergent isocrystals, Math. Z. 269 (2011), 59–82.10.1007/s00209-010-0716-3CrossRefGoogle Scholar
Shiho, A., Purity for overconvergence, Selecta Math. 17 (2011), 833–854.10.1007/s00029-011-0066-yCrossRefGoogle Scholar
Xu, D. and Zhu, X., Bessel $F$-isocrystals for reductive groups, Invent. Math. 227 (2022), 997–1092.CrossRefGoogle Scholar