Irrationality measures for cubic irrationals whose conjugates Lie on a curve (Q2664658): Difference between revisions

Let \(\mathbb K\subset C\) be a real cubic number field. Let \(\sigma_1\), \(\sigma_2\) and \(\sigma_3\) be the immersions \(\mathbb K\hookrightarrow\mathbb C\) such that \(\sigma_1=\textrm{Id}\). Let \(\mathcal C\subset\mathbb P_2\) be a projective curve defined over \(\overline{\mathbb Q}\) and \(\theta\in\mathbb K\) such that \((\sigma_1\theta :\sigma_2\theta : \sigma_3\theta)\in\mathcal C(\mathbb Q)\).\\ 1. Let \(c=c(\mathbb C)\) be the special constant with some properties and \(x>0\), \(\lambda >\frac 12\) and \(\varepsilon \in (0,1)\) be parameters such that \(x\geq c^2 \min(1, \frac {(\lambda -\frac 12)^2}{8(\lambda +1)}\varepsilon)^{-2}\). If \(h_0(\theta)\leq x\) and \(\log \Vert \theta\Vert \leq -\lambda x \) then the authors prove that the effective irrationality measure \(\mu_{eff}(\xi)\leq \frac{\lambda +1}{\lambda -\frac 12}+\varepsilon \) for every generator \(\xi\) of \(\mathbb K\). 2. Let \(\mathcal C\) be a projective line in \(\mathbb P_2\) defined over \(\overline{\mathbb Q}\) by \(\beta_1^{-1}x_1+\beta_2^{-1}x_2+\beta_3^{-1}x_3=0\) and \(c=(6\sqrt 3)^{\frac 12}H(\beta)\) such that \(\Vert \theta\Vert <c^{-1}H_0(\theta)^{-\frac 12}\) then the authors prove that \(\mu_{eff}(\xi)\leq 1+ \frac{\frac 32h_0(\theta)+\log c}{\log (\frac 1{\Vert\theta\Vert}) -\frac 12h_0(\theta)-\log c} \) for every generator \(\xi\) of \(\mathbb K\). Here, \(H(\beta)\) is the normalized non-logarithmic Weil's height of \(\beta=(\beta_1,\beta_2,\beta_3)\), \(H(\theta)=H(1:\theta)\), \(h(\theta)=\log H(\theta)\), \(H_0(\theta)=H(\sigma_1\theta :\sigma_2\theta :\sigma_3\theta)\) and \(h_0(\theta)=\log H_0(\theta)\).