A measure of transcendence for singular points on conics (Q2198363): Difference between revisions

A singular point on a plane conic defined over \(\mathbb{Q}\) is a transcendental point of the curve which admits very good rational approximations, uniformly in terms of the height. In this paper, the author provides a measure of transcendence for singular points on conics defined over \(\mathbb{Q}\). The main tool is a quantitative version of Schmidt subspace theorem due to \textit{J.-H. Evertse} [Compos. Math. 101, No. 3, 225--311 (1996; Zbl 0856.11030)]. The author proves the following theorem. Let \((\xi,\eta)\in\mathbb{R}^2\). Suppose that \(1,\xi,\eta\) are linearly independent over \(\mathbb Q\) and that \(f(\xi,\eta)=0\) for some irreducible polynomial \(f\in\mathbb{Q}[x,y]\) of degree~\(2\), not in \(\mathbb Q[x]\). Suppose furthermore that there exists a real number \(\lambda>\frac{1}{2}\) such that the inequalities \[|x_0|\le X\,,\quad |x_0\xi-x_1|\le X^{-\lambda}\,,\quad |x_0\eta-x_2|\le X^{-\lambda}\] have a nonzero solution \((x_0,x_1,x_2)\in\mathbb{Z}^3\) for each large enough real number \(X\ge1\). Then \(\xi\) is transcendental over \(\mathbb{Q}\) and there exists a computable constant \(c>0\) such that, for each pair of integers \(d\ge3\) and \(H\ge2\) and each algebraic number \(\alpha\) of degree \(d(\alpha)\le d\) and naive height \(H_0(\alpha)\le H\), we have \[|\xi-\alpha|\ge H^{-w(d)}\quad\text{where}\quad w(d)=\exp(c(\log d)(\log\log d))\,.\]