Abstract
Let $S$ be the spectrum of a complete discrete valuation ring with fraction field of characteristic $0$ and perfect residue field of characteristic $p\geq 3$. Let $G$ be a truncated Barsotti-Tate group of level $1$ over $S$. If “$G$ is not too supersingular”, a condition that will be explicitly expressed in terms of the valuation of a certain determinant, then we prove that we can canonically lift the kernel of the Frobenius endomorphism of its special fiber to a subgroup scheme of $G$, finite and flat over $S$. We call it the canonical subgroup of $G$.
-
[AM]
A. Abbes and A. Mokrane, "Sous-groupes canoniques et cycles évanescents $p$-adiques pour les variétés abéliennes," Publ. Math. Inst. Hautes Études Sci., vol. 99, pp. 117-162, 2004.
@article {AM, MRKEY = {2075884},
AUTHOR = {Abbes, Ahmed and Mokrane, Abdellah},
TITLE = {Sous-groupes canoniques et cycles évanescents {$p$}-adiques pour les variétés abéliennes},
JOURNAL = {Publ. Math. Inst. Hautes Études Sci.},
FJOURNAL = {Publications Mathématiques. Institut de Hautes Études Scientifiques},
VOLUME = {99},
YEAR = {2004},
PAGES = {117--162},
ISSN = {0073-8301},
MRCLASS = {14K15 (11S40 14G22 14G35)},
MRNUMBER = {2005f:14090},
MRREVIEWER = {Alessandra Bertapelle},
DOI = {10.1007/s10240-004-0022-x},
ZBLNUMBER = {1062.14057},
} -
[AS]
A. Abbes and T. Saito, "Ramification of local fields with imperfect residue fields," Amer. J. Math., vol. 124, iss. 5, pp. 879-920, 2002.
@article {AS, MRKEY = {1925338},
AUTHOR = {Abbes, Ahmed and Saito, Takeshi},
TITLE = {Ramification of local fields with imperfect residue fields},
JOURNAL = {Amer. J. Math.},
FJOURNAL = {American Journal of Mathematics},
VOLUME = {124},
YEAR = {2002},
NUMBER = {5},
PAGES = {879--920},
ISSN = {0002-9327},
CODEN = {AJMAAN},
MRCLASS = {11S15 (12F10 14G22)},
MRNUMBER = {2003m:11196},
MRREVIEWER = {R. T. Hoobler},
URL = {http://muse.jhu.edu/journals/american_journal_of_mathematics/v124/124.5abbes.pdf},
ZBLNUMBER = {1084.11064},
} -
[AG] F. Andreatta and C. Gasbarri, "The canonical subgroup for families of abelian varieties," Compos. Math., vol. 143, iss. 3, pp. 566-602, 2007.
@article {AG, MRKEY = {2330440},
AUTHOR = {Andreatta, F. and Gasbarri, C.},
TITLE = {The canonical subgroup for families of abelian varieties},
JOURNAL = {Compos. Math.},
FJOURNAL = {Compositio Mathematica},
VOLUME = {143},
YEAR = {2007},
NUMBER = {3},
PAGES = {566--602},
ISSN = {0010-437X},
MRCLASS = {11G10 (11F33 14K10)},
MRNUMBER = {2008e:11071},
MRREVIEWER = {Alessandra Bertapelle},
ZBLNUMBER = {05166036},
} -
[Ar] M. Artin, "Algebraization of formal moduli. I," in Global Analysis (Papers in Honor of K. Kodaira), Tokyo: Univ. Tokyo Press, 1969, pp. 21-71.
@incollection {Ar, MRKEY = {0260746},
AUTHOR = {Artin, M.},
TITLE = {Algebraization of formal moduli. {I}},
BOOKTITLE = {Global {A}nalysis ({P}apers in {H}onor of {K}. {K}odaira)},
PAGES = {21--71},
PUBLISHER = {Univ. Tokyo Press},
ADDRESS = {Tokyo},
YEAR = {1969},
MRCLASS = {14.05},
MRNUMBER = {41 \#5369},
MRREVIEWER = {H. Kurke},
ZBLNUMBER = {0205.50402},
} -
[BBM] P. Berthelot, L. Breen, and W. Messing, Théorie de Dieudonné Cristalline. II, New York: Springer-Verlag, 1982.
@book {BBM, MRKEY = {667344},
AUTHOR = {Berthelot, Pierre and Breen, Lawrence and Messing, William},
TITLE = {Théorie de {D}ieudonné Cristalline. {\rm II}},
SERIES = {Lecture Notes in Math.},
NUMBER = {930},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1982},
PAGES = {x+261},
ISBN = {3-540-11556-0},
MRCLASS = {14L05 (14F30)},
MRNUMBER = {85k:14023},
MRREVIEWER = {Lucile B{é}gueri},
ZBLNUMBER = {0516.14015},
} -
[BK]
S. Bloch and K. Kato, "$p$-adic étale cohomology," Inst. Hautes Études Sci. Publ. Math., vol. 63, pp. 107-152, 1986.
@article {BK, MRKEY = {849653},
AUTHOR = {Bloch, Spencer and Kato, Kazuya},
TITLE = {{$p$}-adic étale cohomology},
JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
VOLUME = {63},
YEAR = {1986},
PAGES = {107--152},
ISSN = {0073-8301},
CODEN = {PMIHA6},
MRCLASS = {14F30 (11S25 11S31 18F25 19F27)},
MRNUMBER = {87k:14018},
MRREVIEWER = {Gerd Faltings},
URL = {http://www.numdam.org/item?id=PMIHES_1986__63__107_0},
ZBLNUMBER = {0613.14017},
} -
@techreport{Co,
author={Conrad, B.},
TITLE={Higher-level canonical subgroups in abelian varieties},
YEAR={2005},
TYPE={preprint},
URL={http://math.stanford.edu/~conrad/papers/subgppaper.pdf},
} -
[Dem] M. Demazure, Bidualité des schémas abéliens, in Séminaire de Géométrie Algébrique, Orsay, (1967–1968).
@misc{Dem,
author={Demazure, M.},
TITLE={Bidualité des schémas abéliens, in \emph{Séminaire de Géométrie Algébrique},
Orsay, (1967--1968)},
} -
[dwork]
B. Dwork, "$p$-adic cycles," Inst. Hautes Études Sci. Publ. Math., vol. 37, pp. 27-115, 1969.
@article {dwork, MRKEY = {0294346},
AUTHOR = {Dwork, B.},
TITLE = {{$p$}-adic cycles},
JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
VOLUME = {37},
YEAR = {1969},
PAGES = {27--115},
ISSN = {0073-8301},
MRCLASS = {14G20},
MRNUMBER = {45 \#3415},
MRREVIEWER = {S. S. Shatz},
URL = {http://www.numdam.org/item?id=PMIHES_1969__37__27_0},
ZBLNUMBER = {0284.14008},
} -
[FC] G. Faltings and C. Chai, Degeneration of Abelian Varieties, New York: Springer-Verlag, 1990, vol. 22.
@book {FC, MRKEY = {1083353},
AUTHOR = {Faltings, Gerd and Chai, Ching-Li},
TITLE = {Degeneration of Abelian Varieties},
SERIES = {Ergeb. Math. Grenzgeb.},
VOLUME = {22},
NOTE = {(with an appendix by David Mumford)},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1990},
PAGES = {xii+316},
ISBN = {3-540-52015-5},
MRCLASS = {14K10 (11G10 14D20 14K25)},
MRNUMBER = {92d:14036},
MRREVIEWER = {Min Ho Lee},
ZBLNUMBER = {0744.14031},
} -
[Gr] A. Grothendieck, "Le groupe de Brauer III: Exemples et compléments," in Dix Exposés sur la Cohomologie des Schémas, Amsterdam: North-Holland Publ. Co., 1968, vol. 3, pp. 88-188.
@incollection{Gr,
author={Grothendieck, A.},
TITLE={Le groupe de Brauer {\rm III}: Exemples et compléments},
BOOKTITLE={Dix Exposés sur la Cohomologie des Schémas},
SERIES={Adv. Stud. Pure Math.},
VOLUME={3},
PAGES={88--188},
PUBLISHER={North-Holland Publ. Co.},
ADDRESS={Amsterdam},
YEAR={1968},
MRNUMBER={0241437},
ZBLNUMBER={0198.25901},
} -
[Il] L. Illusie, "Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck)," Astérisque, vol. 127, pp. 151-198, 1985.
@article {Il, MRKEY = {801922},
AUTHOR = {Illusie, Luc},
TITLE = {Déformations de groupes de {B}arsotti-{T}ate (d'après {A}. {G}rothendieck)},
NOTE = {Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84)},
JOURNAL = {Astérisque},
FJOURNAL = {Astérisque},
VOLUME = {127},
YEAR = {1985},
PAGES = {151--198},
ISSN = {0303-1179},
MRCLASS = {14L05 (11G07 11G10 11S31)},
MRNUMBER = {801922},
ZBLNUMBER={1182.14050},
} -
[Ka] K. Kato, "On $p$-adic vanishing cycles (application of ideas of Fontaine-Messing)," in Algebraic Geometry, Amsterdam: North-Holland, 1987, pp. 207-251.
@incollection {Ka, MRKEY = {946241},
AUTHOR = {Kato, Kazuya},
TITLE = {On {$p$}-adic vanishing cycles (application of ideas of {F}ontaine-{M}essing)},
BOOKTITLE = {Algebraic Geometry},
VENUE={{S}endai, 1985},
SERIES = {Adv. Stud. Pure Math.},
NUMBER = {10},
PAGES = {207--251},
PUBLISHER = {North-Holland},
ADDRESS = {Amsterdam},
YEAR = {1987},
MRCLASS = {14F30 (11G25 14F15 19F27)},
MRNUMBER = {89i:14014},
MRREVIEWER = {Gerd Faltings},
ZBLNUMBER={0645.14009},
} -
[Kz] N. M. Katz, "$p$-adic properties of modular schemes and modular forms," in Modular Functions of One Variable, III, New York: Springer-Verlag, 1973, vol. 350, pp. 69-190.
@incollection {Kz, MRKEY = {0447119},
AUTHOR = {Katz, Nicholas M.},
TITLE = {{$p$}-adic properties of modular schemes and modular forms},
BOOKTITLE = {Modular Functions of One Variable, {\rm III}},
VENUE={{P}roc. {I}nternat. {S}ummer {S}chool, {U}niv. {A}ntwerp, {A}ntwerp, 1972},
PAGES = {69--190},
SERIES={ Lecture Notes in Math.},
VOLUME={350},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1973},
MRCLASS = {10D15 (14D20)},
MRNUMBER = {56 \#5434},
MRREVIEWER = {V. V. Sokurov},
ZBLNUMBER = {0271.10033},
} -
[KL]
M. Kisin and K. F. Lai, "Overconvergent Hilbert modular forms," Amer. J. Math., vol. 127, iss. 4, pp. 735-783, 2005.
@article {KL, MRKEY = {2154369},
AUTHOR = {Kisin, Mark and Lai, King Fai},
TITLE = {Overconvergent {H}ilbert modular forms},
JOURNAL = {Amer. J. Math.},
FJOURNAL = {American Journal of Mathematics},
VOLUME = {127},
YEAR = {2005},
NUMBER = {4},
PAGES = {735--783},
ISSN = {0002-9327},
CODEN = {AJMAAN},
MRCLASS = {11F41 (11F85)},
MRNUMBER = {2006d:11045},
MRREVIEWER = {Payman L. Kassaei},
URL = {http://muse.jhu.edu/journals/american_journal_of_mathematics/v127/127.4kisin.pdf},
ZBLNUMBER = {1129.11020},
} -
[lubin]
J. Lubin, "Finite subgroups and isogenies of one-parameter formal Lie groups," Ann. of Math., vol. 85, pp. 296-302, 1967.
@article {lubin, MRKEY = {0209287},
AUTHOR = {Lubin, Jonathan},
TITLE = {Finite subgroups and isogenies of one-parameter formal {L}ie groups},
JOURNAL = {Ann. of Math.},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {85},
YEAR = {1967},
PAGES = {296--302},
ISSN = {0003-486X},
MRCLASS = {14.50},
MRNUMBER = {35 \#189},
MRREVIEWER = {J. Dieudonn{é}},
DOI = {10.2307/1970443},
ZBLNUMBER = {0166.02803},
} -
[MM] B. Mazur and W. Messing, Universal Extensions and One Dimensional Crystalline Cohomology, New York: Springer-Verlag, 1974, vol. 370.
@book {MM, MRKEY = {0374150},
AUTHOR = {Mazur, B. and Messing, William},
TITLE = {Universal Extensions and One Dimensional Crystalline Cohomology},
SERIES = {Lecture Notes in Math.},
VOLUME={370},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1974},
PAGES = {vii+134},
MRCLASS = {14K05 (14F30 14G05 14L05)},
MRNUMBER = {51 \#10350},
MRREVIEWER = {S. Bloch},
ZBLNUMBER = {0301.14016},
} -
[Mu] D. Mumford, Geometric Invariant Theory, New York: Springer-Verlag, 1965, vol. 34.
@book {Mu, MRKEY = {0214602},
AUTHOR = {Mumford, David},
TITLE = {Geometric Invariant Theory},
SERIES = {Ergeb. Math. Grenzgeb.},
VOLUME={34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1965},
PAGES = {vi+145},
MRCLASS = {14.55},
MRNUMBER = {35 \#5451},
MRREVIEWER = {F. Oort},
ZBLNUMBER = {0147.39304},
} -
[Ray]
M. Raynaud, "Spécialisation du foncteur de Picard," Inst. Hautes Études Sci. Publ. Math., vol. 38, pp. 27-76, 1970.
@article {Ray, MRKEY = {0282993},
AUTHOR = {Raynaud, M.},
TITLE = {Spécialisation du foncteur de {P}icard},
JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
VOLUME = {38},
YEAR = {1970},
PAGES = {27--76},
ISSN = {0073-8301},
MRCLASS = {14.55},
MRNUMBER = {44 \#227},
MRREVIEWER = {R. T. Hoobler},
URL = {http://www.numdam.org/item?id=PMIHES_1970__38__27_0},
ZBLNUMBER = {0207.51602},
} -
[SOS]
T. Sekiguchi, F. Oort, and N. Suwa, "On the deformation of Artin-Schreier to Kummer," Ann. Sci. École Norm. Sup., vol. 22, iss. 3, pp. 345-375, 1989.
@article {SOS, MRKEY = {1011987},
AUTHOR = {Sekiguchi, T. and Oort, F. and Suwa, N.},
TITLE = {On the deformation of {A}rtin-{S}chreier to {K}ummer},
JOURNAL = {Ann. Sci. École Norm. Sup.},
FJOURNAL = {Annales Scientifiques de l'École Normale Supérieure. Quatrième Série},
VOLUME = {22},
YEAR = {1989},
NUMBER = {3},
PAGES = {345--375},
ISSN = {0012-9593},
CODEN = {ASENAH},
MRCLASS = {14L15 (11G20)},
MRNUMBER = {91g:14041},
URL = {http://www.numdam.org/item?id=ASENS_1989_4_22_3_345_0},
ZBLNUMBER = {0714.14024},
} -
[TO]
J. Tate and F. Oort, "Group schemes of prime order," Ann. Sci. École Norm. Sup., vol. 3, pp. 1-21, 1970.
@article {TO, MRKEY = {0265368},
AUTHOR = {Tate, John and Oort, Frans},
TITLE = {Group schemes of prime order},
JOURNAL = {Ann. Sci. École Norm. Sup.},
FJOURNAL = {Annales Scientifiques de l'École Normale Supérieure. Quatrième Série},
VOLUME = {3},
YEAR = {1970},
PAGES = {1--21},
ISSN = {0012-9593},
MRCLASS = {14.50},
MRNUMBER = {42 \#278},
MRREVIEWER = {J. S. Milne},
URL = {http://www.numdam.org/item?id=ASENS_1970_4_3_1_1_0},
ZBLNUMBER = {0195.50801},
}