Group schemes over Artinian rings and applications
type: Item
instance of: scholarly article
title: Group schemes over Artinian rings and applications
zbMATH Open document ID: 1189.14052
author: Ioan Berbec
publication date: 2010-02-22T00:00:00Z
full work available at URL: https://eudml.org/doc/10458
review text: Let \(k\) be a perfect field of characteristic \(p\), let \(A=W(k)\) be the ring of Witt vectors over \(k\), and let \(D_k\) be the associated Dieudonné ring. A \(p\)-group scheme over \(k\) is a formal group scheme \(G\) over \(k\) for which \(G\) is isomorphic to the direct limit \(\displaystyle{\lim_{\longrightarrow} G[p^i]}\) where \(G[p^i]\) denotes the kernel of the map \(p^i: G\rightarrow G\), \(i\geq 0\). Let \(h\geq 0\) be an integer. A \(p\)-divisible group scheme over \(k\) of height \(h\) is a \(p\)-group scheme \(G\) for which \(G[p^i]\) has order \(p^{ih}\), \(\forall i\) (equivalently, the representing algebra of \(G[p^i]\) is free of rank \(p^{ih}\) over \(k\)). There is a categorical equivalence \({\mathcal M}\) between the category of \(p\)-divisible groups over \(k\) and the category of Dieudonné modules, that is, \(D_k\)-modules which are free over \(A\). Given a Dieudonné module \({\mathcal M}(G)\) we can recover the \(p\)-divisible group as follows. From the relations among the Frobenius, \({\mathcal F}\) and the Verschiebung, \({\mathcal V}\) operators, one defines a finite dimensional formal group which in turn produces a \(p\)-divisible group. Let \(K=\text{Frac}(A)\), let \(L\) be a finite totally ramified extension of \(K\) with ring of integers \(S\). Let \(m\) denote the maximal ideal of \(S\) and put \(S_n=S/m^n\). Choose \(\pi\) so that \(m=(\pi)\) and let \(e\) be so that \((p)=\pi^e\), \(e<p-1\). Observe that \(k\cong A/(m\cap A)\). In one of the main results of this paper (Theorem 2.8), the author shows that there is a categorical duality between the category of \(p\)-divisible groups over \(S_n\) and the category whose objects are certain triples \((L_n,M,\rho)\). In the duality, \(M={\mathcal M}(G_k)\). Next, suppose that \(k\) is algebraically closed and let \(d,h\) be positive integers which satisfy \(d<h\) and \(\text{gcd}(d,h)=1\). Let \(\Gamma_0\) be a \(p\)-divisible group over \(k\) whose Dieudonné module \({\mathcal M}(\Ga…
Mathematics Subject Classification ID: 14L15
Mathematics Subject Classification ID: 14L05
zbMATH DE Number: 5673900
zbMATH Keywords: group scheme
zbMATH Keywords: \(p\)-divisible group
zbMATH Keywords: almost canonical lifting
reviewed by: Robert G. Underwood
MaRDI profile type: Publication
OpenAlex ID: W2520577232
cites work: Théorie de Dieudonne cristalline. II
cites work: \(p\)-divisible groups, finite groups and filtered modules
cites work: Q4943975
cites work: Schémas en groupes. I: Propriétés générales des schémas en groupes. Exposés I à VIIb. Séminaire de Géométrie Algébrique 1962/64, dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
cites work: Q4156867
cites work: On canonical and quasi-canonical liftings
cites work: Q3901604
cites work: Q5190295
cites work: Q3932928
cites work: One-parameter formal Lie groups over p-adic integer rings
cites work: THE THEORY OF COMMUTATIVE FORMAL GROUPS OVER FIELDS OF FINITE CHARACTERISTIC
cites work: Q4767403
cites work: Q4650535
cites work: Schémas en groupes de type $(p,\ldots,p)$
cites work: Q4853304
DOI: 10.5802/AIF.2494
published in: Annales de l’institut Fourier
description: scientific article; zbMATH DE number 5673900