A new proof of Nishioka’s theorem in Mahler’s method
In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka’s theorem. Working with functions of several variables and with different Mahler trans...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2023-09-01
|
| Series: | Comptes Rendus. Mathématique |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.458/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825206278678380544 |
|---|---|
| author | Adamczewski, Boris Faverjon, Colin |
| author_facet | Adamczewski, Boris Faverjon, Colin |
| author_sort | Adamczewski, Boris |
| collection | DOAJ |
| description | In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka’s theorem. Working with functions of several variables and with different Mahler transformations leads to a number of complications, including the need to prove a general vanishing theorem and to use tools from ergodic Ramsey theory and Diophantine approximation (e.g., a variant of the $p$-adic Schmidt subspace theorem). These complications make the proof of the main results proved in [3] rather intricate. In this article, we describe our new approach in the special case of linear Mahler systems in one variable. This leads to a new, elementary, and self-contained proof of Nishioka’s theorem, as well as of the lifting theorem more recently obtained by Philippon [23] and the authors [1]. Though the general strategy remains the same as in [3], the proof turns out to be greatly simplified. Beyond its own interest, we hope that reading this article will facilitate the understanding of the proof of the main results obtained in [3]. |
| format | Article |
| id | doaj-art-f816a44e54f740f6bb36bc85fab351c4 |
| institution | Kabale University |
| issn | 1778-3569 |
| language | English |
| publishDate | 2023-09-01 |
| publisher | Académie des sciences |
| record_format | Article |
| series | Comptes Rendus. Mathématique |
| spelling | doaj-art-f816a44e54f740f6bb36bc85fab351c42025-02-07T11:09:17ZengAcadémie des sciencesComptes Rendus. Mathématique1778-35692023-09-01361G61011102810.5802/crmath.45810.5802/crmath.458A new proof of Nishioka’s theorem in Mahler’s methodAdamczewski, Boris0Faverjon, Colin1Univ Lyon, Université Claude Bernard Lyon 1, CNRS UMR 5208, Institut Camille Jordan, 69622 Villeurbanne Cedex, FranceUniv Lyon, Université Claude Bernard Lyon 1, CNRS UMR 5208, Institut Camille Jordan, 69622 Villeurbanne Cedex, FranceIn a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka’s theorem. Working with functions of several variables and with different Mahler transformations leads to a number of complications, including the need to prove a general vanishing theorem and to use tools from ergodic Ramsey theory and Diophantine approximation (e.g., a variant of the $p$-adic Schmidt subspace theorem). These complications make the proof of the main results proved in [3] rather intricate. In this article, we describe our new approach in the special case of linear Mahler systems in one variable. This leads to a new, elementary, and self-contained proof of Nishioka’s theorem, as well as of the lifting theorem more recently obtained by Philippon [23] and the authors [1]. Though the general strategy remains the same as in [3], the proof turns out to be greatly simplified. Beyond its own interest, we hope that reading this article will facilitate the understanding of the proof of the main results obtained in [3].https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.458/ |
| spellingShingle | Adamczewski, Boris Faverjon, Colin A new proof of Nishioka’s theorem in Mahler’s method Comptes Rendus. Mathématique |
| title | A new proof of Nishioka’s theorem in Mahler’s method |
| title_full | A new proof of Nishioka’s theorem in Mahler’s method |
| title_fullStr | A new proof of Nishioka’s theorem in Mahler’s method |
| title_full_unstemmed | A new proof of Nishioka’s theorem in Mahler’s method |
| title_short | A new proof of Nishioka’s theorem in Mahler’s method |
| title_sort | new proof of nishioka s theorem in mahler s method |
| url | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.458/ |
| work_keys_str_mv | AT adamczewskiboris anewproofofnishiokastheoreminmahlersmethod AT faverjoncolin anewproofofnishiokastheoreminmahlersmethod AT adamczewskiboris newproofofnishiokastheoreminmahlersmethod AT faverjoncolin newproofofnishiokastheoreminmahlersmethod |