Isomonodromic differential equations and differential categories

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

[1]  L. E. Positsel'skii.  Nonhomogeneous quadratic duality and curvature , 1993 .

[2]  Michael F Singer,et al.  Linear algebraic groups as parameterized Picard-Vessiot Galois groups , 2011, 1108.0406.

[3]  Nicolas Stalder.  Scalar Extension of Abelian and Tannakian Categories , 2008, 0806.0308.

[4]  M. Singer,et al.  A Jordan–Hölder Theorem for differential algebraic groups , 2010, 1003.3274.

[5]  C. Herbert Clemens,et al.  A Scrapbook of Complex Curve Theory , 1980 .

[6]  A. Seidenberg.  Abstract differential algebra and the analytic case. II , 1958 .

[7]  A. Magid.  The Picard–Vessiot Antiderivative Closure , 2001 .

[8]  Michael Wibmer,et al.  Existence of $\partial$-parameterized Picard-Vessiot extensions over fields with algebraically closed constants , 2011, 1104.3514.

[9]  Claude Sabbah,et al.  The work of Andrey Bolibrukh on isomonodromic deformations , 2006 .

[10]  M. Kamensky.  Model theory and the Tannakian formalism , 2009, 0908.0604.

[11]  E. Kolchin.  Differential Algebra and Algebraic Groups , 2012 .

[12]  L. Positselski.  Nonhomogeneous quadratic duality and curvature , 2014, 1411.1982.

[13]  Alexey Ovchinnikov,et al.  Parameterized Picard-Vessiot extensions and Atiyah extensions , 2013 .

[14]  A. Ovchinnikov,et al.  Zariski closures of reductive linear differential algebraic groups , 2010, 1005.0042.

[15]  M. Singer,et al.  Projective isomonodromy and Galois groups , 2010, 1002.2005.

[16]  Michael F. Singer,et al.  Reductive Linear Differential Algebraic Groups and the Galois Groups of Parameterized Linear Differential Equations , 2013, 1304.2693.

[17]  E. R. Kolchin,et al.  Differential algebraic groups , 1986 .

[18]  Amnon Besser,et al.  Heidelberg Lectures on Coleman Integration , 2012 .

[19]  A. Ovchinnikov,et al.  Extensions of differential representations of SL2 and tori , 2011, Journal of the Institute of Mathematics of Jussieu.

[20]  Charlotte Hardouin,et al.  Hypertranscendance des systèmes aux différences diagonaux , 2008, Compositio Mathematica.

[21]  Michio Jimbo,et al.  Monodromy preserving deformation of linear ordinary differential equations with rational coefficients: I. General theory and τ-function , 1981 .

[22]  Marius van der Put,et al.  Galois Theory of Linear Differential Equations , 2012 .

[23]  Peter Landesman,et al.  Generalized differential Galois theory , 2007, 0707.3583.

[24]  Yasutaka Sibuya,et al.  Linear Differential Equations in the Complex Domain: Problems of Analytic Continuation , 1990 .

[25]  Alexey Ovchinnikov,et al.  Integrability conditions for parameterized linear difference equations , 2013, ISSAC '13.

[26]  Thomas Scanlon,et al.  A model complete theory of valued D-fields , 2000, Journal of Symbolic Logic.

[27]  Michael F. Singer,et al.  Unipotent differential algebraic groups as parameterized differential Galois groups , 2013, Journal of the Institute of Mathematics of Jussieu.

[28]  Manuel Kauers,et al.  Telescopers for rational and algebraic functions via residues , 2012, ISSAC.

[29]  Charlotte Hardouin,et al.  Descent for differential Galois theory of difference equations: confluence and q-dependence , 2011, 1103.5067.

[30]  P. Cassidy.  The differential rational representation algebra on a linear differential algebraic group , 1975 .

[31]  M. Kamensky.  Tannakian formalism over fields with operators , 2011, 1111.7285.

[32]  Alexey Ovchinnikov,et al.  Difference integrability conditions for parameterized linear difference and differential equations , 2013, Adv. Appl. Math..

[33]  Carlos E. Arreche.  Computing the differential Galois group of a one-parameter family of second order linear differential equations , 2012, 1208.2226.

[34]  Tannakian Categories, Linear Differential Algebraic Groups, and Parametrized Linear Differential Equations , 2007, math/0703422.

[35]  Michio Jimbo,et al.  Monodromy preserving deformation of linear ordinary differential equations with rational coefficients. III , 1981 .

[36]  C. Clemens.  A Scrapbook of Complex Curve Theory: Second Edition , 2002 .

[37]  Michio Jimbo,et al.  Deformation of linear ordinary differential equations, II , 1980 .

[38]  M. Demazure.  Schémas en groupes réductifs , 1965 .

[39]  Henri Gillet.  DIFFERENTIAL ALGEBRA A SCHEME THEORY APPROACH , 2002 .

[40]  D. Macpherson.  Model Theory of Valued fields , 2008 .

[41]  Michael F. Singer,et al.  Monodromy groups of parameterized linear differential equations with regular singularities , 2011, 1106.2664.

[42]  William Sit.  Differential Algebraic Subgroups of SL(2) and Strong Normality in Simple Extensions , 1975 .

[43]  Thomas Scanlon,et al.  Model theory of the Frobenius on the Witt vectors , 2007 .

[44]  Differential Tannakian categories , 2008, 0807.2497.

[45]  Carlos E. Arreche.  A Galois-theoretic proof of the differential transcendence of the incomplete Gamma function , 2013, 1304.1917.

[46]  Andy R. Magid,et al.  Lectures on differential Galois theory , 1994 .

[47]  Charlotte Hardouin,et al.  Courbures, groupes de Galois gnriques et D-groupode de Galois d'un systme aux q-diffrences , 2010 .

[48]  Michael F. Singer,et al.  Differential Galois theory of linear difference equations , 2008, 0801.1493.

[49]  Phyllis J. Cassidy,et al.  Differential algebraic groups , 1972 .

[50]  Tannakian Approach to Linear Differential Algebraic Groups , 2007, math/0702846.