2026/07/27 by Enzo Brechler
Mathematics · #math.NT
We study the functional properties of Mahler functions of several variables associated with a large class of Mahler transformations. We prove that these functions are always analytic on a neighborhood of zero, and meromorphic on the open unit ball in Cn , as well as in Cnp for all primes p. This enables us to prove a rational-transcendental dichotomy for these functions. As a consequence, we strengthen the lifting theorem recently obtained by Adamczewski and Faverjon. This theorem allows us to systematically compute the algebraic relations between values of multivariate Mahler functions related by a Mahler system, given the algebraic relations between the functions themselves. Finally we prove a multivariate descent theorem in the case of regular points.