M\'ethode de Mahler en caract{\'e}ristique non nulle : un analogue du Th\'eor\`eme de Ku. Nishioka

Abstract

In 1990, Ku. Nishioka proved a fundamental theorem for Mahler's method, which is the analog of the Siegel-Shidlovskii theorem for Mahler functions. In this article, we establish a version of the theorem of Ku. Nishioka which is also valid for Mahler systems over function fields of positive characteristic. We follow the approach introduced by Denis in 1999 in a particular case. It is based on an algebraic independence criterion from Philippon. The main motivation of this work is built on the following remarkable fact discovered by Denis. Over function fields of positive characteristic, analogs of periods such as \pi or the values at integer points of the Zeta Riemann function can be obtained as values of Mahler functions at algebraic points.