On the Cartier duality of certain finite group schemes of order \(p^n\)
type: Item
instance of: scholarly article
title: On the Cartier duality of certain finite group schemes of order \(p^n\)
zbMATH Open document ID: 1204.14021
author: Michio Amano
published in: Tokyo Journal of Mathematics
publication date: 2010-08-30T00:00:00Z
review text: Let \(p\) be a prime number, let \(A\) be a commutative ring with unity, and let \(\lambda\) be a non-zero element of \(A\). Let \(X\) be an indeterminate. Then there are \(A\)-Hopf algebras \(A[X,(1+\lambda X)^{-1}]\); \(A[X,(1+\lambda^pX)^{-1}]\) and corresponding \(A\)-group schemes \({\mathcal G}^{(\lambda)}:= \text{Spec}\;A[X,(1+\lambda X)^{-1}]=\text{Hom}_{A-alg}(A[X,(1+\lambda X)^{-1}],-)\) and \({\mathcal G}^{(\lambda^p)}:= \text{Spec}\;A[X,(1+\lambda^pX)^{-1}]=\text{Hom}_{A-alg}(A[X,(1+\lambda^pX)^{-1}],-)\). There is a homomorphism of \(A\)-Hopf algebras \(\phi: A[X,(1+\lambda^pX)^{-1}]\rightarrow A[X,(1+\lambda X)^{-1}]\) defined as \(\phi(X)=\lambda^{-p}((1+\lambda X)^p-1)\). Consequently, there is a homomorphism of group schemes \(\psi: {\mathcal G}^{(\lambda)}\rightarrow {\mathcal G}^{(\lambda^p)}\) defined as follows: for an \(A\)-algebra \(B\), and element \(f\in {\mathcal G}^{(\lambda)}(B)\), one has \(\psi(f)(X)=f(\phi(X))\). For an affine group scheme \(G\), let \(\hat G\) denote the completion of \(G\) along the zero section. Then the homomorphism \(\psi\) above extends to a homomorphism \(\psi: \widehat{\mathcal G}^{(\lambda)}\rightarrow \widehat{\mathcal G}^{(\lambda^p)}\). For an integer \(l\geq 1\), the situation generalizes: there is a homomorphism \(\psi^{(l)}: \widehat{\mathcal G}^{(\lambda)}\rightarrow \widehat{\mathcal G}^{(\lambda^{p^l})}\), where \(\psi^{(l)}\) is defined through \(X\mapsto \lambda^{-p^l}((1+\lambda X)^{p^l}-1)\). Note that \(\psi=\psi^{(1)}\). Now assume that \(A\) has characteristic \(p\). For \(l\geq 1\), let \(N_l=\text{ker}(\psi^{(l)})\), and let \(N_l^D\) be its Cartier dual. The paper under review concerns the structure of \(N_l^D\). For the case \(l=1\), it has been shown that \(N_1^D\) is canonically isomorphic to the kernel of the homomorphism \(F-\lambda^{p-1}: {G}_{a,A}\rightarrow {G}_{a,A}\), where \(F: {G}_{a,A}\rightarrow {G}_{a,A}\) is the Frobenius endomorphism of the additive group scheme over \(A\), …
Mathematics Subject Classification ID: 14L15
Mathematics Subject Classification ID: 13F35
zbMATH DE Number: 5776102
zbMATH Keywords: finite group scheme
zbMATH Keywords: Cartier dual
zbMATH Keywords: Witt vectors
reviewed by: Robert G. Underwood
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1279719581
OpenAlex ID: W2698813430
cites work: Q5602064
cites work: Q3901604
cites work: On the deformation of Artin-Schreier to Kummer
cites work: A note on extensions of algebraic and formal groups. IV: Kummer-Artin-Schreier-Witt theory of degree \(p^2\)
DOI: 10.3836/TJM/1279719581
Recommended article: On the Cartier duality of certain finite group schemes of order \(p^n\). II
Recommended article: On the Cartier duality of certain finite group schemes of type \((p^n, p^n)\)
Recommended article: On the Cartier duality of certain finite group schemes of type \((p^n , \ldots , p^n )\)
Recommended article: Corrigendum to: ``On the Cartier duality of certain finite group schemes of order \(p^n\). II.''
Recommended article: Representations of group schemes of cartan type
Recommended article: On the Cartan invariants of a Chevalley group over \(GF(p^ n)\)
Recommended article: On a conjecture concerning cartan matrices of finite simple groups
Recommended article: Q3682652
Recommended article: Q3027210
Recommended article: Q4855230
description: scientific article; zbMATH DE number 5776102