D'une mesure d'approximation simultanee a une mesure d'irrationalite : le cas de Γ(1/4) et Γ(1/3) (Q4548883)

Let \(\Omega\) be a lattice in \(\mathbb{C}\) with algebraic invariants \(g_{2}\), \(g_{3}\). Let \(\omega\) be a non zero element in \(\Omega\) and \(\eta\) be the associated quasi-period of the Weierstraß\ zeta function. In 1976 \textit{G. V. Chudnovsky} [Dopov. Akad. Nauk Ukr. RSR, Ser. A 1976, 697--700 (1976; Zbl 0337.10024)] proved the algebraic independence of the two numbers \(\pi/\omega\) and \(\eta/\omega\). Measures of algebraic independence have been produced by G. V. Chudnovsky, G. Philibert and \textit{P. Philippon} [Acta Arith. 88, No. 2, 113--127 (1999; Zbl 0938.11038)] who proved the lower bound \[ P(\pi/\omega, \eta/\omega)\geq H^{-c} \] for \(P\) a non zero polynomial in \(\mathbb Z[X,Y]\) with coefficients having absolute values at most \(H\). The exponent \(c\) depends only on \(\omega\), \(\Omega\) and the degree \(D\) of \(P\). Here the author produces an estimate for \(c\) which is explicit in terms of \(D\). He also gives a lower bound for the distance between the points \((\omega:\pi:\eta)\) and \((1:\alpha_{1}:\alpha_{2})\) in \(\mathbb{P}_{2}(\mathbb{C})\) when \(\alpha_{1}\) and \(\alpha_{2}\) are algebraic numbers; this estimate depends explicitly on the heights and degrees of \(\alpha_{1}\) and \(\alpha_{2}\). The dependence in terms of \(\omega\) and \(\Omega\) can also be made explicit: the author does it in the two particular cases \(\Omega=\mathbb{Z}\omega+i\mathbb{Z}\omega\) with \(\omega=\Gamma(1/4)^{2}/\sqrt{8\pi}\) and \(\Omega=\mathbb{Z}\omega+\varrho\mathbb{Z}\omega\) with \(\varrho^{3}=1\) and \(\omega=\Gamma(1/3)^{3}/\pi 2^{4/3}\). He deduces completely explicit algebraic independence measures for the two numbers \(\Gamma(1/4)\) and \(\pi\), as well as for the two numbers \(\Gamma(1/3)\) and \(\pi\). As a special case he derives the first explicit irrationality measures for each of the numbers \(\Gamma(1/4)\) and \(\Gamma(1/3)\).