Abstract:Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$ which is not isoclinic. Let $\scrD$ (resp. $\scrD_k$) be the formal deformation space of $D$ over $\Spf(W(k))$ (resp. over $\Spf(k)$). We use axioms to construct formal subschemes $\scrG_k$ of $\scrD_k$ that: (i) have canonical structures of formal Lie groups over $\Spf(k)$ associated to $p$-divisible groups over $k$, and (ii) give birth, via all geometric points $\Spf(K)\to\scrG_k$, to $p$-divisible groups over $K$ that are isomorphic to $D_K$. We also identify when there exist formal subschemes $\scrG$ of $\scrD$ which lift $\scrG_k$ and which have natural structures of formal Lie groups over $\Spf(W(k))$ associated to $p$-divisible groups over $W(k)$. Applications to Traverso (ultimate) stratifications are included as well.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct and understand the deformation subspaces related to p - divisible groups. These subspaces have the structure of formal Lie groups, and the p - divisible groups given at geometric points are isomorphic to the original groups. Specifically, the goals of the paper are:
1. **Construct specific formal subschemes**: By the axiomatic method, construct formal subschemes \(G_k\) and \(G\) such that:
- \(G_k\) is a formal subscheme of \(D_k\) and has the canonical structure of a formal Lie group related to the p - divisible group over \(k\).
- \(G\) is a formal subscheme of \(D\), lifts \(G_k\), and has the natural structure of a formal Lie group related to the p - divisible group over \(W(k)\).
2. **Ensure geometric constancy**: Ensure that the universal p - divisible group \(D_f\) on these formal subschemes is geometrically constant when restricted to \(G_k\) or \(G\), that is, for any algebraically closed field \(K\) containing \(k\) and any morphism \(f:\text{Spec}(K)\to\text{Spec}(k[[x_1,\ldots,x_n]])\), the pulled - back p - divisible group \(f^*(C)\) is isomorphic to \(D_K\).
3. **Apply to Traverso stratification**: Study the roles of these formal subschemes in the local Traverso stratification, especially how they serve as slices of the local Traverso stratification and their invariance under the action of Hecke operators.
### Formulas and Notations
- \(p\in\mathbb{N}\) is a prime number.
- \(k\) is an algebraically closed field of characteristic \(p\).
- \(W(k)\) is the ring of Witt vectors with coefficients in \(k\).
- \(B(k)\) is the fraction field of \(W(k)\).
- \(\sigma = \sigma_k\) is the Frobenius automorphism on \(W(k)\) and \(B(k)\) induced by \(k\).
- \(c, d\in\mathbb{N}\cup\{0\}\) such that \(r = c + d>0\).
- \(D\) is a p - divisible group over \(k\), with codimension \(c\), dimension \(d\), and height \(r\).
- \(D(D)=(M,\varphi,\theta)\) is the Dieudonné module of \(D\).
- \(M\) is a free \(W(k)\)-module of rank \(r\).
- \(\varphi:M\to M\) is a \(\sigma\)-linear endomorphism satisfying \(pM\subseteq\varphi(M)\).
- \(\theta:M\to M\) is the Verschiebung map of \(\varphi\), satisfying \(\theta\circ\varphi=\varphi\circ\theta = p\cdot\text{id}_M\).
### Main Contributions
By introducing new axioms and construction methods, the paper solves the above problems and provides tools for further research on the integral canonical models of Shimura varieties, the action of Hecke operators, and related geometric and algebraic structures.