Dieudonné theory via cohomology classifying stacks II

Shubhodip Mondal

2024-08-31

Abstract:In this paper, we apply stack theoretic ideas to the classification problem in Dieudonné theory. First, we use crystalline cohomology of classifying stacks to directly reconstruct the classical Dieudonné module of a finite, $p$-power rank, commutative group scheme $G$ over a perfect field $k$ of characteristic $p>0$. As a consequence, we give a new, much shorter proof of the isomorphism $\sigma^* M(G) \simeq \mathrm{Ext}^1 (G, \mathcal{O}^{\mathrm{crys}})$ due to Berthelot--Breen--Messing using stacky methods combined with the theory of de Rham--Witt complexes. Additionally, we show that finite locally free commutative group schemes of $p$-power rank over a quasisyntomic base can be classified in terms of ``prismatic Dieudonné $F$-gauges", which we introduce by making constructions using (higher) classifying stacks. The latter generalizes the result of Anschütz and Le Bras on classification of $p$-divisible groups, which we also reprove using our approach. Along the way, we prove a description of cohomology with coefficients in group schemes, compatibility with Cartier duality, and reconstruction of Galois representations in terms of our prismatic Dieudonné $F$-gauges.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to classify finite commutative group schemes of \(p\)-power rank using the ideas of stack theory in Dieudonné theory. Specifically, the author directly reconstructs the classical Dieudonné module of a finite commutative group scheme \(G\) of \(p\)-power rank by using crystalline cohomology and classification stacks. Through this method, the author gives a new and shorter proof of the Berthelot - Breen - Messing isomorphism \(\sigma^*M(G)\simeq \text{Ext}^1(G,\mathcal{O}_{\text{crys}})\).

In addition, the author also introduces a new concept - "prismatic Dieudonné F - gauge" - for classifying finite locally free commutative group schemes over a perfectoid base ring. These works not only generalize the results of Anschütz and Le Bras on classifying \(p\)-divisible groups, but also provide a new classification method applicable to the case of finite locally free group schemes.

In summary, the main contributions of this paper are as follows:
1. Provide a new and concise proof method using classification stacks and crystalline cohomology.
2. Introduce the concept of prismatic Dieudonné F - gauge, expanding the existing classification results.
3. Provide a new classification framework for finite locally free commutative group schemes.

These achievements not only deepen the understanding of Dieudonné theory, but also provide new tools and perspectives for further research in related fields.