Asymptotic second moment of Dirichlet $L$-functions along a thin coset

Abstract: We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $\nu_p(d) \geq \nu_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem. We also obtain an asymptotic result for smaller $d$, with $\nu_p(q)/3 \leq \nu_p(d) \leq \nu_p(q)/2$, with a power-saving error term for $d$ larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly $d$, which is only slightly smaller than the diagonal main term.