Local Shtukas and Divisible Local Anderson Modules

Hartl, Urs ; Singh, Rajneesh Kumar

Canadian journal of mathematics, Tome 71 (2019) no. 5, pp. 1163-1207

Résumé

We develop the analog of crystalline Dieudonné theory for $p$-divisible groups in the arithmetic of function fields. In our theory $p$-divisible groups are replaced by divisible local Anderson modules, and Dieudonné modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We also clarify their relation with formal Lie groups and with global objects like Drinfeld modules, Anderson’s abelian $t$-modules and $t$-motives, and Drinfeld shtukas. Moreover, we discuss the existence of a Verschiebung map and apply it to deformations of local shtukas and divisible local Anderson modules. As a tool we use Faltings’s and Abrashkin’s theories of strict modules, which we review briefly.

Détail

DOI : 10.4153/CJM-2018-016-2

Mots-clés : local shtuka, formal Drinfeld module, formal t-module

Bibliographie

[EGA] Grothendieck, A., Élements de Géométrie Algébrique, Publ. Math. IHES , , , , , , , , Bures-Sur-Yvette, 1960–1967; see also Grundlehren , Springer-Verlag, Berlin etc. 1971; also available at http://www.numdam.org/numdam-bin/recherche?au=Grothendieck. Google Scholar

[SGA 3] Demazure, M. and Grothendieck, A., SGA 3: Schémas en Groupes I, II, III, Lecture Notes in Mathematics, 152, 153. 151, 152, 153, Springer-Verlag, Berlin. 197. Google Scholar

[SGA 6] Berthelot, P., Grothendieck, A., and Illusie, L., (Eds). SGA 6: Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics 225 , Springer-Verlag, Berlin, 1971. Google Scholar

[SGA 7] P. Deligne, A. Grothendieck, et al.: SGA 7: Groupes de monodromie en géométrie algébrique, Lecture Notes in Mathematics, 288. Springer, Berlin-Heidelberg, 1972. Google Scholar

[Abr06] Abrashkin, V., Galois modules arising from Faltings’s strict modules . Compos. Math. 142(2006), no. 4, 867–888; . Google Scholar | DOI

[And86] Anderson, G., t-Motives . Duke Math. J. 53(1986), 457–502. . Google Scholar | DOI

[And93] Anderson, G., On Tate modules of formal t-modules . Internat. Math. Res. Notices 2(1993), 41–52. Google Scholar

[AH14] Arasteh Rad, E. and Hartl, U., Local ℙ-shtukas and their relation to global 𝔊-shtukas . Münster J. Math 7(2014), 623–670. Google Scholar

[BH09] Bornhofen, M. and Hartl, U., Pure Anderson motives over finite fields . J. Number Theory 129(2009), no. 2, 247–283; also available as arxiv:math.NT/0709.2815. . Google Scholar | DOI

[Bou61] Bourbaki, N., Éléments de mathématique: Algèbre commutative. Hermann, Paris, 1961. Google Scholar

[CS86] Cornell, G. and Silverman, J., (Eds). Arithmetic geometry. Springer-Verlag, New York, 1986. . Google Scholar | DOI

[CSS97] Cornell, G., Silverman, J., and Stevens, G., (Eds). Modular forms and Fermat’s last theorem. Springer-Verlag, New York, 1997. . Google Scholar | DOI

[Dri74] Drinfeld, V. G., Elliptic modules . Mat. Sb. (N.S.) 23(1974), 594–627. Google Scholar

[Dri77] Drinfeld, V. G., A proof of Langlands’ global conjecture for GL(2) over a function field . Funct. Anal. Appl. 11(1977), no. 3, 223–225. . Google Scholar | DOI

[Dri87] Drinfeld, V. G., Moduli variety of F-sheaves . Funct. Anal. Appl. 21(1987), no. 2, 107–122. Google Scholar

[Eis95] Eisenbud, D., Commutative algebra. Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995. . Google Scholar | DOI

[Fal83] Faltings, G., Endlichkeitssätze für abelsche Varietäten über Zahlkörpern . Invent. Math. 73(1983), 349–366. . Google Scholar | DOI

[Fal02] Faltings, G., Group schemes with strict 𝓞-action . Mosc. Math. J. 2(2002), no. 2, 249–279. Google Scholar

[Gen96] Genestier, A., Espaces symétriques de Drinfeld, Astérisque, 234, Soc. Math. France, Paris, 1996. Google Scholar

[GL11] Genestier, A. and Lafforgue, V., Théorie de Fontaine en égales charactéristiques . Ann. Sci. Éc. Norm. Supér. 44(2011), no. 2, 263–360. . Google Scholar | DOI

[HT01] Harris, M. and Taylor, R., The geometry and cohomology of some simple Shimura varieties. Annals of Mathematics Studies, 151. Princeton University Press, Princeton, NJ, 2001. Google Scholar

[Har05] Hartl, U., Uniformizing the stacks of abelian sheaves . In: Number fields and function fields - two parallel worlds. Progr. Math., 239, Birkhäuser Boston, Boston, MA, 2005, pp. 167–222. Google Scholar

[Har09] Hartl, U., A dictionary between Fontaine-theory and its analogue in equal characteristic . J. Number Theory 129(2009), 1734–1757. . Google Scholar | DOI

[Har11] Hartl, U., Period spaces for Hodge structures in equal characteristic . Annals of Math. 173(2011), n. 3, 1241–1358. . Google Scholar | DOI

[Har17] Hartl, U., Isogenies of abelian Anderson A-modules and A-motives. arxiv:1706.06807. Google Scholar

[HH16] Hartl, U. and Hüsken, S., A criterion for good reduction of Drinfeld modules and Anderson motives in terms of local shtukas . Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 15(2016), 25–43. Google Scholar

[HJ19] Hartl, U. and Juschka, A.-K., Pink’s theory of Hodge structures and the Hodge conjecture over function fields. Proceedings of the conference on “t-motives: Hodge structures, transcendence and other motivic aspects”, BIRS, Banff, Canada 2009, eds. G. Böckle, D. Goss, U. Hartl, M. Papanikolas, EMS 2019; also available as arxiv:math/1607.01412. Google Scholar

[HK19] Hartl, U. and Kim., W., Local Shtukas, Hodge-Pink Structures and Galois representations. Proceedings of the conference on “t-motives: Hodge structures, transcendence and other motivic aspects”, BIRS, Banff, Canada 2009, eds. G. Böckle, D. Goss, U. Hartl, M. Papanikolas, EMS 2019; also available as arxiv:1512.05893. Google Scholar

[HS] Hartl, U. and Singh, R. K., Local shtukas and divisible local Anderson modules. Long version of the present article: arxiv:1511.03697. Google Scholar

[HV11] Hartl, U. and Viehmann, E., The Newton stratification on deformations of local G-shtukas . J. Reine Angew. Math. 656(2011), 87–129. . Google Scholar | DOI

[Har77] Hartshorne, R., Algebraic geometry. Graduate Texts in Mathematics, 52. Springer-Verlag, Heidelberg, 1977. Google Scholar

[Ill71] Illusie, L., Complexe cotangent et déformations. I. Lecture Notes in Mathematics, 239. Springer-Verlag, Berlin, 1971. Google Scholar

[Ill72] Illusie, L., Complexe cotangent et déformations. II. Lecture Notes in Mathematics, 283. Springer-Verlag, Berlin, 1972. Google Scholar

[Kim09] Kim, W., Galois deformation theory for norm fields and its arithmetic applications. Ph.D. thesis, University of Michigan, Ann Arbor, MI, 2009. Google Scholar

[Laf02] Lafforgue, L., Chtoucas de Drinfeld et correspondance de Langlands . Invent. Math. 147(2002), 1–241. . Google Scholar | DOI

[Laf18] Lafforgue, V., Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale . J. Amer. Math. Soc. 31(2018), no. 3, 719–891. . Google Scholar | DOI

[Lau96] Laumon, G., Cohomology of Drinfeld modular varieties. I. Cambridge Studies in Advanced Mathematics, 41. Cambridge University Press, Cambridge, 1996. Google Scholar

[LRS93] Laumon, G., Rapoport, M., and Stuhler, U., 𝓓-elliptic sheaves and the Langlands correspondence . Invent. Math. 113(1993), 217–338. . Google Scholar | DOI

[LS67] Lichtenbaum, S. and Schlessinger, M., The cotangent complex of a morphism . Trans. Amer. Math. Soc. 128(1967), 41–70. . Google Scholar | DOI

[Mes72] Messing, W., The crystals associated to Barsotti-Tate groups. Lecture Notes in Mathematics, 264. Springer-Verlag, Berlin, 1972. Google Scholar

[Pog17] Poguntke, T., Group schemes with 𝔽-action . Bull. Soc. Math. France 145(2017), no. 2, 345–380. . Google Scholar | DOI

[Qui73] Quillen, D., Higher algebraic K-theory. I. In: Algebraic K-theory, I: higher -theories. Lecture Notes in Mathematics, 341. Springer, Berlin 1973, pp. 85–147. Google Scholar

[Ros03] Rosen, M., Formal Drinfeld modules . J. Number Theory 103(2003), 234–256. . Google Scholar | DOI

[Rot09] Rotman, J., An introduction to homological algebra. Second edition., Springer, New York, 2009. . Google Scholar | DOI

[Tag93] Taguchi, Y., Semi-simplicity of the Galois representations attached to Drinfeld modules over fields of “infinite characteristics” . J. Number Theory 44(1993), no. 3, 292–314. . Google Scholar | DOI

[Tag95] Taguchi, Y., A duality for finite t-module . J. Math. Sci. Univ. Tokyo 2(1995), 563–588. Google Scholar

[TW96] Y. Taguchi, D. Wan: L-functions of -sheaves and Drinfeld module. J. Amer. Math. Soc. (1996), no. 3, 755–781; also available at http://www2.math.kyushu-u.ac.jp/taguchi/bib/. Google Scholar

[Tat66] Tate, J., p-divisible groups . In: Proc. Conf. Local Fields. Springer, Berlin, 1967, pp. 158–183. Google Scholar

[TW95] Taylor, R. and Wiles, A., Ring-theoretic properties of certain Hecke algebras . Ann. of Math. (2) 141(1995), no. 3, 553–572. . Google Scholar | DOI

[Wil95] Wiles, A., Modular elliptic curves and Fermat’s last theorem . Ann. of Math. (2) 141(1995), no. 3, 443–551. . Google Scholar | DOI