Abstract:We evaluate asymptotically the smoothed first moment of central values of families of quadratic, cubic, quartic and sextic Hecke $L$-functions over various imaginary quadratic number fields of class number one, using the method of double Dirichlet series. In particular, we obtain asymptotic formulas for the quadratic families with error terms of size $O(X^{1/4+\varepsilon})$ under the generalized Riemann hypothesis.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to evaluate the asymptotic behavior of the first moment of the central values of Hecke L - function families with fixed - order characters over a specific imaginary quadratic number field. Specifically, the author studied the smooth first moment of these L - function families under the Generalized Riemann Hypothesis (GRH) and obtained an asymptotic formula with an error term.
### Main problem description
1. **Research objects**:
- Hecke L - functions over an imaginary quadratic number field \(K\).
- These L - functions are related to quadratic, cubic, quartic and sextic characters.
- The characters may not be primitive, which makes the treatment method more complicated.
2. **Goals**:
- Evaluate the first moment of the central values of these L - function families.
- Obtain the asymptotic formula and its error term.
- Under the Generalized Riemann Hypothesis (GRH), for quadratic characters, obtain an asymptotic formula with an error term of \(O(X^{1/4+\varepsilon})\).
3. **Methods**:
- Use the method of multiple Dirichlet series.
- Use Gauss sums and other analytic tools to deal with the case of non - primitive characters.
- For high - order characters, use the work of S. J. Patterson to prove that the Gauss sums related to high - order Hecke characters are small on average.
### Formula representation
- **Asymptotic formula** (Theorem 1.1):
\[
\frac{1}{2} \sum_{\chi \in C_K} \sum_{0 \neq n \in \mathcal{O}_K} L\left(\frac{1}{2}+\alpha, \chi\cdot\chi_2(n)\right)\Phi\left(\frac{N(n)}{X}\right)=X\hat{\Phi}(1)|U_K|r_K\frac{\zeta_K(1 + 2\alpha)}{\zeta_K(2+2\alpha)}\prod_{\varpi\mid B_K}\left(1+\frac{1}{N(\varpi)^{1+2\alpha}}\right)\left(1-\frac{1}{N(\varpi)^{2+2\alpha}}\right)^{-1}
\]
\[
+X^{1-\alpha}\hat{\Phi}(1-\alpha)\frac{|U_K|r_K}{2(2\pi\sqrt{|D_K|})^{2\alpha}}\frac{\Gamma(1 - 2\alpha)\Gamma(\alpha)}{\Gamma(1-\alpha)\Gamma(2\alpha)}\cdot\frac{\zeta_K(1-2\alpha)}{\zeta_K(2)}\prod_{\varpi\mid B_K}\left(1+\frac{1}{N(\varpi)}\right)^{-1}
\]
\[
+O\left((1 + |\alpha|)^{1+\varepsilon}|\alpha - 1/2|^{-1}X^{1/4-\Re(\alpha)+\varepsilon}\right).
\]
- **Asymptotic formula for the smoothed first moment** (Corollary 1.2):
\[
\frac{1}{2} \sum_{\chi \in C_K} \sum_{0 \neq n \in \mathcal{O}_K} L\left(\frac{1}{2}, \chi\cdot\chi_2(n)\right)\Phi\left(\frac{N(n)}{X}\right)=X