Second moment of Dirichlet $L$-functions, character sums over subgroups and upper bounds on relative class numbers

TL;DR

This paper establishes an asymptotic formula for the mean-square of certain $L$-functions related to subgroups of characters, introduces new bounds on character sums, and applies these results to bound relative class numbers of specific imaginary number fields.

Contribution

It provides a new asymptotic formula for character sum averages and removes previous restrictions on divisor size, answering a question from Elma's work.

Findings

Asymptotic formula for mean-square of $L$-functions over subgroups

New bounds on character sums ${ m f A}(p,d)$ for all divisors $d$ of $p-1$

Bound on relative class numbers $h_{p,d}^-$ of imaginary number fields

Abstract

We prove an asymptotic formula for the mean-square average of $L$- functions associated to subgroups of characters of sufficiently large size. Our proof relies on the study of certain character sums ${\cal A}(p,d)$ recently introduced by E. Elma. We obtain an asymptotic formula for ${\cal A}(p,d)$ which holds true for any divisor $d$ of $p-1$ removing previous restrictions on the size of $d$. This anwers a question raised in Elma's paper. Our proof relies both on estimates on the frequency of large character sums and techniques from the theory of uniform distribution. As an application we deduce the following bound $h_{p,d}^- \leq 2\left (\frac{(1+o(1))p}{24}\right )^{m/4}$ on the relative class numbers of the imaginary number fields of conductor $p\equiv 1\mod d$ and degree $m=(p-1)/d$.