Algebraic independence and linear difference equations

DOI10.4171/JEMS/1316MaRDI QIDQ6351643zbMATH OpenFDO

Authors Boris Adamczewski, Thomas Dreyfus, Charlotte Hardouin, Michael Wibmer

Publication date 19 October 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4171/JEMS/1316

Mathematics Subject Classification ID

Transcendence (general theory) (11J81) Difference algebra (12H10) Linear difference equations (39A06) Additive difference equations (39A10) Difference equations, scaling ((q)-differences) (39A13) Difference equations in the complex domain (39A45)

Abstract: We consider pairs of automorphisms $(phi,sigma)$ acting on fields of Laurent or Puiseux series: pairs of shift operators $(phicolonxmapstox+h_1,sigmacolonxmapstox+h_2)$, of $q$-difference operators $(phicolonxmapsto{q}_{1}x,sigmacolonxmapsto{q}_{2}x)$, and of Mahler operators $(phicolonxmapsto{x}^{p_1},sigmacolonxmapsto{x}^{p_2})$. Given a solution $f$ to a linear $phi$-equation and a solution $g$ to a linear $sigma$-equation, both transcendental, we show that $f$ and $g$ are algebraically independent over the field of rational functions, assuming that the corresponding parameters are sufficiently independent. As a consequence, we settle a conjecture about Mahler functions put forward by Loxton and van der Poorten in 1987. We also give an application to the algebraic independence of $q$-hypergeometric functions. Our approach provides a general strategy to study this kind of question and is based on a suitable Galois theory: the $sigma$-Galois theory of linear $phi$-equations.

Recommendations

• Hypertranscendence of solutions of Mahler equations
• Hypertranscendence and linear difference equations
• Hypertranscendency of first order Mahler functions
• Algebraic theory of difference equations and Mahler functions
• Algebraic independence of Mahler functions and their values

Cited in

(3)

• Algebraic relations between values of Siegel \(E\)-functions and Mahler \(M\)-functions
• Algebraic independence and difference equations over elliptic function fields
• On the computation of the difference Galois groups of order 3 equations

This page was built for publication: Algebraic independence and linear difference equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6351643)