作为对应于 p-可除群的形式 Lie 群的 p-可除群的形变子空间

设 $k$ 为特征 $p>0$ 的代数闭域。设 $D$ 是 $k$ 上的非等斜 $p$-可除群。令 $\scrD$（相应地 $\scrD_k$）为 $D$ 在 $\Spf(W(k))$ 上（相应地 $\Spf(k)$ 上）的形式形变空间。我们利用公理构造 $\scrD_k$ 的形式子概型 $\scrG_k$，使得：(i) 具有对应于 $k$ 上 $p$-可除群、在 $\Spf(k)$ 上的形式 Lie 群的典型结构；(ii) 通过所有几何点 $\Spf(K)\to\scrG_k$ 产生出 $K$ 上的、与 $D_K$ 同构的 $p$-可除群。我们还辨识出何时存在 $\scrD$ 的、提升 $\scrG_k$ 并具有对应于 $W(k)$ 上 $p$-可除群、在 $\Spf(W(k))$ 上的自然形式 Lie 群结构的形子概型 $\scrG$。本文也包含了在 Traverso（最终）分层方面的应用。