Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911



Level $ m$ stratifications of versal deformations of $ p$-divisible groups

Author: Adrian Vasiu
Journal: J. Algebraic Geom. 17 (2008), 599-641
Published electronically: February 6, 2008
MathSciNet review: 2424922
Full-text PDF

Abstract | References | Additional Information

Abstract: Let $ k$ be an algebraically closed field of characteristic $ p>0$. Let $ c,d,m$ be positive integers. Let $ D$ be a $ p$-divisible group of codimension $ c$ and dimension $ d$ over $ k$. Let $ \mathscr{D}$ be a versal deformation of $ D$ over a smooth $ k$-scheme $ \mathscr{A}$ which is equidimensional of dimension $ cd$. We show that there exists a reduced, locally closed subscheme $ \mathfrak{s}_D(m)$ of $ \mathscr{A}$ that has the following property: a point $ y\in\mathscr{A}(k)$ belongs to $ \mathfrak{s}_D(m)(k)$ if and only if $ y^*(\mathscr{D})[p^m]$ is isomorphic to $ D[p^m]$. We prove that $ \mathfrak{s}_D(m)$ is regular and equidimensional of dimension $ cd-\dim(\pmb{\mathrm{Aut}}(D[p^m]))$. We give a proof of Traverso's formula which for $ m\gg0$ computes the codimension of $ \mathfrak{s}_D(m)$ in $ \mathscr{A}$ (i.e., $ \dim(\pmb{\mathrm{Aut}}(D[p^m]))$) in terms of the Newton polygon of $ D$. We also provide a criterion of when $ \mathfrak{s}_D(m)$ satisfies the purity property (i.e., it is an affine $ \mathscr{A}$-scheme). Similar results are proved for quasi Shimura $ p$-varieties of Hodge type that generalize the special fibres of good integral models of Shimura varieties of Hodge type in unramified mixed characteristic $ (0,p)$.

References [Enhancements On Off] (What's this?)

  • [Be] P. Berthelot, Cohomologie cristalline des schémas de caractéristique $ p>0$, Lecture Notes in Math., Vol. 407, Springer-Verlag, Berlin-New York, 1974. MR 0384804 (52:5676)
  • [Bo] A. Borel, Linear algebraic groups. Second edition, Grad. Texts in Math., Vol. 126, Springer-Verlag, New York, 1991. MR 1102012 (92d:20001)
  • [BBM] P. Berthelot, L. Breen, and W. Messing, Théorie de Dieudonné crystalline II, Lecture Notes in Math., Vol. 930, Springer-Verlag, Berlin, 1982. MR 667344 (85k:14023)
  • [BLR] S. Bosch, W. Lütkebohmert, and M. Raynaud, Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), Vol. 21, Springer-Verlag, Berlin, 1990. MR 1045822 (91i:14034)
  • [CPS] E. Cline, B. Parshall, and L. Scott, Induced modules and affine quotients, Math. Annalen 230 (1977), no. 1, pp. 1-14. MR 0470094 (57:9861)
  • [De1] P. Deligne, Travaux de Shimura, Séminaire Bourbaki, 23ème année (1970/71), Exp. No. 389, pp. 123-165, Lecture Notes in Math., Vol. 244, Springer-Verlag, Berlin, 1971. MR 0498581 (58:16675)
  • [De2] P. Deligne, Variétés de Shimura: interprétation modulaire, et techniques de construction de modèles canoniques, Automorphic forms, representations and $ L$-functions (Oregon State Univ., Corvallis, OR, 1977), Part 2, pp. 247-289, Proc. Sympos. Pure Math., 33, Amer. Math. Soc., Providence, RI, 1979. MR 546620 (81i:10032)
  • [Dem] M. Demazure, Lectures on $ p$-divisible groups, Lecture Notes in Math., Vol. 302, Springer-Verlag, Berlin-New York, 1972. MR 0344261 (49:9000)
  • [Di] J. Dieudonné, Groupes de Lie et hyperalgèbres de Lie sur un corps de caractérisque $ p>0$ (VII), Math. Annalen 134 (1957), no. 2, pp. 114-133. MR 0098146 (20:4608)
  • [DG] M. Demazure, A. Grothendieck, et al. Schémas en groupes. Vol. II-III, Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3), Lecture Notes in Math., Vol. 152-153, Springer-Verlag, Berlin-New York, 1970.
  • [Fo] J.-M. Fontaine, Groupes $ p$-divisibles sur les corps locaux, J. Astérisque 47/48, Soc. Math. de France, Paris, 1977. MR 0498610 (58:16699)
  • [Gr] M. Greenberg, Schemata over local rings, Ann. of Math. 73 (1961), no. 3, pp. 624-648. MR 0126449 (23:A3745)
  • [Gro] A. Grothendieck, Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphisms, Inst. Hautes Études Sci. Publ. Math., Vol. 8, 1961. MR 0217084 (36:177b)
  • [Il] L. Illusie, Déformations des groupes de Barsotti-Tate (d'après A. Grothendieck), Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84), pp. 151-198, J. Astérisque 127, Soc. Math. de France, Paris, 1985. MR 801922
  • [Ko] R. E. Kottwitz, Points on some Shimura varieties over finite fields, J. of Amer. Math. Soc. 5 (1992), no. 2, pp. 373-444. MR 1124982 (93a:11053)
  • [Kr] H. Kraft, Kommutative algebraische p-Gruppen (mit Anwendungen auf p-divisible Gruppen und abelsche Varietäten), manuscript 86 pages, Univ. Bonn, 1975.
  • [Ma] J. I. Manin, The theory of formal commutative groups in finite characteristic, Russian Math. Surv. 18 (1963), no. 6, pp. 1-83. MR 0157972 (28:1200)
  • [Mi1] J. S. Milne, The points on a Shimura variety modulo a prime of good reduction, The Zeta functions of Picard modular surfaces, pp. 151-253, Univ. Montréal Press, Montreal, Quebec, 1992. MR 1155229 (94g:11041)
  • [Mi2] J. S. Milne, Shimura varieties and motives, Motives (Seattle, WA, 1991), pp. 447-523, Proc. Sympos. Pure Math., Vol. 55, Part 2, Amer. Math. Soc., Providence, RI, 1994. MR 1265562 (95c:11076)
  • [Mo] B. Moonen, Group schemes with additional structures and Weyl group cosets, Moduli of abelian varieties (Texel Island, 1999), pp. 255-298, Progr. of Math., Vol. 195, Birkhäuser, Basel, 2001. MR 1827024 (2002c:14074)
  • [MFK] D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory. Third edition, Ergebnisse der Math. und ihrer Grenzgebiete (2), Vol. 34, Springer-Verlag, Berlin, 1994. MR 1304906 (95m:14012)
  • [MW] B. Moonen and T. Wedhorn, Discrete invariants of varieties in positive characteristic, Int. Math. Res. Not. 2004, no. 72, pp. 3855-3903. MR 2104263 (2005k:14040)
  • [NV] M.-H. Nicole and A. Vasiu, Traverso's isogeny conjecture for $ p$-divisible groups, Rend. Semin. Mat. Univ. Padova 118 (2008), pp. 73-83.
  • [Oo1] F. Oort, A stratification of a moduli space of abelian varieties, Moduli of abelian varieties (Texel Island, 1999), pp. 345-416, Progr. of Math., Vol. 195, Birkhäuser, Basel, 2001. MR 1827027 (2002b:14055)
  • [Oo2] F. Oort, Foliations in moduli spaces of abelian varieties, J. of Amer. Math. Soc. 17 (2004), no. 2, pp. 267-296. MR 2051612 (2005c:14051)
  • [Oo3] F. Oort, Minimal $ p$-divisible groups, Ann. of Math. (2) 161 (2005), no. 2, pp. 1021-1036. MR 2153405 (2006i:14042)
  • [Tr1] C. Traverso, Sulla classificazione dei gruppi analitici di caratteristica positiva, Ann. Scuola Norm. Sup. Pisa 23 (1969), no. 3, pp. 481-507. MR 0260757 (41:5380)
  • [Tr2] C. Traverso, p-divisible groups over fields, Symposia Mathematica, Vol. XI (Convegno di Algebra Commutativa, INDAM, Rome, 1971), pp. 45-65, Academic Press, London, 1973. MR 0344262 (49:9001)
  • [Tr3] C. Traverso, Specializations of Barsotti-Tate groups, Symposia Mathematica, Vol. XXIV (Sympos., INDAM, Rome, 1979), pp. 1-21, Acad. Press, London-New York, 1981. MR 619238 (83d:14024)
  • [Va1] A. Vasiu, Integral canonical models of Shimura varieties of preabelian type, Asian J. Math. 3 (1999), no. 2, pp. 401-518. MR 1796512 (2002b:11087)
  • [Va2] A. Vasiu, Crystalline boundedness principle, Ann. Sci. l'École Norm. Sup. 39 (2006), no. 2, pp. 245-300. MR 2245533 (2007d:14081)
  • [Va3] A. Vasiu, Mod p classification of Shimura F-crystals,
  • [Va4] A. Vasiu, Reconstructing p-divisible groups from their truncations of small level,
  • [Va5] A. Vasiu, Manin problems for Shimura varieties of Hodge type, math/0209410.
  • [Va6] A. Vasiu, Integral canonical models of unitary Shimura varieties, to appear in Asian J. Math.
  • [We] T. Wedhorn, The dimension of Oort strata of Shimura varieties of PEL-type, Moduli of abelian varieties (Texel Island, 1999), pp. 441-471, Progr. of Math., Vol. 195, Birkhäuser, Basel, 2001. MR 1827029 (2002b:14029)
  • [Zi] T. Zink, Isogenieklassen von Punkten von Shimuramannigfaltigkeiten mit Werten in einem endlichen Körper, Math. Nachr. 112 (1983), pp. 103-124. MR 726854 (85c:11051)

Additional Information

Adrian Vasiu
Affiliation: Department of Mathematical Sciences, Binghamton University, Binghamton, New York 13902-6000

Received by editor(s): June 14, 2006
Received by editor(s) in revised form: May 15, 2007
Published electronically: February 6, 2008
Dedicated: To Carlo Traverso, for his 62nd birthday

American Mathematical Society