Finite group scheme actions on the affine plane (Q1175532): Difference between revisions

Let \(k\) be an algebraically closed field of positive characteristic \(p\). A \(k\)-derivation \(d\) on \(k[x,y]\) is called of multiplicative type if \(d^ p=d\). Let \(R\) be a discrete valuation ring with residue field \(k\). \(R\) is \(p\)-good iff its quotient field is of characteristic zero and contains a primitive \(p\)-th root of unity. Let \(\mu_ p\) be the finite multiplicative group scheme over \(R\) whose coordinate ring is \(R[t,t^{- 1}]/\langle t^ p-1\rangle\). An algebraic action of \(\mu_ p\) on \(\hbox{Spec}(R[x,y])\) induces a \(k\)-derivation \(d\) on \(k[x,y]\) of multiplicative type. These derivations are called liftable. The authors show that linearizable derivations of multiplicative type are liftable. They conjecture that linearizability is also a necessary condition for liftability. --- In the first chapter the authors classify all linearizable \(k\)-derivations of multiplicative and additive (i.e. \(d^ p=0)\) type on \(k[x_ 1,\ldots,x_ n]\).