In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

We consider the distribution of $p$-power group schemes among the torsion of abelian varieties over finite fields of characteristic $p$, as follows. Fix natural numbers $g$ and $n$, and let ${\it\xi}$ be a non-supersingular principally quasipolarized Barsotti–Tate group of level $n$. We classify the $\mathbb{F}_{q}$-rational forms ${\it\xi}^{{\it\alpha}}$ of ${\it\xi}$. Among all principally polarized abelian varieties $X/\mathbb{F}_{q}$ of dimension $g$ with $X[p^{n}]_{\bar{\mathbb{F}}_{q}}\cong {\it\xi}_{\bar{\mathbb{F}}_{q}}$, we compute the frequency with which $X[p^{n}]\cong {\it\xi}^{{\it\alpha}}$. The error in our estimate is bounded by $D/\sqrt{q}$, where $D$ depends on $g$, $n$, and $p$, but not on ${\it\xi}$.

Let R be a local Artin ring with maximal ideal $\frak m$ and residue class field of characteristic p > 0. We show that every finite flat group scheme over R is annihilated by its rank, whenever $\frak m$p = p$\frak m$ = 0. This implies that any finite flat group scheme over an Artin ring the square of whose maximal ideal is zero, is annihilated by its rank.

Let A$^′$be a complete characteristic (0,p) discrete valuation ring with absolute ramification degree e and a perfect residue field. We are interested in studying the category${\mathcal F}$${\mathcal F}$$_A$$_′$of finite flat commutative group schemes over A$^′$withp-power order. When e= 1, Fontaine formulated the purely ’linear algebra‘ notion of a finite Honda system over A$^′$and constructed an anti-equivalence of categories between${\mathcal F}$${\mathcal F}$$_A$$_′$and the category of finite Honda systems over A$^′$ when p< 2. We generalize this theory to the case e≤ − 1.