Second Moment Of Dirichlet L-Functions, Character Sums Over Subgroups And Upper Bounds On Relative Class Numbers

We prove an asymptotic formula for the mean-square average of L-functions associated with subgroups of characters of sufficiently large size. Our proof relies on the study of certain character sums ${\mathcal{A}}(p,d)$ recently introduced by E. Elma, where p ≥ 3 is prime and d ≥ 1 is any odd divisor of p − 1. We obtain an asymptotic formula for ${\mathcal{A}}(p,d),$ which holds true for any odd divisor d of p − 1, thus removing E. Elma's restrictions on the size of d. This answers a question raised in Elma's paper. Our proof relies on both estimates on the frequency of large character sums and techniques from the theory of uniform distribution. As an application, in the range $1\leq d\leq\frac{\log p}{3\log\log p}$, we obtain a significant improvement $h_{p,d}^- \leq 2(\frac{(1+o(1))p}{24})^{m/4}$ over the trivial bound $h_{p,d}^- \ll (\frac{dp}{24} )^{m/4}$ on the relative class numbers of the imaginary number fields of conductor $p\equiv 1\mod{2d}$ and degree $m=(p-1)/d$, where d ≥ 1 is odd.