In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of solutions. Lie-Vessiot systems in algebraic homogeneous spaces include the case of linear differential equations. Therefore, the differential Galois theory for Lie-Vessiot systems is an extension of the classical Picard-Vessiot theory. In particular, algebraic Lie-Vessiot systems are solvable in terms of Kolchin's strongly normal extensions. Therefore, strongly normal extensions are geometrically interpreted as the fields of functions on principal homogeneous spaces over the Galois group. Finally we consider the problem of integrability and solvability of automorphic differential equations. Our main tool is a classical method of reduction, somewhere cited as Lie reduction. We develop and algebraic version of this method, that we call Lie-Kolchin reduction. Obstructions to the application are related to Galois cohomology.
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.
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 theory to prove that every linear algebraic group $G$ over $\mathbb{R}$ occurs as a differential Galois group over $\mathbb{R}(z)$. The main ingredient of the proof is the Riemann-Hilbert correspondence for regular singular differential equations over $\mathbb{C}(z)$.
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.
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 field of constants of F. We will also give a procedure to compute linear differential operators for our Picard-Vessiot extensions. We do not require the condition that the field of constants be algebraically closed.
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot sys- tem is automatically translated into a equation in a Lie group that we call automorphic system. Reciprocally an automorphic system induces a hierarchy of Lie-Vessiot systems. In this work we study the global analytic aspects of a classical method of reduction of differential equations, due to S. …
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…
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…
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 Picard-Vessiot extensions over fields with not necessarily algebraically closed subfields of constants.
Parallel telescoping is a natural generalization of differential creative-telescoping for single integrals to line integrals. It computes a linear ordinary differential operator $L$, called a parallel telescoper, for several multivariate functions, such that the applications of $L$ to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteeing the existence of parallel telescopers for differentially finite functions, and develop an algorithm to compute minimal ones for compatible hyperexponential functions. Besides computing annihilato…
In the framework of differential Galois theory we treat the classical spectral problem $Ψ"-u(x)Ψ=λΨ$ and its finite-gap potentials as exactly solvable in quadratures by Picard--Vessiot without involving special functions; the ideology goes back to the 1919 works by J. Drach. We show that duality between spectral and quadrature approaches is realized through the Weierstrass permutation theorem for a logarithmic Abelian integral. From this standpoint we inspect known facts and obtain new ones: an important formula for the $Ψ$-function and $Θ$-function extensions of Picard--Vessiot fields. In par…
This work is a galoisian study of the spectral problem $LΨ=λΨ$, for algebro-geometric second order differential operators $L$, with coefficients in a differential field, whose field of constants $C$ is algebraically closed and of characteristic zero. Our approach regards the spectral parameter $λ$ an algebraic variable over $C$, forcing the consideration of a new field of coefficients for $L-λ$, whose field of constants is the field $C(Γ)$ of the spectral curve $Γ$. Since $C(Γ)$ is no longer algebraically closed, the need arises of a new algebraic structure, generated by the solutions of the s…
In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic condition for a paramaterized linear differential equation to be projectively isomonodromic, in terms of the derived group of its parameterized Picard-Vessiot group.
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…
The aim of this article is to study rational parallelisms of algebraic varieties by means of the transcendence of their symmetries. The nature of this transcendence is measured by a Galois group built from the Picard-Vessiot theory of principal connections.
In this paper we give the global conditions for an ordinary differential equation to admit a superposition law of solutions in the classical sense. This completes the well-known Lie superposition theorem. We introduce rigorous notions of pretransitive Lie group action and Lie-Vessiot systems. We proof that pretransitive Lie group actions are transitive. We proof that an ordinary differential equation admit a superposition law if and only if it is a pretransitive Lie-Vessiot system. It means that its enveloping algebra is spanned by fundamental fields of a pretransitive Lie group action. We dis…
We give simple necessary and sufficient conditions for the $\frac{\partial}{\partial t}$-transcendence of the solutions to a parameterized second order linear differential equation of the form \frac{\partial^2 Y}{\partial x^2} - p \frac{\partial Y}{\partial x} = 0, where $p\in F(x)$ is a rational function in $x$ with coefficients in a $\frac{\partial}{\partial t}$-field $F$. This result is crucial for the development of an efficient algorithm to compute the parameterized Picard-Vessiot group of an arbitrary parameterized second-order linear differential equation over $F(x)$. Our criteria imply…
We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into this theory and show how results from the theory of linear differential algebraic groups may be used to classify systems of second order linear differential equations.
We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it.
This paper deals with criteria of algebraic independence for the derivatives of solutions of rank one difference equations. The key idea consists in deriving from the commutativity of the differentiation and difference operators a sequence of iterated extensions of the original difference module, thereby setting the problem in the framework of difference Galois theory and finally reducing it to an exercise in linear algebra. The involved tannakian categories are neutral over non necessarily algebraically closed fields, and this leads us to study the behaviour of Galois groups under base field …
This paper is devoted to a complete parametric study of Liouvillian solutions of the general trace-free second order differential equation with a Laurent polynomial coefficient. This family of equations, for fixed orders at $0$ and $\infty$ of the Laurent polynomial, is seen as an affine algebraic variety. We proof that the set of Picard-Vessiot integrable differential equations in the family is an enumerable union of algebraic subvarieties. We compute explicitly the algebraic equations of its components. We give some applications to well known subfamilies as the doubly confluent and biconflue…
The main motivation of our work is to create an efficient algorithm that decides hypertranscendence of solutions of linear differential equations, via the parameterized differential and Galois theories. To achieve this, we expand the representation theory of linear differential algebraic groups and develop new algorithms that calculate unipotent radicals of parameterized differential Galois groups for differential equations whose coefficients are rational functions. P. Berman and M.F. Singer presented an algorithm calculating the differential Galois group for differential equations without par…
