Abstract:An explicit formula for the mean value of $\vert L(1,\chi)\vert^2$ is known, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p$. Bounds on the relative class number of the cyclotomic field ${\mathbb Q}(\zeta_p)$ follow. Lately the authors obtained that the mean value of $\vert L(1,\chi)\vert^2$ is asymptotic to $\pi^2/6$, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p\equiv 1\pmod{2d}$ which are trivial on a subgroup $H$ of odd order $d$ of the multiplicative group $({\mathbb Z}/p{\mathbb Z})^*$, provided that $d\ll\frac{\log p}{\log\log p}$. Bounds on the relative class number of the subfield of degree $\frac{p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta_p)$ follow. Here, for a given integer $d_0>1$ we consider the same questions for the non-primitive odd Dirichlet characters $\chi'$ modulo $d_0p$ induced by the odd primitive characters $\chi$ modulo $p$. We obtain new estimates for Dedekind sums and deduce that the mean value of $\vert L(1,\chi')\vert^2$ is asymptotic to $\frac{\pi^2}{6}\prod_{q\mid d_0}\left (1-\frac{1}{q^2}\right )$, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p$ which are trivial on a subgroup $H$ of odd order $d\ll\frac{\log p}{\log\log p}$. As a consequence we improve the previous bounds on the relative class number of the subfield of degree $\frac{p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta_p)$. Moreover, we give a method to obtain explicit formulas and use Mersenne primes to show that our restriction on $d$ is essentially sharp.

The symbol length for elementary type pro-$p$ groups and Massey products

Classes in $\mathrm H_{p^m}^{n+1}(F)$ of lower exponent

Symbol length in positive characteristic

Digraphs, pro-$p$ groups and Massey products in Galois cohomology

Rédei symbols and arithmetical mild pro-2-groups

Chain Lemma, Quadratic Forms and Symbol Length

On the Exponent Conjectures

Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids

The Multiplier Conjecture for Elementary Abelian Groups

Extension of Elementary $P$-Groups and Its Application in Classification of Groups of Prime Exponent

Legendre Symbol of $\prod f(i,j) $ over $ 0<i<j<p/2, \ p\nmid f(i,j) $

Symbology for elliptic multiple polylogarithms and the symbol prime

Chasing maximal pro-p Galois groups via 1-cyclotomicity

String C-groups of order $4p^m$

Computations with finite index subgroups of $PSL_2(\mathbb Z)$ using Farey Symbols

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Mean square values of $L$-functions over subgroups for non primitive characters, Dedekind sums and bounds on relative class numbers

On fine Mordell-Weil groups over $\mathbb{Z}_p$-extensions of an imaginary quadratic field

Euler characteristics of arithmetic groups

Galois representations modulo $p$ that do not lift modulo $p^2$