Welcome to MathOverflow

Question

2

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.

flag	asked Aug 17 2011 at 12:00 Tobias Bembom 21●1

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

1

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

JSE · Answer 1 · 2011-09-16 17:26:46Z UTC

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.

Tobias Bembom · Answer 2 · 2011-09-02 14:21:50Z UTC

0

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

answered Sep 2 2011 at 14:21

Tobias Bembom
53●3

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

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

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.