Exponential diophantine equations (Q5895454): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Sur les équations diophantiennes liées aux unités d'un corps de nombre algébriques fini / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3338318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3309989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075012 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On linear relations between roots of unity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic of algebraic tori / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5551295 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(\mathfrak p\)-adic Thue-Siegel-Roth-Schmidt theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On norm form equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nombres transcendants / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2005567558 / rank | |||
Normal rank |
Latest revision as of 09:33, 30 July 2024
scientific article; zbMATH DE number 3882517
Language | Label | Description | Also known as |
---|---|---|---|
English | Exponential diophantine equations |
scientific article; zbMATH DE number 3882517 |
Statements
Exponential diophantine equations (English)
0 references
1984
0 references
Let \(\mathbb G\) be a commutative algebraic group over \(\mathbb C\), not containing any algebraic subgroup isomorphic to the additive group \(\mathbb G_ a\). Let \(\Gamma\) be a subgroup of \(\mathbb G(\mathbb C)\) of finite rank, that is, there is a finitely generated subgroup \(\Gamma'\) of \(\Gamma\) such that all elements of \(\Gamma/\Gamma'\) have finite order. Let \(V\) be a subvariety of \(\mathbb G\). Lang conjectured: The set \(V\cap \Gamma\) is a finite union of subsets of the form \(\gamma (H\cap \Gamma)\), where \(\gamma\) denotes an element of \(\Gamma\) and \(H\) is an algebraic subgroup of \(\mathbb G\), such that \(\gamma H\subseteq V\). The author proves this conjecture for the case \(\mathbb G=(\mathbb C^*)^ n\), where \(\mathbb C^*\) is the multiplicative group of non-zero complex numbers. The proof consists of an ingenious use of arguments from Kummer theory and a result of Evertse on sums of \(S\)-units. The author also gives a quantitative version, of which we mention one interesting application. It characterizes solutions of systems of exponential equations of the form \(\sum_{\mu}Q_ k(\mu)a^{m_ 1}_{1,k}\cdots a^{m_ r}_{r,k}=0\), indexed by \(k\), and where \(a_{i,k}\) are non-zero algebraic numbers, \(Q_ k\) polynomials with algebraic coefficients, and \(\mu =(m_ 1,m_ 2,\ldots,m_ r)\) are the unknown rational integers. Unfortunately, the precise result is too long to quote here. \(\{\) A short version was published in C. R. Acad. Sci., Paris, Sér. I 296, 945--947 (1983; Zbl 0533.10011)\(\}\).
0 references
Lang conjecture
0 references
commutative algebraic group
0 references
quantitative version
0 references
solutions of systems of exponential equations
0 references
algebraic numbers
0 references
polynomials with algebraic coefficients
0 references
0 references