Related papers: Picard-Vessiot extensions, linear differential alg…
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…
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…
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…
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…
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…
We prove that a differential field K is algebraically closed and Picard-Vessiot closed if and only if the differential Galois cohomology group H^1_\partial(K,G) is trivial for any linear differential algebraic group G over K. We give an…
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…
Consider an extension of finite dimensional nilpotent Lie algebras $0 \to \mathfrak{h} \to \tilde{\mathfrak{g}} \to \mathfrak{g} \to 0$ (over a field $k$ of characteristic zero) corresponding to an extension of unipotent algebraic groups $1…
In an earlier paper it was proved that if a differential field $(K,\delta)$ is algebraically closed and closed under Picard-Vessiot extensions then every differential algebraic principal homogeneous space over K for a linear differential…
For a differential field $F$ having an algebraically closed field of constants, we analyze the structure of Picard-Vessiot extensions of $F$ whose differential Galois groups are unipotent algebraic groups and apply these results to study…
Let $F$ be a $\delta-$field (differential field) of characteristic zero with an algebraically closed field of constants $F^\delta$, $A$ be a $\delta-F-$central simple algebra, $K$ be a Picard-Vessiot extension for the $\delta-F-$module $A$…
We show that the triviality of the differential Galois cohomologies over a partial differential field K of a linear differential algebraic group is equivalent to K being algebraically, Picard-Vessiot, and linearly differentially closed.…
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 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…
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…
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…
We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of…
For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…
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…