On the lowest zero of the Dedekind zeta function (Q6961956)

For a number field \(K\), denote by \(n_K\) the degree \([K : \mathbb{Q}]\) and by \(d_K\) the discriminant \(\mathrm{disc}(K/\mathbb{Q})\). Let \(\alpha_K\) be the log root discriminant of \(K\) defined by \N\[\N\alpha_K=\frac{\log |d_K|}{n_K}. \N\]\NIn an earlier work, the reviewer [Acta Arith. 95, No. 1, 61--65 (2000; Zbl 0962.11036)] proved that under the generalized Riemann hypothesis (GRH) the height of the first nontrivial zero of the Dedekind zeta function \(\zeta_K\) defined by \(\tau_K:=\min\{t > 0: \zeta_K(1/2 + it) = 0\}\) satisfies \N\[\N\tau_K\ll_{n_K}\frac{1}{\log \log |d_K|}.\N\]\NThis paper under review gives an effective upper bound for the height of the first nontrivial zero other than \(1/2\) of \(\zeta_K(s)\) assuming GRH, \(\alpha_K > 6.6958\) and \(\zeta_K(1/2)\neq 0\): \N\[\N\tau_K\leq \frac{\pi}{\sqrt{2}\log \left(\frac{\alpha_K-1.2874}{5.4084}\right)} \N\]\Nor \N\[\N\tau_K\geq \tau_0=\tau_\mathbb{Q}=14.1347\ldots \N\]\NA weaker bound is provided for \(\tau_K\) in the case of \(\alpha_K > 12.1048\) and \(\zeta_K(1/2) = 0\).