There is a serious discrepancy among literature on the Picard-Vessiot theory in positive characteristics (for iterative differential fields). It is about descriptions of Galois correspondence. We should use affine group schemes instead of algebraic matrix groups to obtain a suitable Galois correspondence. If one adheres to algebraic matrix groups, then his correspondence may not be bijective.
Let F be a differential field with field of constants C. We assume C to be algebraically closed and of characteristic 0. The complete Picard--Vessiot closure of F is a differential field extension of F with the same constants C as F, which has no Picard--Vessiot extensions, and is minimal over F with these properties. There is a correspondence between subfields of the complete Picard--Vessiot closure and subgroups of its differential automorphism group, which arises because the complete Picard--Vessiot closure comes from F via repeated Picard--Vessiot extensions. This correspondence also obtai…
In this paper, we prove a new characterization theorem for Picard-Vessiot extensions whose differential Galois groups have solvable identity components.
The purpose of this short note is to establish the existence of $\partial$-parameterized Picard-Vessiot extensions of systems of linear difference-differential equations over difference-differential fields with algebraically closed constants.
In this paper we present a theorem concerning an equivalent statement of the Jacobian Conjecture in terms of Picard-Vessiot extensions. Our theorem completes the earlier work of T. Crespo and Z. Hajto which suggested an effective criterion for detecting polynomial automorphisms of affine spaces. We show a simplified criterion and give a bound on the number of wronskians determinants which we need to consider in order to check if a given polynomial mapping with non-zero constant Jacobian determinant is a polynomial automorphism. Our method is specially efficient with cubic homogeneous mappings …
We present a characterization of differential Picard-Vessiot extensions which is analogous to the field theoretic characterization of Galois extensions in classical Galois theory.
In this paper, we generalize the definition of the differential Galois group and the Galois correspondence theorem established previously for Picard-Vessiot extensions of real differential fields with real closed field of constants to any Picard-Vessiot extension.
In Picard-Vessiot theory, the Galois theory for linear differential equations, the Picard-Vessiot ring plays an important role, since it is the Picard-Vessiot ring which is a torsor (principal homogeneous space) for the Galois group (scheme). Like fields are simple rings having only (0) and (1) as ideals, the Picard-Vessiot ring is a differentially simple ring, i.e. a differential ring having only (0) and (1) as differential ideals. Having in mind that the classical Galois theory is a theory of extensions of fields, i.e. of simple rings, it is quite natural to ask whether one can also set up a…
We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x' = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group.
This is a compilation of three separated studies. The main part (Part 3) deals with a unified Picard-Vessiot theory including Picard-Vessiot theories of differential and difference equations. Changes: [v1 -> v2] Corrected descriptions on "ZXi-linearly independece" in Part 2 (p11, p13, p16) [v2 -> v3] The proof of Proposition 3.5.7 (iii) in v2 is not completed. (Only the proof of Proposition 3.5.8 (ii) is influenced and a revised proof is given.) [v3 -> v4] Lemma 3.5.10 in the previous version is false (see Remark 3.5.10 in the presented version). The proof of Prop. 3.5.9 (ii) and the proof of …
We study the differential Galois theory of difference equations under weaker hypothesis on the field of constants of the automorphism. This framework yields a new approach to results by C.Hardouin and M.Singer, which answers possitively a question by M.Singer: under the classical hypothesis, the known results are still valid. In particular, our Galois group is isomorphic to theirs over a suitable field. We also explicitly calculate the number of connected components of the Galois group.
We show that three problems involving linear difference equations with rational function coefficients are essentially equivalent. The first problem is the generalization of the classical Skolem-Mahler-Lech theorem to rational function coefficients. The second problem is the question whether or not for a given linear difference equation there exists a Picard-Vessiot extension inside the ring of sequences. The third problem is a certain special case of the dynamical Mordell-Lang conjecture. This allows us to deduce solutions to the first two problems in a particular but fairly general special ca…
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.
Generalizing Atiyah extensions, we introduce and study differential abelian tensor categories over differential rings. By a differential ring, we mean a commutative ring with an action of a Lie ring by derivations. In particular, these derivations act on a differential category. A differential Tannakian theory is developed. The main application is to the Galois theory of linear differential equations with parameters. Namely, we show the existence of a parameterized Picard-Vessiot extension and, therefore, the Galois correspondence for many differential fields with, possibly, non-differentially…
A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is equivalent, as a symmetric monoidal category, to the category of representations of the group. Its underlying set is then recognized as the group of differential automorphisms of the Picard-Vessiot field extension of the base field for this differential module. These results can be obtained by means of a Tannaka reconstruction process, applied to the abelian categor…
Let $G$ be one of the classical groups of Lie rank $l$. We make a similar construction of a general extension field in differential Galois theory for $G$ as E. Noether did in classical Galois theory for finite groups. More precisely, we build a differential field $E$ of differential transcendence degree $l$ over the constants on which the group $G$ acts and show that it is a Picard-Vessiot extension of the field of invariants $E^G$. The field $E^G$ is differentially generated by $l$ differential polynomials which are differentially algebraically independent over the constants. They are the coe…
We develop algorithms to compute the differential Galois group corresponding to a one-parameter family of second order homogeneous ordinary linear differential equations with rational function coefficients. More precisely, we consider equations of the form \frac{\partial^2Y}{\partial x^2}+ r_1\frac{\partial Y}{\partial x} +r_2Y=0, where $r_1,r_2\in C(x,t)$ and $C$ is an algebraically closed field of characteristic zero. We work in the setting of parameterized Picard-Vessiot theory, which attaches a linear differential algebraic group to such an equation, that is, a group of invertible matrices…
Let us consider a linear differential equation over a differential field K. For a differential field extension L/K generated by a fundamental system of the equation, we show that Galois group according to the general Galois theory of Umemura coincides with the Picard-Vessiot Galois group. This conclusion generalized the comparision theorem of Umemura and Casale.
Let $F$ be a characteristic zero differential field with algebraically closed constant field, and consider the compositum $F_u$ of all Picard--Vessiot extensions of $F$ with unipotent differential Galois group. We prove that the group of $F$ differential automorphisms of $F_u$ is a free prounipotent group.
We show how the Galois-Picard_Vessiot theory of differential equations and difference equations, and the theory of holonomy groups in differential geometry, are different aspects of a unique Galois theory. The latter is based upon the construction and study of the tensor product of non commutative connections over a commutative base, without any curvature assumption. This theory provides an algebraic frame for the study of the confluence arising when the increment of a difference equation tends to 0.
In positive characteristic, nearly all Picard-Vessiot extensions are inseparable over some intermediate iterative differential extensions. In the Galois correspondence, these intermediate fields correspond to nonreduced subgroup schemes of the Galois group scheme. Moreover, the Galois group scheme itself may be nonreduced, or even infinitesimal. In this article, we investigate which finite group schemes occur as iterative differential Galois group schemes over a given ID-field. For a large class of ID-fields, we give a description of all occuring finite group schemes.
We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a par…
