Dieudonné Theory for p-Divisible Groups

• Dieudonné theory is a framework that classifies and analyzes p-divisible groups by associating them with modules equipped with Frobenius and filtration data.
• It employs windows and Breuil–Kisin–Fargues modules to establish category equivalences over semiperfect, iso-balanced, and perfectoid rings.
• The theory underpins p-adic Hodge theory, deformation techniques, and moduli spaces, enhancing our understanding of modern arithmetic geometry.

Dieudonné theory provides a powerful framework for classifying and understanding $p$-divisible groups and finite commutative group schemes of $p$-power order via linear-algebraic and cohomological objects. Over semiperfect and perfectoid rings—central in modern $p$-adic geometry—these classifications are achieved via the theory of windows and Breuil–Kisin–Fargues modules, as developed in (Lau, 2016). The essential construction associates to any $p$-divisible group a module equipped with Frobenius and filtration data, yielding an equivalence of categories under suitable hypotheses. This comprehensive theory encompasses the classification of such groups over perfectoid rings and provides new foundations for the study of $p$-divisible and finite $p$-group schemes in mixed and equal characteristic.

1. Semiperfect Rings, Divided-Power Frames, and Windows

A ring $R$ of characteristic $p$ is semiperfect if the Frobenius endomorphism $\varphi_R:R\to R$ is surjective, equivalently $R\cong\varprojlim(R,\varphi)$. Its perfection is $p$0. The universal divided-power envelope $p$1 is the $p$2-adic completion of the PD-envelope of $p$3. By Scholze–Weinstein, $p$4 is naturally a frame $p$5 with:

• $p$6, $p$7,
• $p$8,
• $p$9 is the unique Frobenius lift,
• $p$0 is $p$1-linear, $p$2.

A window over $p$3 is a tuple $p$4, where

• $p$5 is a finite projective $p$6-module,
• $p$7 is a direct summand,
• $p$8 and $p$9 are $p$0-linear,
• $p$1, $p$2 for $p$3.

Given a $p$4-divisible group $p$5 over $p$6, the Dieudonné crystal $p$7 defines a window structure: $p$8, with $p$9 related to $p$0, and $p$1, $p$2 arising from Frobenius on $p$3. This yields a functor

$p$4

2. Boundedness, Iso-balanced Rings, and Category Equivalences

Let $p$5. $p$6 is balanced if $p$7, and iso-balanced if $p$8 has some nilpotent ideal $p$9 with $p$0 balanced. Every $p$1-semiperfect ring is iso-balanced.

Main Theorem: If $p$2 is iso-balanced, then

$p$3

is an equivalence of categories.

The proof first establishes the result for balanced or complete intersection $p$4, using a torsion-free "straight lift" $p$5 that enables a classical display computation. For general iso-balanced rings, the equivalence is patched via a sequence of nilpotent thickenings and crystalline deformation, using a lifting lemma.

To recover a $p$6-divisible group $p$7 from its window, Grothendieck–Messing deformation theory is applied: over $p$8, windows correspond to Dieudonné modules and hence to $p$9-divisible groups; the unique deformation descends along Frobenius.

3. Dieudonné Theory over Perfectoid Rings and BKF Modules

A perfectoid ring $R$0 (in characteristic $R$1) admits a "tilting" description $R$2 for some perfect $R$3 and distinguished element $R$4. Associated to $R$5 are two frames:

• $R$6 with $R$7,
• $R$8 as above.

There is a $R$9-frame map $p$0, up to a unit.

A Breuil–Kisin–Fargues (BKF) module over $p$1 is a pair $p$2 of a finite projective $p$3-module $p$4 and a Frobenius semi-linear map $p$5 with cokernel killed by $p$6.

Classification Theorem: For $p$7, there are equivalences

$p$8

This realizes $p$9-divisible groups and finite commutative $\varphi_R:R\to R$0-group schemes over perfectoid $\varphi_R:R\to R$1 in terms of linear-algebraic objects.

4. Classification of Finite $\varphi_R:R\to R$2-Group Schemes via Torsion BKF Modules

For a perfectoid ring $\varphi_R:R\to R$3 and $\varphi_R:R\to R$4, a torsion BKF-module is a finitely presented $\varphi_R:R\to R$5-module $\varphi_R:R\to R$6 of $\varphi_R:R\to R$7-power torsion and projective dimension at most $\varphi_R:R\to R$8, together with $\varphi_R:R\to R$9 with cokernel killed by $R\cong\varprojlim(R,\varphi)$0. The category of such modules is denoted $R\cong\varprojlim(R,\varphi)$1.

Finite locally free $R\cong\varprojlim(R,\varphi)$2-group schemes over $R\cong\varprojlim(R,\varphi)$3 are classified by torsion BKF-modules: every such group can be exhibited as the cokernel of an isogeny between $R\cong\varprojlim(R,\varphi)$4-divisible groups, and under the equivalence $R\cong\varprojlim(R,\varphi)$5, this cokernel corresponds to a torsion BKF-module.

5. Explicit Structures: Frames, Windows, and Functorial Formulas

The window structure on $R\cong\varprojlim(R,\varphi)$6 is described by the $R\cong\varprojlim(R,\varphi)$7-module $R\cong\varprojlim(R,\varphi)$8 with direct summand $R\cong\varprojlim(R,\varphi)$9, semilinear operators $p$00, and relations $p$01 and $p$02 for $p$03. This structure is functorial for base change and compatible with the crystalline nature of the thickening $p$04.

On perfectoid rings, the BKF-module identification is made explicit by matching the Frobenius operators and filtrations; for instance, the multiplicative $p$05-divisible group yields the BKF-module $p$06.

6. Implications and Applications

This framework directly yields classification results for $p$07-divisible and finite $p$08-group schemes over semiperfect, f-semiperfect, and perfectoid rings, providing a unified theory that extends classical Dieudonné theory into integral $p$09-adic and perfectoid settings (Lau, 2016). The use of windows and Breuil–Kisin–Fargues modules underpins much of the modern approach to deformation and moduli theory for $p$10-divisible groups, as well as foundational aspects of $p$11-adic Hodge theory and the study of Rapoport–Zink and related moduli spaces.

Key Theorems Referenced: Theorem 6.3 (construction of $p$12), Theorem 7.10 (equivalence for iso-balanced $p$13), Theorem 9.8 ($p$14 over perfectoid $p$15, $p$16), Theorem 10.12 (finite $p$17-group schemes $p$18) from (Lau, 2016).