Large transcendence degrees for the exponential function; modification of the technical hypotheses in Brownawell's method
type: Item
instance of: scholarly article
title: Large transcendence degrees for the exponential function; modification of the technical hypotheses in Brownawell's method
zbMATH Open document ID: 0878.11032
author: Sandra Delaunay
published in: Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
publication date: 1997-06-22T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/73379
review text: Let \(u_{1},\ldots,u_{n}\) be \(\mathbb{Q}\)-linearly independent complex numbers and \(v_{1},\ldots,v_{m}\) be also \(\mathbb{Q}\)-linearly independent complex numbers. Denote by \(t\) the transcendence degree over \(\mathbb{Q}\) of the field generated by the \(mn\) numbers \(e^{u_{i}v_{j}}\), (\(1\leq i\leq n\), \(1\leq j\leq m\)). It is well known (six exponentials theorem) that for \(mn>m+n\), we have \(t\geq 1\). Moreover, for \(mn\geq 2(m+n)\), we have \(t\geq 2\). Such results are called ``small transcendence degree''. Assume now \(mn>m+n\). After the work of several mathematicians, including W. D. Brownawell, G. V. Chudnovsky, E. Reyssat, P. Philippon and Yu. V. Nesterenko, G. Diaz established in 1986 the lower bound \(t\geq[mn/(m+n)]\) (``large transcendence degree''), subject to a so-called ``technical assumption'', namely a measure of linear independence for the numbers \(u_{1},\ldots,u_{n}\), and also for the numbers \(v_{1},\ldots,v_{m}\) [ \textit{G. Diaz}, J. Number Theory 31, 1-23 (1989; Zbl 0661.10047)]. The central open problem which is studied in these two papers under review (see Zbl 0878.11030) is to provide a lower bound for \(t\) in terms of \(mn/(m+n)\) without assuming such a technical assumption, or at least under weaker assumptions. In the first part, the author develops Diaz' method and proves two results. In the first one, she assumes only a technical hypothesis for a subset of \(u_{1},\ldots,u_{n}\), and also for a subset of \(v_{1},\ldots,v_{m}\). In the second one, she assumes the opposite of the usual technical hypothesis: she deals with the case where there is a sequence of linear forms which take very small values at \((u_{1},\ldots,u_{n})\). In the second part, she develops a method of \textit{W. D. Brownawell} [Lect. Notes Math. 1290, 149-173 (1987; Zbl 0626.10030)] who replaces Philippon's transcendence criterion by a Liouville-type inequality.
Mathematics Subject Classification ID: 11J85
zbMATH DE Number: 1013764
zbMATH Keywords: exponential function
zbMATH Keywords: large transcendence degree
zbMATH Keywords: lower bound
zbMATH Keywords: Brownawell's method
zbMATH Keywords: Liouville-type inequality
reviewed by: Michel Waldschmidt
MaRDI profile type: Publication
OpenAlex ID: W4242512690
cites work: Q3828086
cites work: Q3029080
cites work: Local Diophantine Nullstellen Inequalities
cites work: Algebraic subgroups of commutative algebraic groups
cites work: Q4009415
cites work: Approximation of algebraic numbers by algebraic numbers
cites work: Q5287502
cites work: On polynomials and exponential polynomials in several complex variables
cites work: Q3658070
cites work: Q3739221
cites work: Lemmes de zéros dans les groupes algébriques commutatifs
cites work: Algebraic independence criteria.
cites work: Q3682564
cites work: Q3808169
cites work: Nombres transcendants
cites work: Q3864596
cites work: Indépendance algébrique des valeurs de la fonction exponentielle
DOI: 10.5802/AFST.820
Recommended article: Algebraic independence of certain numbers over a field of finite transcendence type
Recommended article: A note on certain fields of finite transcendence type
Recommended article: Q4854755
Recommended article: Q3693563
Recommended article: Q3834131
Recommended article: Mesure d'approximation simultanée
Recommended article: Some consequences of Schanuel's conjecture
Recommended article: Q3342654
Recommended article: Q3985688
Recommended article: Q3988077
description: scientific article; zbMATH DE number 1013764