Linear independence measure for squares of periods and quasi-periods of elliptic curves (Q1019825)

Let \(q\) be a rational integer satisfying either \(q\geq 28\, 035 \) or \(q\leq -27\, 153\). The author proves that the four numbers \[ 1, \; {_3}F_2\left( \begin{matrix} 1/2& 1/2& 1/2\\ &1&1\end{matrix} \left| \frac{1}{q} \right. \right), \; {_3}F_2\left( \begin{matrix} 3/2& 3/2& 3/2\\ &2&2\end{matrix} \left| \frac{1}{q} \right. \right), \; {_3}F_2\left( \begin{matrix} 5/2& 5/2& 5/2\\ &3&3\end{matrix} \left| \frac{1}{q} \right. \right) \] are linearly independent over \(\mathbb Q\) and provides an explicit linear independence measure. For \(\lambda\in\mathbb R\) with \(0<|\lambda|<1\), denote by \(\omega(\lambda)\) and \(\eta(\lambda)\) the real period and the real quasi--period of the Legendre elliptic curve \(y^2=x(x-1)(x-\lambda)\), so that \[ \frac{\omega(\lambda)}{\pi}= {_2}F_1\left( \frac{1}{2}, \frac{1}{2}, 1; \lambda \right) \quad\text{and}\quad \frac{\eta(\lambda)}{\pi}= {_2}F_1\left( -\frac{1}{2}, \frac{1}{2}, 1; \lambda \right). \] Then for \(q\in \mathbb Z\) with either \(q\geq 112\, 138\) or \(q\leq -108\, 606\), the four numbers \[ 1, \; \left(\frac{\omega(1/q)}{\pi}\right)^2, \; \frac{\omega(1/q)\eta(1/q)}{\pi^2}, \; \left(\frac{\eta(1/q)}{\pi}\right)^2 \] are linearly independent over \(\mathbb Q\) and again the author provides an explicit linear independence measure. The proofs rest on explicit constructions of Padé approximants. This approach yields sharper estimates than the method relying on the construction of auxiliary functions by means of Thue--Siegel Lemma. The author compares his result with earlier claims by G. V.~Chudnovsky, some of which are not yet proved [\textit{G. V. Chudnovsky}, ``Padé approximations to the generalized hypergeometric functions. I'', J. Math. Pures Appl. (9) 58, 445--476 (1979; Zbl 0434.10023); ``Padé approximation and the Riemann monodromy problem'', Bifurcation phenomena in mathematical physics and related topics, Proc. NATO Adv. Study Inst., Cargese/Corsica 1979, 449--510 (1980; Zbl 0437.41012)].