Parameterized Differential Equations over k((t))(x)

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...

In this paper we revisit the following inverse problem: given a curve invariant under an irreducible finite linear algebraic group, can we construct an ordinary linear differential equation whose Schwarz map parametrizes it? We present an algorithmic solution to this problem under the assumption that we are given the function field of the quotient curve. The result provides a generalization and an efficient implementation of the solution to the inverse problem exposed by M. v...

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...

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.

This is an expanded version of the 10 lectures given as the 2006 London Mathematical Society Invited Lecture Series at the Heriot-Watt University 31 July - 4 August 2006.

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...

The theme of this paper is to `solve' an absolutely irreducible differential module explicitly in terms of modules of lower dimension and finite extensions of the differential field $K$. Representations of semi-simple Lie algebras and differential Galois theory are the main tools. The results extend the classical work of G. Fano.

We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a product of groups of type An, Cn, Dn, E6, or E7, we construct a differential equation over C(x) having Galois group G.

We solve the inverse differential Galois problem over the fraction field of $k[[t,x]]$ and use this to solve split differential embedding problems over $k((t))(x)$ that are induced from $k(x)$. The proofs use patching as well as prior results on inverse problems and embedding problems.

Differential equations have arithmetic analogues in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations and the present paper is concerned with the "linear" ones. The equations themselves were introduced in a previous paper. In the present paper we deal with the solutions of these equations as well as with the differential Galois groups attached to the solutions.