Dieudonné modules
Generated by GPT-5-miniExpansion Funnel Raw 64 → Dedup 0 → NER 0 → Enqueued 0
| Dieudonné modules | |
|---|---|
| Name | Dieudonné modules |
| Caption | Formalism relating p-divisible groups and linear algebra |
| Field | Algebraic geometry, Number theory |
| Introduced | 1950s |
| Contributors | Jean Dieudonné, Pierre Cartier, Alexander Grothendieck, Jean-Marc Fontaine |
Dieudonné modules Dieudonné modules provide a linear-algebraic framework linking p-divisible groups and formal groups over rings of characteristic p to modules over a noncommutative ring with Frobenius and Verschiebung actions. Originating in work by Jean Dieudonné and Pierre Cartier, the theory was developed further by Alexander Grothendieck, Jean-Marc Fontaine, and others to classify p-divisible groups, compute deformation invariants, and relate to crystalline and p-adic Hodge structures. The formalism is central in the study of abelian varieties, formal groups, and the arithmetic of varieties over fields like F_p and p-adic number contexts such as Z_p and Witt vectors.
Definition and basic properties
A Dieudonné module is a left module over the Dieudonné ring equipped with semilinear endomorphisms F and V satisfying FV = VF = p; foundational examples include the contravariant Dieudonné modules associated to p-divisible groups studied by Jean Dieudonné, Pierre Cartier, and Alexander Grothendieck in the context of the Grothendieck–Messing theory and Barsotti–Tate groups. The assignment from a p-divisible group over a perfect field of characteristic p to its Dieudonné module gives an anti-equivalence between the category of p-divisible groups and the category of finite free Dieudonné modules, a correspondence refined by Messing in work linked to Mazur and Serre. For rings of Witt vectors, Dieudonné modules carry a Frobenius coming from Witt vector Frobenius studied by Teichmüller and Verschiebung operators appearing in the work of Cartier and Serre duality contexts. Key invariants—height, dimension, and Newton slopes—appear in the Dieudonné module as rank, Hodge filtration, and isocrystal decomposition following ideas from Manin and Dieudonné–Manin classification.
Dieudonné ring and module structure
The Dieudonné ring D is a noncommutative p-adic completion of the noncommutative polynomial ring generated by F and V with relations FV = VF = p and semilinearity over the ring of Witt vectors W(k) for a perfect field k; this construction builds on concepts in Witt vectors theory and techniques introduced by Teichmüller and Hasse–Witt matrix computations. Modules over D encode Frobenius and Verschiebung actions algebraically, enabling explicit calculations of Ext and Hom groups used in deformation problems studied by Grothendieck and Messing, and later by Fontaine and Laffaille in p-adic Hodge theory. The category of left D-modules is abelian, and many structural results depend on the Dieudonné–Manin decomposition, which parallels the slope filtration of isocrystals in work of Katz and Newton polygons studied by Grothendieck and Mazur. Integral structures involve displays and windows introduced by Zink to handle nonperfect bases and issues studied by Berthelot and Illusie.
Classification of p-divisible groups via Dieudonné theory
Over an algebraically closed field of characteristic p, Dieudonné theory classifies p-divisible groups up to isogeny by isocrystals with Frobenius, following the Dieudonné–Manin classification used by Oort, Kottwitz, and Rapoport–Zink in the study of moduli of abelian varieties and Shimura varieties. The slope decomposition of isocrystals yields Newton strata that feature prominently in work by Fargues and Rapoport on local Shimura varieties and linking to the Langlands program via contributions from Kisin and Scholze. Integral refinements, such as classification results for truncated Barsotti–Tate groups, were developed by Zink, Lau, and Vasiu and applied to deformation spaces studied by Boer and de Jong. The theory connects with endomorphism algebras appearing in Honda–Tate theory for abelian varieties over finite fields and with polarizations investigated by Tate and Mumford.
Connections with displays, windows, and Breuil–Kisin modules
To handle nonperfect or ramified bases, Zink introduced displays and windows refining Dieudonné modules; these notions were integrated with Breuil–Kisin modules by Breuil and Kisin to study integral p-adic Hodge theory and moduli of Galois representations associated to Fontaine–Laffaille theory and Kisin modules. Breuil–Kisin modules relate Dieudonné modules to crystalline Galois representations as developed by Fontaine and extended by Liu and Cais in work on prismatic and crystalline comparisons. Applications include integral models of Shimura varieties addressed by Kisin and Vasiu, and deformation-theoretic analyses by Scholze and Caraiani in the context of p-adic local Langlands and perfectoid spaces. Displays have also been generalized by Lau and connected to windows used in the classification of p-divisible groups with additional structure studied by Kottwitz and Rapoport.
Examples and computations
Concrete Dieudonné modules appear for the multiplicative p-divisible group μ_{p^∞}, the additive formal group G_a, and the p-divisible group of an ordinary elliptic curve; computations of Dieudonné modules for supersingular elliptic curves involve slope 1/2 isocrystals studied in Deuring and Honda frameworks. Classical examples computed by Dieudonné and Manin include those arising from one-dimensional formal groups and from Jacobians of curves studied by Igusa and Deligne–Illusie. Explicit calculations of Hasse–Witt matrices and Frobenius slopes in families of curves and abelian varieties were performed by Katz, Oda, and Mazur, and such examples are central in algorithms for point counting on curves over F_p developed by Schoof, Pila, and Lauder. Truncated Dieudonné modules (BT_1 and BT_n) are used in computational deformation problems examined by Katz–Messing and in moduli descriptions by Oort.
Applications in crystalline cohomology and algebraic geometry
Dieudonné modules are fundamental in the study of crystalline cohomology of varieties over fields of characteristic p, underpinning comparison isomorphisms developed by Berthelot, Grothendieck, and Ogus and used in the proof of p-adic comparison theorems by Fontaine, Faltings, and Tsuji. They inform the study of deformation spaces of abelian varieties and p-divisible groups in the work of Messing, Kisin, and Rapoport–Zink, with consequences for integral models of Shimura varieties investigated by Kisin, Vasiu, and Madapusi Pera. In arithmetic geometry, Dieudonné theory connects with the study of Galois representations through the Fontaine modules and Breuil–Kisin methods employed by Breuil, Kisin, and Liu, and it plays a role in the proof of modularity lifting theorems influenced by Wiles, Taylor, and Khare–Wintenberger. Recent advances link Dieudonné-theoretic ideas to prismatic cohomology pioneered by Bhatt and Scholze and to geometric approaches to the local Langlands correspondence explored by Fargues and Scholze.