An explicit upper bound for the least prime ideal in the Chebotarev density theorem (Q2421944)

Let \(K\) be a number field, let \(L/K\) be a finite Galois extension and let \(G=\mathrm{Gal}(L/K)\). For a prime ideal \(\mathfrak{p}\) of \(K\) unramified in \(L\), let \(\left[ \frac{L/K}{\mathfrak{p}} \right]\) denote its Artin symbol, that is, the conjugacy class \(C\) in \(G\) consisting of the set of Frobenius automorphisms attached to the prime ideals of \(L\) lying over \(\mathfrak{p}\). Let \(N_{K/\mathbb{Q}}\) denote the absolute norm of \(K\). For a conjugacy class \(C\) of \(G\) and \(x \geq 2\) define \[ \pi_{C}(x) = |\{ \mathfrak{p} \mid \mathfrak{p} \text{ is a prime ideal of } K, \text{ unramified in } L, N_{K/\mathbb{Q}}(\mathfrak{p})\leq x, \text{ and }\left[ \frac{L/K}{\mathfrak{p}} \right]=C \}|. \] The Chebotarev density theorem states that \(\pi_{C}(x) \sim \frac{|C|}{|G|}Li(x)\) as \(x \rightarrow \infty\) where \(Li(x) = \int_{2}^{x}(\log t)^{-1} dt\). \textit{J. C. Lagarias} and \textit{A. M. Odlyzko} [Proc. Symp. London math. Soc., Univ. Durham 1975, 409--464 (1977; Zbl 0362.12011)] showed that, assuming the truth of the Generalized Riemann Hypothesis (GRH) for the Dedekind-zeta function \(\zeta_{L}(s)\), there exists an absolute, effectively computable constant \(A_{0}\) such that for any conjugacy class \(C\), there exists a prime ideal \(\mathfrak{p}\) of \(K\), unramified in \(L\), with \(\left[ \frac{L/K}{\mathfrak{p}} \right]=C\) and \(N_{K/\mathbb{Q}}(\mathfrak{p}) \leq A_{0} (\log d_{L})^{2}(\log\log d_{L})^{4}\), where \(d_{L}\) denotes the absolute discriminant of \(L\). They also sketched a proof that this result could be sharpened to \(N_{K/\mathbb{Q}}(\mathfrak{p}) \leq A_{0}' (\log d_{L})^{2}\). Subsequently, \textit{J. C. Lagarias} et al. [Invent. Math. 54, 271--296 (1979; Zbl 0401.12014)], showed unconditionally that there exists an absolute, effectively computable constant \(A_{1}\) such that for any conjugacy class \(C\) there exists a prime ideal \(\mathfrak{p}\) of \(K\), unramified in \(L\), for which \(\left[ \frac{L/K}{\mathfrak{p}} \right]=C\), for which \(N_{K/\mathbb{Q}}(\mathfrak{p})\) is a rational prime and which satisfies \(N_{K/\mathbb{Q}}(\mathfrak{p}) \leq 2 d_{L}^{A_{1}}\). Note that the \(2\) in this bound is there only to take care of the trivial case \(L=K=\mathbb{Q}\). In the article under review, the authors follow the same approach to show that one can in fact take \(A_{1}=12577\). Note that \textit{A. Zaman} [Funct. Approximatio, Comment. Math. 57, No. 1, 115--142 (2017; Zbl 1427.11123)] has shown that for any conjugacy class \(C\) there exists a prime ideal \(\mathfrak{p}\) of \(K\), unramified in \(L\), for which \(\left[ \frac{L/K}{\mathfrak{p}} \right]=C\), for which \(N_{K/\mathbb{Q}}(\mathfrak{p})\) is a rational prime and which satisfies \(N_{K/\mathbb{Q}}(\mathfrak{p}) \ll d_{L}^{40}\) for sufficiently large \(d_{L}\). Here the implicit constants are effective and absolute.