Let $x\in\{\text{totally ramified, inert, totally split}\}.$

If $p\geq 5$ is a prime, are there infinitely many imaginary quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ of class number coprime to $p$ so that $p$ has ramification behaviour $x$ in $K/\mathbb{Q}$?

  • 2
    $\begingroup$ Should be "yes" for all three cases, but I cannot find an argument for the "class number prime to $p$" condition. $\endgroup$
    – WhatsUp
    Aug 1 '16 at 11:22
  • 3
    $\begingroup$ Is it known that there are infinitely many imaginary quadratic fields with class number coprime to, say, 17? $\endgroup$ Aug 1 '16 at 13:36

A more general version of this statement was shown by Kimura in Acta Arith. (2003). His corollary gives $\gg \sqrt{X}/\log X$ such fields ${\Bbb Q}(\sqrt{-d})$ with $d\le X$, and also allows you to add further splitting conditions. There is an extensive literature on divisibility and indivisibility of class numbers and Kimura's paper has many other relevant references.

Update There is also an erratum to Kimura's paper -- it seems that he needs the existence of one such field to get a lower bound for the number of such fields; for large $p$ this is guaranteed by work of Horie. In the meantime a paper of Wiles has addressed the general version of this question, and there is a quantification of Wiles's result due to Beckwith.

  • $\begingroup$ That is an amazing result indeed! Thank you. $\endgroup$ Aug 1 '16 at 16:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.