A new bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation

The complexity of computing the Galois group of a linear differential equation is of general interest. In a recent work, Feng gave the first degree bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation. This bound is the degree bound of the polynomials used in the first step of the algorithm for finding a proto-Galois group (see Definition 2.7) and is sextuply exponential in the order of the differential equation. In this paper, we use Szántó’s algorithm of triangular representation for algebraic sets to analyze the complexity of computing the Galois group of a linear differential equation and we give a new bound which is triple exponential in the order of the given differential equation.     

Infinitesimal group schemes as iterative differential Galois groups

This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme as iterative differential Galois group. In this article we prove a necessary and sufficient condition to decide whether an infinitesimal group scheme occurs as Galois group scheme of a Picard-Vessiot extension over a given ID-field or not. In particular, this solves the inverse ID-Galois problem for infinitesimal group schemes. Furthermore, this gives a tool to tell whether all purely inseparable ID-extensions are in fact Picard-Vessiot extensions.     

On differential Galois groups of strongly normal extensions

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 fields, which encompasses ordered or p‐valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in , we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorphisms.     

Picard-Vessiot theory for real fields

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 prove the existence of a Picard-Vessiot extension for a homogeneous linear differential equation defined over a real differential field K with real closed field of constants. We give an adequate definition of the differential Galois group of a Picard-Vessiot extension of a real differential field with real closed field of constants and we prove a Galois correspondence theorem for such a Picard-Vessiot extension.     

The local index and the Swan conductor

In this paper we study local indices of systems of p-adic linearly differential equations which arise from p-adic representations of the absolute Galois group of local field of characteristic p with finite monodromy. We show the induction formula of the local index of p-adic differential equations and prove the equality between the local index of differential equations and the Swan conductor of p-adic Galois representations by inductive methods.     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Mbius transformations

By introducing the conception "relativistic differential Galois group" for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of Mobius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of Mobius transformations at the first author's article published in this journal in 1996 are refreshed in this paper.     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Möbius transformations

By introducing the conception “relativistic differential Galois group” for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of Möbius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of Möbius transformations at the first author’s article published in this journal in 1996 are refreshed in this paper.     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of M(o)bius transformations

By introducing the conception "relativistic differential Galois group" for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of M(o)bius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of M(o)bius transformations at the first author's article published in this journal in 1996 are refreshed in this paper.     

A note on the arithmetic of differential equations

In this note we give a method for computing the differential Galois group of some linear second-order ordinary differential equations using arithmetic information, namely the p-curvatures.     

The differential Galois theory of strongly normal extensions

Differential Galois theory, the theory of strongly normal extensions, has unfortunately languished. This may be due to its reliance on Kolchin's elegant, but not widely adopted, axiomatization of the theory of algebraic groups. This paper attempts to revive the theory using a differential scheme in place of those axioms. We also avoid using a universal differential field, instead relying on a certain tensor product.

We identify automorphisms of a strongly normal extension with maximal differential ideals of this tensor product, thus identifying the Galois group with the closed points of an affine differential scheme. Moreover, the tensor product has a natural coring structure which translates into the Galois group operation: composition of automorphisms.

This affine differential scheme splits, i.e. is obtained by base extension from a (not differential, not necessarily affine) group scheme. As a consequence, the Galois group is canonically isomorphic to the closed, or rational, points of a group scheme defined over constants. We obtain the fundamental theorem of differential Galois theory, giving a bijective correspondence between subgroup schemes and intermediate differential fields.

On the way to this result we study certain aspects of differential algebraic geometry, e.g. closed immersions, products, local ringed space of constants, and split differential schemes.

     

Geometric characterization of strongly normal extensions

This paper continues previous work in which we developed the Galois theory of strongly normal extensions using differential schemes. In the present paper we derive two main results. First, we show that an extension is strongly normal if and only if a certain differential scheme splits, i.e. is obtained by base extension of a scheme over constants. This gives a geometric characterization to the notion of strongly normal. Second, we show that Picard-Vessiot extensions are characterized by their Galois group being affine. Our proofs are elementary and do not use ``group chunks' or cohomology. We end by recalling some important results about strongly normal extensions with the hope of spurring future research.

     

Abel differential equations admitting a certain first integral

In this work algebro-geometric conditions to have a certain first integral for an Abel differential equation are given. These conditions establish a bridge with classical Galois theory because we transform the differential problem of finding a first integral for an Abel equation into an algebraic problem.     

Isomonodromic differential equations and differential categories

We study isomonodromicity of systems of parameterized linear differential equations and related conjugacy properties of linear differential algebraic groups by means of differential categories. We prove that isomonodromicity is equivalent to isomonodromicity with respect to each parameter separately under a filtered-linearly closed assumption on the field of functions of parameters. Our result implies that one does not need to solve any non-linear differential equations to test isomonodromicity anymore. This result cannot be further strengthened by weakening the requirement on the parameters as we show by giving a counterexample. Also, we show that isomonodromicity is equivalent to conjugacy to constants of the associated parameterized differential Galois group, extending a result of P. Cassidy and M. Singer, which we also prove categorically. We illustrate our main results by a series of examples, using, in particular, a relation between the Gauss–Manin connection and parameterized differential Galois groups.     

Quantum integrable systems and differential Galois theory

This paper is devoted to a systematic study of quantum completely integrable systems (i.e., complete systems of commuting differential operators) from the point of view of algebraic geometry. We investigate the eigenvalue problem for such systems and the correspondingD-module when the eigenvalues are in generic position. In particular, we show that the differential Galois group of this eigenvalue problem is reductive at generic eigenvalues. This implies that a system is algebraically integrable (i.e., its eigenvalue problem is explicitly solvable in quadratures) if and only if the differential Galois group is commutative for generic eigenvalues. We apply this criterion of algebraic integrability to two examples: finite-zone potentials and the elliptic Calogero-Moser system. In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.     

General differential Galois theory

The general Galois theory of arbitrary nonlinear partial differential equations is presented in the paper. For each system of differential equations its splitting field and the differential Galois group are defined. The main result is the theorem on the Galois correspondence for normal extensions.     

Noncommutative Galois Extension and Graded <Emphasis Type="Italic">q</Emphasis>-Differential Algebra

We show that a semi-commutative Galois extension of a unital associative algebra can be endowed with the structure of a graded q-differential algebra. We study the first and higher order noncommutative differential calculus of semi-commutative Galois extension induced by the graded q-differential algebra. As an example we consider the quaternions which can be viewed as the semi-commutative Galois extension of complex numbers.     

Generalized differential Galois theory

A Galois theory of differential fields with parameters is developed in a manner that generalizes Kolchin's theory. It is shown that all connected differential algebraic groups are Galois groups of some appropriate differential field extension.

     

On σδ-Picard–Vessiot Extensions

We study the differential Galois theory of difference equations under weaker hypothesis on the field of σ-constants. This framework yields a new approach to results by C. Hardouin and M. Singer, which answers positively 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.     

New classes of parameterized differential Galois groups

This paper is on the inverse parameterized differential Galois problem. We show that surprisingly many groups do not occur as parameterized differential Galois groups over K(x) even when K is algebraically closed. We then combine the method of patching over fields with a suitable version of Galois descent to prove that certain groups do occur as parameterized differential Galois groups over k((t))(x). This class includes linear differential algebraic groups that are generated by finitely many unipotent elements and also semisimple connected linear algebraic groups.