Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2210.12046 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915185371906048 |
|---|---|
| author | Delaygue, É. |
| author_facet | Delaygue, É. |
| contents | $E$-functions were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function. After developments of Siegel's methods by Shidlovskii, Nesterenko and André, Beukers proved in 2006 an optimal result on the algebraic independence of the values of $E$-functions which generalizes the Lindemann-Weierstrass theorem. Since then, it seems that no general result was stated concerning the relations between the values of a single $E$-function. We prove that André's theory of $E$-operators and Beuker's result lead to a Lindemann-Weierstrass theorem for $E$-functions in its linear independence formulation. As a consequence, we show that all transcendental values at algebraic arguments of an entire hypergeometric function are linearly independent over $\overline{\mathbb{Q}}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2210_12046 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | A Lindemann-Weierstrass theorem for $E$-functions Delaygue, É. Number Theory 11J72, 11J81, 34M05, 33E30, 34M35 $E$-functions were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function. After developments of Siegel's methods by Shidlovskii, Nesterenko and André, Beukers proved in 2006 an optimal result on the algebraic independence of the values of $E$-functions which generalizes the Lindemann-Weierstrass theorem. Since then, it seems that no general result was stated concerning the relations between the values of a single $E$-function. We prove that André's theory of $E$-operators and Beuker's result lead to a Lindemann-Weierstrass theorem for $E$-functions in its linear independence formulation. As a consequence, we show that all transcendental values at algebraic arguments of an entire hypergeometric function are linearly independent over $\overline{\mathbb{Q}}$. |
| title | A Lindemann-Weierstrass theorem for $E$-functions |
| topic | Number Theory 11J72, 11J81, 34M05, 33E30, 34M35 |
| url | https://arxiv.org/abs/2210.12046 |