Finite flat commutative group schemes over complete discrete valuation fields: classification, structural results; application to reduction of Abelian varieties

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law that contains $S$ as a closed subgroup is equal to the minimal number of generators for the affine algebra of $S$. As an application the following reduction criteria for Abelian varieties are proved. Let $K$ be a mixed characteristic local f...

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.

The paper was motivated by a question of Vilonen, and the main results have been used by Mirkovic and Vilonen to give a geometric interpretation of the dual group (as a Chevalley group over Z) of a reductive group. We define a quasi-reducitve group over a discrete valuation ring R to be an affine flat group scheme over R such that (i) the fibers are of finite type and of the same dimension; (ii) the generic fiber is smooth and connected, and (iii) the netural component of the...

In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $\mu_p$-torsors from characteristic 0 to characteristic p and show that this degeneration is compatible with the Galois a...

In this note we investigate the problem of existence of a torsor structure for Galois covers of (formal) schemes over a complete discrete valuation ring of residue characteristic $p>0$ in the case of abelian Galois groups of type (p,p,...,p).

In the 1st part of this work [DHdS18], we studied affine group schemes over a discrete valuation ring (DVR) by means of Neron blowups. We also showed how to apply these findings to throw light on the group schemes coming from Tannakian categories of D-modules. In the present work, we follow up this theme. We show that a certain class of affine group schemes of "infinite type", Neron blowups of formal subgroups, are quite typical. We also explain how these group schemes appear...

Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian. We then prove that, under normality of the generic fibre, the associated affine and flat group is pro-finite in a strong sense (so that its ring of functions is a Mittag-Leffler $A$-module) and that it classifies finite torsors $Q\to X$. T...

Let R be a complete discrete valuation ring of mixed characteristic (0, p) with perfect residue field, K the fraction field of R. Suppose G is a Barsotti-Tate group (p-divisible group) defined over K which acquires good reduction over a finite extension K' of K. We prove that there exists a constant c which depends on the absolute ramification index e(K'/Q_p) and the height of G such that G has good reduction over K if and only if G[p^c] can be extended to a finite flat group...

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but now it appears to be developing into one of the central topics in the emerging arithmetic theory of (linear) algebraic groups over higher-dimensional fields. The focus of this article is on the Main Conjecture asserting the finiteness of the...

We study affine group schemes over a discrete valuation ring $R$ using two techniques: Neron blowups and Tannakian categories. We employ the theory developed to define and study differential Galois groups of $\mathcal D$-modules on a scheme over a $R$. This throws light on how differential Galois groups of families degenerate.