Infinitesimal group schemes as iterative differential Galois groups

Torsion group schemes as iterative differential Galois groups

We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups of L over certain ID-subfields. For an explicit example, we even give a construction of (a family of) such iterative derivations.

Galois theory for iterative connections and nonreduced Galois groups

This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic. We show that these modules with iterative connection (and also the modules with integrable iterative connection) form a Tannakian category, assuming some nice properties for the underlying ring, and we show how this generalises to modules over schemes. We also relate these notions to stratifications on modules, as introduced by A. Grothendieck in order to extend integrable (ordinar…

中心简单代数上的迭代导出

Iterative Derivations on Central Simple Algebras

本文研究了中心简单代数上的迭代导出扩展问题，并展示了其分裂域的结构及伽罗瓦群的性质。

Non-free iterative differential modules

In the article "Picard-Vessiot theory of differentially simple rings" we established a Picard-Vessiot theory over differentially simple rings which may not be fields. Differential modules over such rings were proven to be locally free but do not have to be free as modules. In this article, we give a family of examples of non-free differential modules, and compute Picard-Vessiot rings as well as Galois groups for them.

A note on Frobenius divided modules in mixed characteristics

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving an infinite sequence of $\sO_X$-modules descending $\sE$ via the iterates of the Frobenius endomorphism of $X$. We show that this result can be generalized to any infinitesimal deformation $f : X \to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic formal schemes such that $p$ belongs to an…