Related papers: Picard-Vessiot theory for real partial differentia…
The existence of a Picard-Vessiot extension for a homogeneous linear differential equation has been established when the differential field over which the equation is defined has an algebraically closed field of constants. In this paper, we…
In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field…
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…
In this paper, we develop a difference Galois theory in the setting of real fields. After proving the existence and uniqueness of the real Picard-Vessiot extension, we define the real difference Galois group and prove a Galois…
We demonstrate existence and uniqueness of Picard--Vessiot extensions satisfying prescribed properties, for systems of linear differential equations over a field satisfying the same properties, under some closure assumptions on the field of…
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…
We present a characterization of differential Picard-Vessiot extensions which is analogous to the field theoretic characterization of Galois extensions in classical Galois theory.
For a linear differential equation defined over a formally real differential field K with real closed field of constants k, Crespo, Hajto and van der Put proved that there exists a unique formally real Picard- Vessiot extension up to…
In this paper, we prove a new characterization theorem for Picard-Vessiot extensions whose differential Galois groups have solvable identity components.
We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois…
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…
The unicity of real Picard-Vessiot fields for differential modules over a real differential field is proved.
We describe a Picard-Vessiot theory for differential fields with non algebraically closed fields of constants. As a technique for constructing and classifying Picard-Vessiot extensions, we develop a Galois descent theory. We utilize this…
Let F be a differential field of characteristic zero. In this article, we construct Picard-Vessiot extensions of F whose differential Galois group is isomorphic to the full unipotent subgroup of the upper triangular group defined over the…
We give a description of the rational representations of the differential Galois group of a Picard-Vessiot extension.
Let k be a differential field and C its subfield of constants. In general a differential extension K of k add some new constants to C, and it is difficult to prove that C stay unchangeable under the extension K; This situation is provided…
We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed…
Assuming that the differential field $(K,\delta)$ is differentially large, in the sense of Le\'on S\'anchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential…
Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of…
We prove that if T is a theory of large, bounded, fields of characteristic zero, with almost quantifier elimination, and T_D is the model companion of T + "D is a derivation", then for any model U of T_D, and differential subfield K of U…