A note on the least prime that splits completely in a nonabelian Galois number field (Q2633130)

For a finite Galois extension \(K/\mathbb Q\) of degree \(n\) with Galois group \(G\) let \(q_K\) be the smallest prime splitting completely in \(K\). It is known that if the General Riemann Hypothesis holds for the Dedekind zeta function \(\zeta_K(s)\) of \(K\), then \(q_K\le70\log^2(D_K)\), where \(D(K)\) is the absolute value of the discriminant of \(K\) (see [\textit{J. C. Lagarias} and \textit{A. M. Odlyzko}, in: Algebr. Number Fields, Proc. Symp. London math. Soc., Univ. Durham 1975, 409--464 (1977; Zbl 0362.12011)] and [\textit{J. Oesterle}, Astérisque 61, 165--167 (1979; Zbl 0418.12005)]). If \(G\) is abelian, then the third author [Proc. Amer. Math. Soc. 142, 1925--1934 (2014; Zbl.1298.11082)] established the bound \[q_K\ll D^{1/4+\epsilon}\] for every \(\varepsilon>0\), the implied constant depending on \(\varepsilon\) and \(n\). The authors consider the following subconvexity hypothesis proposed by \textit{M. Einsiedler} et al. [Ann. Math. (2) 173, No. 2, 815--885 (2011; Zbl 1248.37009)]: If \(\deg K=n\), then there exist constants \(\theta, A\ge0\) which may depend on \(n\), such that on the line \(\Re(s)=1/2\) one has \[\zeta_K(s)\ll_n|s|^AD_K^{1/4-\theta}.\] In Theorem 1 they show that if \(K\) is Galois and satisfies this hypothesis, then \[q_K\ll D_K^{1/2-2\theta+\varepsilon}\] holds for all \(\varepsilon>0\) with the implied constant depending on \(\varepsilon\) and \(n\). They point out that all fields satisfy this hypothesis with \(\theta=0\) by the Phragmén-Lindelöf principle, and present examples of classes of extensions (with \(G\) dihedral, generalized dihedral and quaternion octic) for which they give effective values of \(\theta>0\). In the case when \(G\) is solvable and \(K\) is without quadratic fields Theorem 2 gives the bound \[q_K\ll \sqrt{D_K}\log^\varepsilon(D_K)\] with an effectively computable implied constant, depending on \(\epsilon\) and \(n\). Therefore by the Feit-Thompson theorem [\textit{W. Feit} and \textit{J. G. Thompson}, Pac. J. Math. 13, 775--1029 (1963; Zbl 0124.26402)] this bound holds for all Galois fields of odd degree.