Background: I am trying to work out some Ext calculations for finite flat group schemes over a ring where p is nilpotent. I know how to do these calculations for finite group schemes over a finite field $k$ using the anti-equivalence with Dieudonne modules. I also know how to do this for finite flat group schemes over the ring of Witt vectors $W(k)$ by using the anti-equivalence with finite Honda systems.


Question: Is there a similar anti-equivalence that classifies finite flat group schemes over a ring where $p$ is nilpotent?


(Although this is probably no simpler, I would be satisfied with knowing the answer when $p^2 = 0$.)



How does one classify finite flat group schemes over a ring where p is nilpotent?
Since the case of interest is $W\_2(k)$ with perfect $k$ of characteristic $p > 2$, the answer is given by Ioan Berbec's 2009 paper "Group schemes over artinian rings and applications. In that paper (esp. section 3) he defines an essentially surjective additive functor to a certain semi-linear algebra category and proves that it is full (i.e., surjective on Hom's) and that the isomorphism property can be read off on either side. The same method of proof for the isomorphism property (which amounts to passing to a computation on the special fiber, where classical Dieudonne theory applies) works just as well for closed immersions and quotient maps. Thus, it is a simple exercise to deduce that the induced homomorphism between Ext-groups is an isomorphism. So that answers the question in the cases of interest. For more general bases things will be tougher; already for $W\_n(k)$ with $n > 2$ I don't know a proved result which is suitable for doing hands-on Ext computations (but maybe Berbec's result can be generalized a bit, possibly imposing a "truncated Barsotti-Tate" condition). 


