English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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 OK ⊂ OL are the rings of integers for K and L. Let e be the absolute ramification index of L, let s = [logp(pe/(p− 1))], let e0 be the ramification index of L/K, and let l = 2s + vp(e0) + 1. For a finite flat commutative OL-group scheme H, denote by TH the OL-dual to J/J2. 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 OK there exist embeddings of HK in Ker[p ]V,K and of (OL/p OL) m in THOK . Theorem (B). V has ordinary reduction over K if and only if for some HK ⊂ Ker[p]V,K and M unramified over K we have HM ∼= (μpl,M )m. Here μ denotes the group scheme of roots of unity.

st. petersburg mathematical journal

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