Explicit upper bounds on the average of Euler-Kronecker constants of narrow ray class fields (Q6054737)

Let \({\mathbb K}\) be a number field with Dedekind zeta function \[ \zeta_{\mathbb K}(s)=\sum_{{\substack{{a}\subset {\mathcal O}_{\mathbb K}\\ {a}\ne (0)}}}\frac{1}{N_{{\mathbb K}/{\mathbb Q}}({a})^s},\qquad {\text{Re}}(s)>1. \] There is a Laurent expansion of \(\zeta_{\mathbb K}\) around \(s=1\) given by \[ \zeta_{\mathbb K}(s)=\frac{\rho_{\mathbb K}}{s-1}+c_{\mathbb K}+O(s-1). \] Put \[ \gamma_{\mathbb K}:=\frac{c_{\mathbb K}}{\rho_{\mathbb K}}. \] The parameter \(\gamma_{\mathbb K}\) is called the Euler-Kronecker constant of \({\mathbb K}\) and has been studied in numerous recent papers, both for general number fields as well as for cyclotomic fields. The main result of this paper is the following theorem. Let \({\mathbb K}\) be an imaginary quadratic field with class number \(h_{\mathbb K}\). For a principal prime ideal \({q}\) of \({\mathcal O}_{\mathbb K}\), let \({\mathbb K}({q})\) be the narrow ray class field modulo \({q}\). Then, assuming GRH for the Dedekind zeta functions of \({\mathbb K}({q})\) for all non-zero principal prime ideals \({ q}\), the authors show that if \(Q\ge 8\exp\left(8\times 10^{45} |d_{\mathbb K}|\right)\) (where \(d_{\mathbb K}\) is the discriminant of \({\mathbb K}\)), one has \[ \frac{1}{\pi^*(Q)}\sum_{1/2Q<N_{{\mathbb K}/{\mathbb Q}({q})}<Q}'|\gamma_{{\mathbb K}({q})}|<|\gamma_{\mathbb K}|+(6000h_{\mathbb K}^2+10^{17} h_{\mathbb K}+11)\log Q, \] where \('\) indicates that the sum is over principal prime ideals of \({\mathcal O}_{\mathbb K}\) and \(\pi^*(Q)\) denotes the number of principal prime ideals of \({\mathbb K}\) whose norm is in \((Q/2,Q]\). The proof uses the Selberg sieve and a recent result of \textit{S. R. Garcia} and \textit{E. S. Lee} [Ramanujan J. 57, No. 3, 1169--1191 (2022; Zbl 1497.11278)].