Torsion group schemes as iterative differential Galois groups (Q2334474)

The paper is devoted to the development of Galois theory for extensions of fields of nonzero characteristic. For such fields, one can construct (see [\textit{A. Maurischat}, Trans. Am. Math. Soc. 362, No. 10, 5411--5453 (2010; Zbl 1250.13009)]) a Galois theory similar to Kolchin's theory for extensions of differential fields, if one replaces ordinary derivations by the so-called higher derivations. Since the fields of constants arising in this case are usually not algebraically closed, finite group schemes are used instead of algebraic groups. The paper contains the main concepts and basic results of this theory as an introduction. Its ``main part is to find computable criteria when higher derivations are iterative derivations, and furthermore when an iterative derivation on the function field of an abelian variety is compatible with the addition map''. For the inverse problem of Galois theory, it is shown ``that torsion group schemes of abelian varieties in positive characteristic occur as iterative differential Galois groups of extensions of iterative differential fields''.