{\sigma}-Galois theory of linear difference equations

We develop a Galois theory for systems of linear difference equations with an action of an endomorphism {\sigma}. This provides a technique to test whether solutions of such systems satisfy {\sigma}-polynomial equations and, if yes, then characterize those. We also show how to apply our work to study isomonodromic difference equations and difference algebraic properties of meromorphic functions.

[1]  Ehud Hrushovski,et al.  Model theory of difference fields , 1999 .

[2]  Difference independence of the Riemann zeta function , 2006, math/0610479.

[3]  Michael Wibmer.  A Chevalley theorem for difference equations , 2010, 1010.5066.

[4]  Bruno Salvy,et al.  GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable , 1994, TOMS.

[5]  Lucia Di Vizio,et al.  Galois theories of q-difference equations: comparison theorems , 2012, Confluentes Mathematici.

[6]  A. Granier.  A Galois $D$-groupoid for $q$-difference equations , 2011 .

[7]  Akira Masuoka,et al.  Picard–Vessiot extensions of artinian simple module algebras , 2005 .

[8]  Michael Wibmer,et al.  Difference Galois theory of linear differential equations , 2013, 1302.7198.

[9]  Lucia Di Vizio,et al.  Parameterized generic Galois groups for q-difference equations, followed by the appendix "The Galois D-groupoid of a q-difference system" by Anne Granier , 2012 .

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

[11]  Bruno Salvy,et al.  D-finiteness: algorithms and applications , 2005, ISSAC.

[12]  Michael Wibmer,et al.  Skolem-Mahler-Lech type theorems and Picard-Vessiot theory , 2012, 1203.1449.

[13]  R. Nevanlinna.  Le théorème de Picard-Borel et la théorie des fonctions méromorphes , 1930 .

[14]  Nalini Joshi,et al.  Exact solutions of a q-discrete second Painlevé equation from its iso-monodromy deformation problem: I. Rational solutions , 2011, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[15]  J. Roques.  Galois groups of the basic hypergeometric equations , 2007, 0709.3275.

[16]  Galois Theory of Difference Equations with Periodic Parameters , 2010, 1009.1159.

[17]  L’INSTITUT Fourier,et al.  On a general difference Galois theory I , 2010 .

[18]  Michiel Hazewinkel,et al.  Handbook of algebra , 1995 .

[19]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[20]  Nalini Joshi,et al.  Exact solutions of a q-discrete second Painlevé equation from its iso-monodromy deformation problem. II. Hypergeometric solutions , 2012, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[21]  J. Hietarinta,et al.  A Lax pair for a lattice modified KdV equation, reductions to q-Painlevé equations and associated Lax pairs , 2007 .

[22]  Michael F. Singer,et al.  Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups , 2005 .

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

[24]  A. Grothendieck,et al.  Éléments de géométrie algébrique , 1960 .

[25]  E. R. Kolchin.  Constrained extensions of differential fields , 1974 .

[26]  Philippe Flajolet,et al.  On the Non-Holonomic Character of Logarithms, Powers, and the nth Prime Function , 2005, Electron. J. Comb..

[27]  Richard P. Stanley,et al.  Differentiably Finite Power Series , 1980, Eur. J. Comb..

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

[29]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[30]  Martin Klazar,et al.  Non-Holonomicity of Sequences Defined via Elementary Functions , 2006 .

[31]  Bruno Salvy,et al.  Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities , 1998, J. Symb. Comput..

[32]  M. Murata.  Lax forms of the q-Painlevé equations , 2008, 0810.0058.

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

[34]  A. Grothendieck,et al.  Étude locale des schémas et des morphismes de schémas , 1964 .

[35]  Anand Pillay,et al.  Model theory with applications to algebra and analysis , 2008 .

[36]  Alexey Ovchinnikov,et al.  Isomonodromic differential equations and differential categories , 2012, 1202.0927.

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

[38]  Marius van der Put,et al.  Galois Theory of Difference Equations , 1997 .

[39]  Alexey Ovchinnikov.  Difference algebra (Algebra and Applications 8) , 2011 .

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

[41]  Alexander Grothendieck,et al.  Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie , 1966 .

[42]  A. Masuoka,et al.  Hopf Algebraic Approach to Picard-Vessiot Theory , 2009 .

[43]  B. Sturmfels,et al.  Binomial Ideals , 1994, alg-geom/9401001.

[44]  E. Hrushovski,et al.  Model theory of difference fields, II: Periodic ideals and the trichotomy in all characteristics , 2002 .

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

[46]  I. Ostrovskiǐ,et al.  Value Distribution of Meromorphic Functions , 2008 .

[47]  On the Grothendieck conjecture on p-curvatures for q-difference equations , 2012, 1205.1692.

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

[49]  Hf Huang,et al.  Proceedings of the Royal Society A-Mathematical Physical and Engineering Sciences , 2006 .

[50]  M. Singer,et al.  Model Theory with Applications to Algebra and Analysis: On the definitions of difference Galois groups , 2007, 0705.2975.

[51]  Lucia Di Vizio.  Approche galoisienne de la transcendance diff\'erentielle , 2014, 1404.3611.

[52]  Claude Irwin Palmer,et al.  Algebra and applications , 1918 .

[53]  R. Nevanlinna,et al.  Le theoreme de Picard-Borel et la theorie des fonctions meromorphes , 1930, The Mathematical Gazette.

[54]  Y. André.  Différentielles non commutatives et théorie de Galois différentielle ou aux différences , 2001 .

[55]  M. Wibmer.  Geometric Difference Galois Theory , 2010 .

[56]  W. Waterhouse,et al.  Introduction to Affine Group Schemes , 1979 .

[57]  Difference Nullstellensatz in the case of finite group , 2009, 0908.3863.

[58]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .