Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Remote Access
St. Petersburg Mathematical Journal
St. Petersburg Mathematical Journal
ISSN 1547-7371(online) ISSN 1061-0022(print)

 

Classification of finite commutative group schemes over complete discrete valuation rings; the tangent space and semistable reduction of Abelian varieties


Author: M. V. Bondarko
Translated by: the author
Original publication: Algebra i Analiz, tom 18 (2006), nomer 5.
Journal: St. Petersburg Math. J. 18 (2007), 737-755
MSC (2000): Primary 14L15, 14L05, 14G20, 11G10, 11S31
Published electronically: August 9, 2007
MathSciNet review: 2301041
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A complete classification is obtained for finite connected flat commutative group schemes over mixed characteristic complete discrete valuation rings. The group schemes are classified in terms of their Cartier modules. The equivalence of various definitions of the tangent space and the dimension for these group schemes is proved. This shows that the minimal dimension of a formal group law that contains a given connected group scheme $ S$ as a closed subgroup is equal to the minimal number of generators for the coordinate ring of $ S$. The following reduction criteria for Abelian varieties are deduced.

Suppose $ K$ is a mixed characteristic local field with residue field of characteristic $ p$, $ L$ is a finite extension of $ K$, and $ \mathfrak{O}_K\subset\mathfrak{O}_L$ are the rings of integers for $ K$ and $ L$. Let $ e$ be the absolute ramification index of $ L$, let $ s=[\log_p(pe/(p-1))]$, let $ e_0$ be the ramification index of $ L/K$, and let $ l=2s+v_p(e_0)+1$.

For a finite flat commutative $ \mathfrak{O}_L$-group scheme $ H$, denote by $ TH$ the $ \mathfrak{O}_L$-dual to $ J/J^2$. Here $ J$ is the augmentation ideal of the coordinate ring of $ H$.

Let $ V$ be an $ m$-dimensional Abelian variety over $ K$. Suppose that $ V$ has semistable reduction over $ L$.


Theorem (A). $ V$ has semistable reduction over $ K$ if and only if for some group scheme $ H$ over $ \mathfrak{O}_K$ there exist embeddings of $ H_K$ in $ \operatorname{Ker}[p^{l}]_{V,K}$ and of $ (\mathfrak{O}_L/p^l\mathfrak{O}_L)^m$ in $ TH_{\mathfrak{O}_K}$.


Theorem (B). $ V$ has ordinary reduction over $ K$ if and only if for some $ H_K\subset \operatorname{Ker}[p^{l}]_{V,K}$ and $ M$ unramified over $ K$ we have $ H_M\cong (\mu_{p^{l},M})^m$. Here $ \mu$ denotes the group scheme of roots of unity.


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


Similar Articles

Retrieve articles in St. Petersburg Mathematical Journal with MSC (2000): 14L15, 14L05, 14G20, 11G10, 11S31

Retrieve articles in all journals with MSC (2000): 14L15, 14L05, 14G20, 11G10, 11S31


Additional Information

M. V. Bondarko
Affiliation: Department of Mathematics and Mechanics, St. Petersburg State University, Universitetskiĭ Prospect 28, Staryĭ Peterhof, St. Petersburg 198504, Russia
Email: mbondarko@hotmail.com

DOI: http://dx.doi.org/10.1090/S1061-0022-07-00971-5
PII: S 1061-0022(07)00971-5
Keywords: Finite group scheme, Cartier module, tangent space, formal group, Abelian variety, semistable reduction, local field
Received by editor(s): April 10, 2006
Published electronically: August 9, 2007
Additional Notes: Supported by RFBR (grant no. 04-01-00082a).
Article copyright: © Copyright 2007 American Mathematical Society