The canonical filtration of the torsion points of p -divisible groups

Laurent Fargues

Annales scientifiques de l'École Normale Supérieure (2011)

  • Volume: 44, Issue: 6, page 905-961
  • ISSN: 0012-9593

Abstract

top
Given an integer n ≥ 1 and a truncated Barsotti-Tate group of level n and dimension  d over an unequal characteristic valuation ring, we give an explicit bound on its Hasse invariant so that its Harder-Narasimhan filtration has a break which is free of rank d . When n = 1 we also give a local proof of the Abbes-Mokrane ([120]) and Tian ([164]) theorem. We apply this to p -adic families of such objects and, in particular, we prove the existence of compatible families of sections of some Hecke correspondences on explicit tubular neighborhoods of the ordinary locus in some PEL type Shimura varieties.

How to cite

top

Fargues, Laurent. "La filtration canonique des points de torsion des groupes $p$-divisibles." Annales scientifiques de l'École Normale Supérieure 44.6 (2011): 905-961. <http://eudml.org/doc/272189>.

@article{Fargues2011,
abstract = {Étant donnés un entier $n\ge 1$ et un groupe de Barsotti-Tate tronqué d’échelon $n$ et de dimension $d$ sur un anneau de valuation d’inégales caractéristiques, nous donnons une borne explicite sur son invariant de Hasse qui implique que sa filtration de Harder-Narasimhan possède un sous-groupe libre de rang $d$. Lorsque $n=1$ nous redémontrons également le théorème d’Abbes-Mokrane ([120]) et de Tian ([164]) par des méthodes locales. On applique cela aux familles $p$-adiques de tels objets et en particulier à certaines variétés de Shimura de type PEL afin de montrer l’existence de familles compatibles de sections de certaines correspondances de Hecke sur des voisinages tubulaires explicites du lieu ordinaire.},
author = {Fargues, Laurent},
journal = {Annales scientifiques de l'École Normale Supérieure},
keywords = {$p$-divisible groups; Shimura varieties},
language = {fre},
number = {6},
pages = {905-961},
publisher = {Société mathématique de France},
title = {La filtration canonique des points de torsion des groupes $p$-divisibles},
url = {http://eudml.org/doc/272189},
volume = {44},
year = {2011},
}

TY - JOUR
AU - Fargues, Laurent
TI - La filtration canonique des points de torsion des groupes $p$-divisibles
JO - Annales scientifiques de l'École Normale Supérieure
PY - 2011
PB - Société mathématique de France
VL - 44
IS - 6
SP - 905
EP - 961
AB - Étant donnés un entier $n\ge 1$ et un groupe de Barsotti-Tate tronqué d’échelon $n$ et de dimension $d$ sur un anneau de valuation d’inégales caractéristiques, nous donnons une borne explicite sur son invariant de Hasse qui implique que sa filtration de Harder-Narasimhan possède un sous-groupe libre de rang $d$. Lorsque $n=1$ nous redémontrons également le théorème d’Abbes-Mokrane ([120]) et de Tian ([164]) par des méthodes locales. On applique cela aux familles $p$-adiques de tels objets et en particulier à certaines variétés de Shimura de type PEL afin de montrer l’existence de familles compatibles de sections de certaines correspondances de Hecke sur des voisinages tubulaires explicites du lieu ordinaire.
LA - fre
KW - $p$-divisible groups; Shimura varieties
UR - http://eudml.org/doc/272189
ER -

References

top
  1. [1] A. Abbes & A. Mokrane, Sous-groupes canoniques et cycles évanescents p -adiques pour les variétés abéliennes, Publ. Math. Inst. Hautes Études Sci.99 (2004), 117–162. Zbl1062.14057MR2075884
  2. [2] A. Abbes & T. Saito, Ramification of local fields with imperfect residue fields, Amer. J. Math.124 (2002), 879–920. Zbl1084.11064MR1925338
  3. [3] F. Andreatta & C. Gasbarri, The canonical subgroup for families of Abelian varieties, Compos. Math.143 (2007), 566–602. Zbl1219.11087MR2330440
  4. [4] V. G. Berkovich, Vanishing cycles for formal schemes. II, Invent. Math. 125 (1996), 367–390. Zbl0852.14002MR1395723
  5. [5] P. Berthelot, Cohomologie cristalline des schémas de caractéristique p g t ; 0 , Lecture Notes in Math. 407, Springer, 1974. Zbl0298.14012MR384804
  6. [6] P. Berthelot, Théorie de Dieudonné sur un anneau de valuation parfait, Ann. Sci. École Norm. Sup.13 (1980), 225–268. Zbl0441.14012MR584086
  7. [7] P. Berthelot, L. Breen & W. Messing, Théorie de Dieudonné cristalline. II, Lecture Notes in Math. 930, Springer, 1982. Zbl0516.14015MR667344
  8. [8] S. Bosch & W. Lütkebohmert, Formal and rigid geometry. I. Rigid spaces, Math. Ann. 295 (1993), 291–317. Zbl0808.14017MR1202394
  9. [9] A. Chambert-Loir, Théorie de Dieudonné cristalline et périodes p -adiques, Bull. Soc. Math. France126 (1998), 545–562. Zbl0960.14007MR1693453
  10. [10] B. Conrad, Higher-level canonical subgroups in Abelian varieties, preprint http://math.stanford.edu/~conrad/papers/subgppaper.pdf, 2006. 
  11. [11] P. Deligne, Travaux de Shimura, Séminaire Bourbaki 1970/71, exp. no 389, Lecture Notes in Math. 244 (1971), 123–165. Zbl0225.14007MR498581
  12. [12] R. Elkik, Solutions d’équations à coefficients dans un anneau hensélien, Ann. Sci. École Norm. Sup.6 (1973), 553–603. Zbl0327.14001MR345966
  13. [13] G. Faltings, Integral crystalline cohomology over very ramified valuation rings, J. Amer. Math. Soc.12 (1999), 117–144. Zbl0914.14009MR1618483
  14. [14] L. Fargues, Application de Hodge-Tate duale d’un groupe de Lubin-Tate, immeuble de Bruhat-Tits du groupe linéaire et filtrations de ramification, Duke Math. J.140 (2007), 499–590. Zbl1136.14013MR2362243
  15. [15] L. Fargues, L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques, in L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld, Progr. Math. 262, Birkhäuser, 2008, 1–325. Zbl1136.14001MR2441312
  16. [16] L. Fargues, La filtration de Harder-Narasimhan des schémas en groupes finis et plats, J. reine angew. Math. 645 (2010), 1–39. Zbl1199.14015MR2673421
  17. [17] J.-M. Fontaine, Groupes p -divisibles sur les corps locaux, Astérisque 47–48 (1977), 262. Zbl0377.14009MR498610
  18. [18] J.-M. Fontaine, Formes différentielles et modules de Tate des variétés abéliennes sur les corps locaux, Invent. Math. 65 (1981/82), 379–409. Zbl0502.14015MR643559
  19. [19] J.-M. Fontaine, Le corps des périodes p -adiques, Astérisque223 (1994), 59–111. Zbl0940.14012MR1293971
  20. [20] P. Gabriel, Étude infinitésimale des schémas en groupe et groupes formels, in Schémas en Groupes (Sém. Géométrie Algébrique, Inst. Hautes Études Sci., 1963/64), Fasc. 2b, Exposé 7a, Inst. Hautes Études Sci., 1965, 1–65+4. MR213357
  21. [21] E. Z. Goren & P. L. Kassaei, The canonical subgroup : a “subgroup-free” approach, Comment. Math. Helv.81 (2006), 617–641. Zbl1122.11037MR2250856
  22. [22] E. Z. Goren & P. L. Kassaei, Canonical subgroups over Hilbert modular varieties, C. R. Math. Acad. Sci. Paris347 (2009), 985–990. Zbl1194.14033MR2549132
  23. [23] B. H. Gross & M. J. Hopkins, Equivariant vector bundles on the Lubin-Tate moduli space, in Topology and representation theory (Evanston, IL, 1992), Contemp. Math. 158, Amer. Math. Soc., 1994, 23–88. Zbl0807.14037MR1263712
  24. [24] L. Illusie, Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck), Astérisque127 (1985), 151–198. Zbl1182.14050MR801922
  25. [25] N. M. Katz, p -adic properties of modular schemes and modular forms, in Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), Lecture Notes in Math. 350, Springer, 1973, 69–190. Zbl0271.10033MR447119
  26. [26] M. Kisin & K. F. Lai, Overconvergent Hilbert modular forms, Amer. J. Math.127 (2005), 735–783. Zbl1129.11020MR2154369
  27. [27] F. F. Knudsen & D. Mumford, The projectivity of the moduli space of stable curves. I. Preliminaries on “det” and “Div”, Math. Scand. 39 (1976), 19–55. Zbl0343.14008MR437541
  28. [28] R. E. Kottwitz, Isocrystals with additional structure, Compositio Math.56 (1985), 201–220. Zbl0597.20038MR809866
  29. [29] R. E. Kottwitz, Points on some Shimura varieties over finite fields, J. Amer. Math. Soc.5 (1992), 373–444. Zbl0796.14014MR1124982
  30. [30] J. Lubin, Canonical subgroups of formal groups, Trans. Amer. Math. Soc.251 (1979), 103–127. Zbl0431.14014MR531971
  31. [31] W. Messing, The crystals associated to Barsotti-Tate groups : with applications to Abelian schemes, Lecture Notes in Math. 264, Springer, 1972. Zbl0243.14013MR347836
  32. [32] J. Rabinoff, Higher-level canonical subgroups for p -divisible groups, preprint arXiv :0910.3323. Zbl1285.14047MR2905309
  33. [33] M. Raynaud, Schémas en groupes de type ( p , ⋯ , p ) , Bull. Soc. Math. France102 (1974), 241–280. Zbl0325.14020MR419467
  34. [34] J. Tate, p -divisible groups, in Proc. Conf. Local Fields (Driebergen, 1966), Springer, 1967, 158–183. Zbl0157.27601MR231827
  35. [35] J. Tate & F. Oort, Group schemes of prime order, Ann. Sci. École Norm. Sup.3 (1970), 1–21. Zbl0195.50801MR265368
  36. [36] Y. Tian, Canonical subgroups of Barsotti-Tate groups, Ann. of Math.172 (2010), 955–988. Zbl1203.14026MR2680485
  37. [37] Y. Tian, lettre à Laurent Fargues. 
  38. [38] Y. Tian, An upper bound on the Abbes-Saito filtration for finite flat group schemes and applications, preprint arXiv :1004.4205. Zbl1260.14055MR2950153
  39. [39] T. Wedhorn, Ordinariness in good reductions of Shimura varieties of PEL-type, Ann. Sci. École Norm. Sup.32 (1999), 575–618. Zbl0983.14024MR1710754
  40. [40] T. Wedhorn, The dimension of Oort strata of Shimura varieties of PEL-type, in Moduli of Abelian varieties (Texel Island, 1999), Progr. Math. 195, Birkhäuser, 2001, 441–471. Zbl1052.14026MR1827029
  41. [41] T. Zink, The display of a formal p -divisible group, Astérisque278 (2002), 127–248. Zbl1008.14008MR1922825

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.