On the number of algebraic points where an analytic transcendental function takes algebraic values (Q1600154)

If \(\alpha\in \overline{\mathbb{Q}}\), the algebraic closure of \(\mathbb{Q}\) in \(\mathbb{C}\), denote by \(h(\alpha)\) its absolute logarithmic height. If \(0 < r < R\in\mathbb{R}\cup\{\infty\}\), \(H\geq 0\), \(1\leq D\in\mathbb{Z}\) and \(f\) is holomorphic in the disc \(D(0, R)\), then \(\sigma(D, H, f, r)\) is the number of \(\alpha\in\overline{\mathbb{Q}}\) such that \(|\alpha|\leq r\), \(f(\alpha)\in\overline{\mathbb{Q}}\), \([\mathbb{Q}(\alpha, f(\alpha): \mathbb{Q}] \leq D\), \(h(\alpha)\leq H\) and \(h(f(\alpha))\leq H\). If \(A(D,H)\) is the number of algebraic \(\alpha\) such that \([\mathbb{Q}(\alpha) :\mathbb{Q}]\leq D\) and \(h(\alpha)\leq H\), the author proves the explicit estimate \(D(D+1) (H-1) < \log A(D, H) < D(D+1) (H+1)\) which she uses as a lemma for proving: Theorem 1. If \(F(x) > 0\) and \(F(x)/x\) tends to 0 as \(x\) tends to \(+\infty\), then there exists a transcendental entire function \(f\) such that \(f(\alpha)\in \mathbb{Q}(\alpha)\) for each algebraic \(\alpha\) and for any \(D\geq 1\) there exists a sequence \(H_n\to \infty\) with \(\sigma(D, H_n, f, 1) \geq \exp (D(D+1) F(H_n))\). On the other hand, she proves: Theorem 2. If the transcendental function \(f\) is holomorphic in \(D(0, R)\) there exists a constant \(c > 0\) (depending only on \(f\), \(r\), \(R\)) such that, for any \(D\geq 1\) there exist infinitely many integers \(H\geq 0\) such that \(\sigma(D, H, f, r) < c D^3H^2\). The function of Theorem 1 is constructed as an interpolation series. The proof of Theorem 2 is a transcendental one (Schneider's method).