Linear forms in the logarithms of three positive rational numbers

Bennett, Curtis D. ; Blass, Josef ; Glass, A. M. W. ; Meronk, David B. ; Steiner, Ray P.

Journal de théorie des nombres de Bordeaux, Tome 9 (1997) no. 1, pp. 97-136

Abstract (VO)

In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda =b_{2}log{\alpha }_2-b_{1}log{\alpha }_1-b_{3}log{\alpha }_3\ne 0$ with $b_1,b_2,b_3$ positive integers and ${\alpha }_1,{\alpha }_2,{\alpha }_3$ positive multiplicatively independent rational numbers greater than $1$. Let ${\alpha }_{j1}={\alpha }_{j1}/{\alpha }_{j2}$ with ${\alpha }_{j1},{\alpha }_{j2}$ coprime positive integers $(j=1,2,3)$. Let ${\alpha }_j\ge \text{max}\{{\alpha }_{j1},e\}$ and assume that gcd$(b_1,b_2,b_3)=1.$ Let

$$b^{\text{'}}=\left(\frac{b_2}{log{\alpha }_1}+\frac{b_1}{log{\alpha }_2}\right)\left(\frac{b_2}{log{\alpha }_3}+\frac{b_3}{log{\alpha }_2}\right)$$

and assume that $B\ge \text{max}\{10,log{b}^{\text{'}}\}.$ We prove that either $\{b_1,b_2,b_3\}$ is $\left(c_4,B\right)$-linearly dependent over $\mathbb{Z}$ (with respect to $\left(a_1,a_2,a_3\right)$) or

$$\Lambda >exp\left\{-C{B}^2\left(\prod _{j=1}^{3}log{a}_j\right)\right\},$$

where $c_4$ and $C=c_1{c}_{2}log\rho +\delta$ are given in the tables of Section 6. Here $b_1,b_2,b_3$ are said to be $(c,B)$-linearly dependent over $\mathbb{Z}$ if $d_1{b}_1+d_2{b}_2+d_3{b}_3=0$ for some $d_1,d_2,d_3\in \mathbb{Z}$ not all $0$ with either (i) $0<|d_2|\le cBlog{a}_2\text{min}\{log{a}_1,log{a}_3\},|d_1|,|d_3|\le cBlog{a}_1,log{a}_3,$ or (ii) $d_2=0\text{and}|d_1|\le cBlog{a}_{1}log{a}_2\text{and}\left|d_3\right|\le cBlog{a}_{2}log{a}_3.$ In particular, we obtain $c_4<9146$ and $C<422,321$ for all values of $B\ge 10$, and for $B\ge 100$ we have $c_4\le 5572$ and $C\le 260,690.$. More complete information is given in the tables in Section 6. We prove this theorem by modifying the methods of P. Philippon, M. Waldschmidt, G. Wüstholz, et al. In particular, using a combinatorial argument, we prove that either a certain algebraic variety has dimension $0$ or $\left\{b_1,b_2,b_3\right\}$ are linearly dependent over $\mathbb{Z}$ where the dependence has small coefficients. This allows us to improve Philippon’s zero estimate, leading to the interpolation determinant being non-zero under weaker conditions.

Résumé

Dans cet article, nous donnons une minoration de la dépendance linéaire de trois nombres rationnels positifs valable sous certaines conditions faibles d’indépendance linéaire des coefficients des formes linéaires. Soit $\Lambda =b_{2}log{\alpha }_2-b_{1}log{\alpha }_1-b_{3}log{\alpha }_3\ne 0$ avec $b_1,b_2,b_3$ des entiers positifs et ${\alpha }_1,{\alpha }_2,{\alpha }_3$ des rationnels multiplicativement indépendants supérieurs à $1$. Soit ${\alpha }_{j1}={\alpha }_{j1}/{\alpha }_{j2}$ où ${\alpha }_{j1},{\alpha }_{j2}$ sont des entiers positifs premiers entre eux $(j=1,2,3).$ Soit ${\alpha }_j\ge \text{max}\{{\alpha }_{j1},e\}$ et supposons que pgcd$(b_1,b_2,b_3)=1.$ Soit

$$b^{\text{'}}=\left(\frac{b_2}{log{\alpha }_1}+\frac{b_1}{log{\alpha }_2}\right)\left(\frac{b_2}{log{\alpha }_3}+\frac{b_3}{log{\alpha }_2}\right)$$

et supposons que $B\ge \text{max}\{10,log{b}^{\text{'}}\}.$ Nous démontrons que, soit $\{b_1,b_2,b_3\}$ est $\left(c_4,B\right)$-linéairement dépendant sur $\mathbb{Z}$ (relativement à $\left(a_1,a_2,a_3\right)$), ou bien

$$\Lambda >exp\left\{-C{B}^2\left(\prod _{j=1}^{3}log{a}_j\right)\right\}$$

où $c_4$ et $C=c_1{c}_{2}log\rho +\delta$ sont donnés dans les tables de la Section 6. Ici nous dirons que $b_1,b_2,b_3$ sont $(c,B)$-lineairement dépendants sur $\mathbb{Z}$ si $d_1{b}_1+d_2{b}_2+d_3{b}_3=0$ pour certains $d_1,d_2,d_3\in \mathbb{Z}$ non tous nuls tels que ou bien (i) $0<|d_2|\le cBlog{a}_2\text{min}\{log{a}_1,log{a}_3\},|d_1|,|d_3|\le cBlog{a}_1,log{a}_3,$ ou bien (ii) $d_2=0\text{et}|d_1|\le cBlog{a}_{1}log{a}_2\text{et}\left|d_3\right|\le cBlog{a}_{2}log{a}_3.$ Nous obtenons en particulier $c_4<9146$ and $C<422321$ pour tout $B\ge 10$, et si $B\ge 100$ nous avons $c_4\le 5572$ et $C\le 260690.$ Des informations plus précises sont données dans les tables de la Section 6. Nous démontrons ce résultat en modifiant les méthodes de P. Philippon, M. Waldschmidt, G. Wüstholz, et al. En particulier, par un argument combinatoire, nous prouvons que soit une certaine variété algébrique est de dimension nulle, ou bien $\{b_1,b_2,b_3\}$ sont linéairement dépendants sur $\mathbb{Z}$, avec de petits coefficients de dépendance. Cela nous permet d’améliorer le Lemme de zéros de Philippon, nous conduisant au fait que le déterminant d’interpolation reste non nul sous des conditions plus faibles.