Mean square values of L-functions over subgroups for non primitive characters, Dedekind sums and bounds on relative class numbers
Abstract
An explicit formula for the mean value of |L(1, χ)| 2 is known, where χ runs over all odd primitive Dirichlet characters of prime conductors p. Bounds on the relative class number of the cyclotomic field Q(ζ p) follow. Lately the authors obtained that the mean value of |L(1, χ)| 2 is asymptotic to π 2 /6, where χ runs over all odd primitive Dirichlet characters of prime conductors p ≡ 1 (mod 2d) which are trivial on a subgroup H of odd order d of the multiplicative group (Z/pZ) * , provided that d log p log log p. Bounds on the relative class number of the subfield of degree p−1 2d of the cyclotomic field Q(ζ p) follow. Here, for a given integer d 0 > 1 we consider the same questions for the nonprimitive odd Dirichlet characters χ modulo d 0 p induced by the odd primitive characters χ modulo p. We obtain new estimates for Dedekind sums and deduce that the mean value of |L(1, χ)| 2 is asymptotic to π 2 6 q|d0 1 − 1 q 2 , where χ runs over all odd primitive Dirichlet characters of prime conductors p which are trivial on a subgroup H of odd order d log p log log p. As a consequence we improve the previous bounds on the relative class number of the subfield of degree p−1 2d of the cyclotomic field Q(ζ p). Moreover, we give a method to obtain explicit formulas and use Mersenne primes to show that our restriction on d is essentially sharp.
Origin | Files produced by the author(s) |
---|