A measure for the linear independence of certain numbers (Q800962)

Pour \(a\in {\mathbb{C}}\), avec \(| a| >1\), soit \(T(z)=\sum_{n\geq 0}a^{-n(n-1)/2} z^ n.\) Soit \(I_ K\) l'anneau des entiers du corps quadratique imaginaire K et \(\alpha_ 1,...,\alpha_ m\) des éléments de \(K^ x\). Les auteurs donnent une mesure d'indépendance linéaire sur K des \(T(\alpha_ i):\) Si on a (i) \(a=s/r\), avec r et s dans \(I_ K\setminus \{0\}\) vérifiant \(0\leq \log | r| /\log | s| =\gamma <\gamma (m)\) (où \(\gamma\) (m) est explicite). (ii) pour \(i\neq j\), le rapport \(\alpha_ i/\alpha_ j\) n'est pas une puissance entière de a; alors, pour tout \(\epsilon >0\), il existe \(c=c(\alpha_ 1,...,\alpha_ m,m,r,s,\epsilon)>0\) tel que \[ | A_ 0+A_ 1T(\alpha_ 1) + \cdots + A_ mT(\alpha_ m)| > cA^{-\theta (m,\gamma)-\epsilon} \] pour tout \((A_ 0,...,A_ m)\in I_ K^{m+1}\setminus \{0\},\) où \(A=\max | A_ i|\) et \(\theta\) (m,\(\gamma)\) est explicite. L'hypothèse (ii) est nécessaire en raison de la relation fonctionnelle \(T(az)=1+azT(z).\) Les auteurs en déduisent une mesure d'irrationalité des valeurs de la fonction thêta de Jacobi \(J(z)=\sum_{-\infty <n<+\infty}b^{-n^ 2} z^ n.\) La démonstration est une généralisation de celle de \textit{L. Tschakaloff} [Math. Ann. 84, 100-114 (1921)] qui prouvait l'indépendance linéaire des \(T(\alpha_ i)\) avec \({\mathbb{Q}}\) à la place de K. Elle fait suite à des travaux de premier [Port. Math. 33, 1-17 (1974; Zbl 0276.10020)] et de second auteur [Sémin. Théor. Nombres 1980-1981, Exp. No.30 (1981; Zbl 0474.10027)] sur cette question. La relation fonctionnelle vérifiée par T est utilisée pour construire une fonction auxiliaire explicite. Le lemme crucial (lemme 4) utilise des estimations fines de valuations p-adiques pour assurer la non nullité d'un déterminant. Notons que l'hypothèse (i) est inutile pour établier les majorations du lemme 2.