On actions of infinitesimal group schemes
type: Item
instance of: scholarly article
title: On actions of infinitesimal group schemes
zbMATH Open document ID: 1019.16026
DOI: 10.1016/S0021-8693(02)00683-X
author: Gaetana Restuccia
author: Hans-Jürgen Schneider
published in: Journal of Algebra
publication date: 2003-05-04T00:00:00Z
review text: Let \(H\) be a finite-dimensional commutative Hopf algebra over a perfect field \(k\) with characteristic \(p>0\). Such a Hopf algebra is necessarily a truncated polynomial algebra -- we will call the variables \(x_1,x_2,\dots,x_n\). Given a right \(H\)-comodule algebra \(A\) via \(\delta\colon A\to A\otimes H\) there exist derivations \(D_i\colon A\to A\) for \(1\leq i\leq n\) such that \(\delta(a)=a\otimes 1+1\otimes a+\sum D_i(a)\otimes x_i+\) terms of higher total degree. Let \(R=A^{\text{co }H}\) be the subalgebra of coinvariants under \(\delta \). The authors show that \(A/R\) is an \(H\)-Galois extension if and only if there are elements \(y_1,y_2,\dots,y_n\in A\) such that the matrix \((D_i(y_j))\) is invertible. Such \(y\)'s are found by considering elements that map to \(1\otimes x_i\) for all \(i\) under the canonical map \(A\otimes_RA\to A\otimes H\) (which is surjective when \(A/R\) is \(H\)-Galois). The final theorem gives results in special cases. Suppose that \(A\) is a regular local ring of dimension \(d\) and once again that \(A/R\) is \(H\)-Galois with \(y_i\)'s as above. Then \(R\) is regular local. If, for all \(1\leq i\leq n\), we have that \(y^{p^{s_i}}\in R\) then there are parameters \(z_{n+1},z_{n+2},\dots,z_d\) such that \(\{y_1,\dots,y_n,z_{n+1},\dots,z_d\}\) is a regular system of parameters for \(A\), \(\{y_1^{p^{s_1}},\dots,y_n^{p^{s_n}},z_{n+1},\dots,z_d\}\) is a regular system of parameters for \(R\). If \(A\) is also complete then there is a field \(F\) with \(k\subset F\subset R\) which is isomorphic to the residue fields of both \(A\) and \(R\); and \(A\cong F[[y_1,\dots,y_n,z_{n+1},\dots,z_d]]\) and \(R\cong F[[y_1^{p^{s_1}},\dots,y_n^{p^{s_n}},z_{n+1},\dots,z_d]]\).
reviewed by: Alan Koch
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 14L15
zbMATH DE Number: 1903594
zbMATH Keywords: Hopf Galois extensions
zbMATH Keywords: infinitesimal group schemes
zbMATH Keywords: comodule algebras
zbMATH Keywords: truncated polynomial algebras
zbMATH Keywords: algebras of coinvariants
MaRDI profile type: Publication
cites work: Q5602064
cites work: Q3897166
cites work: Free Derivation Modules on Algebraic Varieties
cites work: Q3739243
cites work: Biinvertible actions of Hopf algebras
cites work: Prime ideals in Hopf Galois extensions
cites work: Q4306074
cites work: Q4550575
cites work: Regularity of the ring of invariants under certain actions of finite abelian Hopf algebras in characteristic \(p\)
cites work: Principal homogeneous spaces for arbitrary Hopf algebras
cites work: Q3884236
full work available at URL: s0021-8693(02)00683-x
OpenAlex ID: W2016148492
description: scientific article; zbMATH DE number 1903594