On a zeta function associated to a quadratic order (Q2301578)

Let \(K\) be a quadratic field with the ring \(\mathcal{O}_K\) of integers, and let \(I_K\) be the multiplicative group of integral \(\mathcal{O}_K\)-ideals. Assume that \(K\) contains no units of negative norm. For an integer \(N\in\mathbb{N}\), let \(\mathcal{O}_K(N):=\mathbb{Z}+N\mathcal{O}_K\) be the order of conductor \(N\) in \(K\). Let \(I(\mathcal{O}_K(N), N)\) (resp. \(P(\mathcal{O}_K(N), N)\)) denote the group generated by integral \(\mathcal{O}_K(N)\)-ideals with norm prime to \(N\) (resp. principal \(\mathcal{O}_K(N)\)-ideals \(\alpha\mathcal{O}_K(N)\) with norm \(N(\alpha)\) prime to \(N\)), and let \(I(\mathcal{O}_K(N),N)/P(\mathcal{O}_K(N),N)\) be the ring class group of conductor \(N\). For a wide ideal class \([\mathfrak{a}]\), define the Dedekind type zeta function \(\zeta_{\mathcal{O}_K(N)}(s;[\mathfrak{a}])\) by \[\zeta_{\mathcal{O}_K(N)}(s;[\mathfrak{a}]):=\sum_{\mathfrak{b}\in [\mathfrak{a}]} N(\mathfrak{b})^{-s}.\] The main result of this paper is to obtain the Kronecker type limit formula for \(\zeta_{\mathcal{O}_K(N)}(s;[\mathfrak{a}])\), for \(K\) both imaginary and real. As consequences, among other things, a Chowla-Selberg type formula for modular forms for \(\Gamma_0(N)\) is obtained, and an asymptotic formula for the average value of the number of representations by a primitive definite quadratic form of discriminant \(N^2d\) with \(d\) fundamental is obtained. As an application, a formula is obtained for the Petersson norm of the theta function attached to a class character of the ideal class group of conductor \(N\) of \(\mathcal{O}_K\). The idea of proof is standard analytic number theory, and perhaps, some results of \textit{D. Zagier} [Math. Ann. 213, 153--184 (1975; Zbl 0283.12004)].