The normal density of prime ideals in small regions (Q1383737): Difference between revisions

Let \(K\) be an algebraic number field of degree \(n\), \(\mathbf f\) a fixed integral ideal of \(K\), \(I_{\mathbf f}\) the group of fractional ideals prime to \(\mathbf f\) and \(X\) a fixed narrow ideal class \(\bmod\;\mathbf f\). Let \(\lambda_j\) (\(j=1,2,\dots,n-1\)) form the basis of the torsion-free Hecke characters of \(I_{\mathbf f}\) and define the functions \(\psi_j\) by \(\lambda_j(I)=\exp(2\pi i\psi_j(I))\). Finally denote by \(T\) the unit circle and for fixed \(0\leq\varepsilon\leq 1/2\) and \(\psi_0=(\psi_{01},\dots)\in T^{n-1}\) consider the set \(S(x,\psi_0,\varepsilon)\) formed by all ideals \(I\in I_{\mathbf f}\) for which \(| N(I)-x| <\varepsilon x\) and \(| \psi_j(I)-\psi_{0j}| <\varepsilon\) holds for \(j=1,2,\dots,n\). Assuming the extended Riemann hypothesis (ERH) for Hecke's \(L\)-functions, the author obtains (Theorem 5) a mean value theorem for the sum \(\sum_{\mathbf p}\log N(\mathbf p)\), \(\mathbf p\) running over ideals from \(X\cap S(x,\psi_0,\varepsilon)\). This result is then used to show that the cardinality of \(X\cap S(x,\psi_0,L(x))\) is asymptotically equal to \((2L(x))^nx/h(\mathbf f)\) (\(h(\mathbf f)\) being the narrow class-number \(\bmod\;\mathbf f\)) for almost all pairs \((x,\psi_0)\) and \(L(x)\) decreasing to zero and satisfying certain additional conditions. As a corollary the following analogue of a classical result of \textit{A. Selberg} [Arch. Math. Naturvid. B 47, 87-105 (1943; Zbl 0063.06869)] is obtained: Assume ERH for Hecke's \(L\) functions in the field \(\mathbb{Q}(i)\) and for a Gaussian prime \(\omega\) denote by \(\rho(\omega)\) the minimal distance between \(\omega\) and the closest Gaussian prime \(\omega'\) of larger norm. Then \(\sum_{N(\omega)\leq x}\rho^4(\omega)/N(\omega)=O(\log^3x)\).