Cyclotomic quotients of two conjugates of an algebraic number (Q2030765)

For an algebraic number \(\alpha \notin \mathbb{Q}\) with conjugates \(\alpha_{1},\dots,\alpha_{d}\), let \(E(\alpha)\) be the set of natural numbers \(n\) such that the first primitive \(n\)th root of unity \(e^{i2\pi /n}\) is a quotient of some two conjugates of \(\alpha \), and let \(T(\alpha)\) be the least positive integer \(T\) such that each quantity of the form \((\alpha_{u}/\alpha_{v})^{T}\), where \(1\leq u<v\leq d\), is not a root of unity other than \(1\). Then, the cardinality \(|E(\alpha)|\) of \(E(\alpha)\) is at most \(d^{2}-d+1\), and according to \textit{A. Schinzel} [in: Diophantine equations. Papers from the international conference held in honor of T. N. Shorey's 60th birthday, Mumbai, India, 2005. New Delhi: Narosa Publishing House/Published for the Tata Institute of Fundamental Research. 225--233 (2008; Zbl 1194.11026)], \[ T(\alpha)<e^{3\gamma /2}d^{3/2}(\log \log d+4)^{3/2}, \tag{1} \] where \(\gamma =0.57721...\) is the Euler's constant. In the paper under review, the author shows that \(T(\alpha)\) is the least common multiple of the elements of \(E(\alpha)\), and so \(|E(\alpha)|\) is at most the number of positive divisors of \(T(\alpha)\). By combining this last result with (1), he obtains that there is an absolute positive constant \(c\) such that \[ |E(\alpha)|<d^{\frac{c}{\log \log d}}, \tag{2} \] whenever \(d\geq 3\). Moreover, he proves that (2) is true with \(c:=1.04\) for each sufficiently large \(d\), and there is an infinite set \(\mathcal{N} \subset \mathbb{N}\) such that for any \(d\in \mathcal{N}\) there is an algebraic number \(\alpha\) of degree \(d\) for which \(|E(\alpha)|>d^{\frac{0.69}{\log \log d}}\).