On the error term and zeros of the Dedekind zeta function (Q784268): Difference between revisions

For an algebraic number field \(K\) of degree \(n\ge10\) let \(\zeta_K(s)\) be its Dedekind zeta-function and denote by \(A_K(x)\) the number of ideals with norms \(\le x\). The authors show (Theorem 1) that for every \(\varepsilon>0\) one has \[ A_K(x) = c_Kx + O\left(x^{a_n+\varepsilon}\right)\tag{1} \] with \(c_K>0\) and \(a_n = 1-3/(n+6)\). The proof is surprisingly simple. It consists of an application of Cauchy's theorem utilizing the bound \[\zeta_K(1/2+it) = O\left(t^{n/6+\varepsilon}\right)\] due to \textit{R. M. Kaufman} [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 91, 40--51 (1979; Zbl 0451.12007)] and \textit{D. R. Heath-Brown} [Acta Arith. 49, No. 4, 323--339 (1988; Zbl 0583.12011)]. The same result has been obtained earlier by \textit{H. Lao} [Chin. Ann. Math., Ser. B 31, No. 3, 385--392 (2010; Zbl 1221.11223)] with essentially the same proof. In the case when \(K\) is a cyclotomic of degree \(n\ge8\) the authors prove (1) with \(a_n=1-3/(n+5)\) (Theorem 4). Theorem 6 gives an upper bound for the integral \[\int_0^1|E(y,C)|^2\,dy,\] where \(E(y,C)\) is the error term in the asymptotic formula for the number of ideals \(I\) with \(N(I)\le x\) in the ideal class \(C\). This result is slightly weaker than the classical bound given by \textit{K. Chandrasekharan} and \textit{R. Narasimhan} [Acta Math. 112, 41--67 (1964; Zbl 0128.26302)]. In Theorem 8 the authors consider the number \(N_K(\sigma,T)\) of zeros \(\beta+i\gamma\) of \(\zeta_K(s\)) with \(\beta\ge\sigma, |\gamma|\le t\) and show that the bound \(\zeta(1/2+it)\ll |t|^\mu\) implies \[N(\sigma,T)\ll T^{2(1+2\mu)(1-\sigma)}\log^{c(K)}(T).\] Taking any \(\mu>n/6\) one gets an improvement of the bound given by \textit{D. R. Heath-Brown} [Acta Arith. 33, 169--181 (1977; Zbl 0325.12003)].