## class groups of unramified cyclic p-extensions of imaginary quadratic fields

Let K be an imaginary quadratic number field with p-Sylow-class group A(K) and L/K be an unramified cyclic extension of K of degree p (p prime). Then I am looking for heuristics on

            Ker(N_{L/K}:A(L)\rightarrow A(K)), where


$N_{L/K}$ is the usual norm map on ideal classes. Numerical data suggest that:

$|KerN_{L/K}|\le p^2$ with high probability. But that is rather unprecise. Are there any more satisfactory known results ?

There is a result by Wittmann who gives some heuristics for cyclic p-extensions of $\mathbb{Q}$ and I wonder if one can possibly generalize his ideas to the above scenario.

-
I would expect similar results to hold for cyclic extensions of number fields with trivial p-class group. Have you tried to generalize Wittmann's results to such fields? If yes, where does the proof break down? – Franz Lemmermeyer Aug 18 2011 at 13:46
Wittmann has shown that his results also hold for cyclic p-extensions of imaginary quadratic fields with trivial p-class group. But I am interested in unramified cyclic p-extensions, which don't exist in that case. – Tobias Bembom Aug 19 2011 at 11:52
If you take a complex quadratic field with large $p$-rank and unramified p-extensions, Golod-Shafarevich-type arguments will tell you that the relative class number tends to have large p-rank not only with high probability, but always. – Franz Lemmermeyer Aug 19 2011 at 20:00

The forthcoming paper "Heuristics for p-class towers of imaginary quadratic fields," by Nigel Boston, Michael Bush, and Farshid Hajir, will answer your question. In fact, given any finite p-group G, it provides a heuristic for the question "What is the probability that the maximal everywhere-unramified p-extension of K has Galois group isomorphic to G?"

They don't seem to have posted a paper yet, so I'm hesitant to say more about the result without asking their permission, but I'm sure one of them will be happy to send you the preprint or at least tell you what the heuristic is.

-

Thank you very much for your comment. I also read your paper on class field towers of 2010. It was very interesting and helpful.

-
 Hi Tobias, you probably had trouble commenting because you appear to have two different accounts. If you'd like to merge them into one account, post here: meta.mathoverflow.net/discussion/605/… – Cam McLeman Sep 2 2011 at 17:49