Abstract:Let R be a local Artin ring with residue field k of positive characteristic. We prove that every finite flat group scheme over R whose special fiber belongs to a certain explicit family of non-commutative k-group schemes is killed by its order. This is achieved via a classification result which rely on the explicit study of the infinitesimal deformation theory for such non-commutative k-group schemes. The main result answers positively in a new case a question of Grothendieck in SGA 3 on whether all finite flat group schemes are killed by their order.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for specific types of finite flat group schemes, whether their orders can "kill" them (that is, the homomorphism multiplied by the order is zero). Specifically, the paper explores whether these group schemes can be "killed" by their orders in the case of finite flat group schemes over local Artin rings, where the special fibers belong to certain non - commutative k - group scheme families.
### Problem Background
In algebraic geometry and group theory, Grothendieck proposed a famous question: **Can any finite flat group scheme over any base scheme be "killed" by its order?** This question can be regarded as the generalization of Lagrange's theorem in finite flat group schemes. Lagrange's theorem states that for a finite group \(G\) and its element \(g\), we have \(g^n = e_G\), where \(n\) is the order of the group \(G\).
### Main Contributions of the Paper
By studying specific types of finite flat group schemes, the paper gives a positive answer to Grothendieck's question in a new situation. Specifically:
1. **Research Object**: The paper considers a finite flat group scheme \(G\) over a local Artin ring \(R\), whose special fiber belongs to certain non - commutative \(k\)-group scheme families.
2. **Main Result**: The author proves that if the special fiber of \(G\) belongs to a certain explicit non - commutative \(k\)-group scheme family, then \(G\) can be "killed" by its order. This result depends on the explicit study of the infinitesimal deformation theory of these non - commutative \(k\)-group schemes.
3. **Classification Result**: By classifying these non - commutative \(k\)-group schemes, the paper proves that in the new situation, all finite flat group schemes can indeed be "killed" by their orders.
### Mathematical Formula Representation
To describe the problem more precisely, we use the following mathematical symbols and formulas:
- Let \(R\) be a local Artin ring, and the characteristic of its residue field \(k\) is positive.
- \(G\) is a finite flat group scheme over \(R\), and its special fiber \(G_k\) belongs to a certain non - commutative \(k\)-group scheme family.
- The order of \(G\) is denoted as \(n\), that is, the rank of \(A\) as a finite free \(R\)-module.
- \(G\) being "killed" by its order means that the multiplication homomorphism \([n]:G\rightarrow G\) is the zero homomorphism.
Represent the key formulas in Markdown format:
\[
[n]: G \to G
\]
\[
[x']((1 + y)^\lambda+ x)+\pi h_1(x, x', y, y') = 0
\]
\[
[y + y' + yy'+\pi h_2(x, x', y, y')]^{p^m}-\pi g(x, y) = 0
\]
### Conclusion
By studying specific types of finite flat group schemes, this paper solves a new situation of an important problem proposed by Grothendieck, further promoting the research on finite flat group schemes in the fields of algebraic geometry and group theory.