5
$\begingroup$

$\newcommand{\Gal}{\mathrm{Gal}} \newcommand{\Q}{\mathbf Q}$

Consider the set of all Galois extensions $E/\Q(\zeta_n)$ of a given cyclotomic field $\Q(\zeta_n)$ such that $$ \Gal(E/\Q) \simeq\Gal(E/\Q(\zeta_n)) \rtimes \Gal(\Q(\zeta_n)/\Q). $$
In other words, such that there is a homomorphism $$ \Gal(E/\Q) \leftarrow \Gal(\Q(\zeta_n)/\Q) $$ inverting the natural quotient map $$ \Gal(E/\Q) \to \frac{\Gal(E/\Q) }{\Gal(E/\Q(\zeta_n))}\simeq \Gal(\Q(\zeta_n)/\Q). $$

Are they classified? Is there a "largest" one? What can be said about them (or about their cohomology) in general? Are there any prominent examples of such extensions arising "in nature"?

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ If n is 1 (or 2) then classifying such extensions means classifying all Galois extensions of Q. If n is 3 or 4 (or 6) then every Galois extension of Q containing the nth cyclotomic field is split by complex conjugation. $\endgroup$
    – Tom Goodwillie
    Commented Nov 25, 2010 at 4:47
  • $\begingroup$ Tom, this is a good point. So I guess this means that if E is such an extension and if s generates (Z/p), then s^{(p-1}/2} needs to map to complex conjugation in E. These sort of facts are what I was after. $\endgroup$
    – Jon Yard
    Commented Nov 25, 2010 at 6:12
  • $\begingroup$ Let $K/k$ be a finite Galois extension of number fields, and let $K'$ be the Hilbert class field of $K$. Let $e$ be the lcm of the local ramification indices for $K/k$. Wyman proves that if $e=[K\colon k]$ then the group extension $$1\rightarrow\text{Gal}(K'/K)\rightarrow\text{Gal}(K'/k)\rightarrow\text{Gal}(K/k)\rightarrow 1$$ splits. In particular, this sequence splits if $k={\bf Q}$ and $K/{\bf Q}$ is cyclic. On the other hand, he shows by a counterexample that a Galois non-cyclic extension of ${\bf Q}$ need not lead to a split extension, contrary to an assertion of C. S. Herz. (MR0337916 $\endgroup$
    – Chandan Singh Dalawat
    Commented Dec 12, 2010 at 5:23

2 Answers 2

Reset to default
12
$\begingroup$

$\newcommand{\Gal}{\mathrm{Gal}} \newcommand{\Q}{\mathbf Q} \newcommand{\Z}{\mathbf Z} \newcommand{\F}{\mathbf F}$

Abbreviate $K=\Q(\zeta_n)$. Note first that a galoisian extension $E$ of $K$ need not be galoisian over $\Q$, so I'm assuming that you are considering only those $E$ which are. We then have an exact sequenece $$ 1\to\Gal(E|K)\to\Gal(E|\Q)\to\Gal(K|\Q)\to1 $$ in which the last group is $(\Z/n\Z)^\times$, of order $\varphi(n)$. A sufficient condition for the sequence to split is : the degree $[E:K]$ is prime to $\varphi(n)$ (Schur-Zassenhaus). I don't think there is a classification of all such extensions.

Note finally that this answer does not depend on the fact that $K$ is the cyclotomic field of level $n$, or even the fact that the base field is $\Q$. It applies to any galoisian tower $E|K|F$: the associated short exact sequence $$ 1\to\Gal(E|K)\to\Gal(E|F)\to\Gal(K|F)\to1 $$ splits if the degrees $[E:K]$, $[K:F]$ are mutually prime.

Addendum (at Alex Bartel's suggestion): Let's return to the case $F=\Q$, $K=\Q(\zeta_n)$, $\Delta=\Gal(K|\Q)$, and suppose that $n$ is a prime $p$, for simplicity. Kummer theory tells us that abelian extensions $E|K$ of exponent dividing $p$ correspond bijectively to subgroups $D\subset K^\times/K^{\times p}$ under $E=K(\root p\of D)$; such an $E$ is galoisian over $\Q$ if and only if the subgroup $D$ is $\Delta$-stable. When such is the case, we get examples of the kind of extensions envisaged in the question, with "split Galois group". I guess the group $\Gal(E|\Q)$ will be commutative if and only if the $\Delta$-action on the $\F_p$-space $D$ is via the "mod $p$" cyclotomic character, namely the canonical isomorphism $\Delta\to\F_p^\times$.

Improve this answer
$\endgroup$
2
  • 1
    $\begingroup$ Since the poster asked about prominent examples arising in nature, it might be worth mentioning Kummer extensions. They are covered by your criterion, but maybe they are sufficiently prominent to receive an extra mention. $\endgroup$
    – Alex B.
    Commented Nov 25, 2010 at 5:28
  • $\begingroup$ Alex, good point about Kummer extensions, and thanks for expanding on this Chandan. $\endgroup$
    – Jon Yard
    Commented Nov 25, 2010 at 8:45
5
$\begingroup$

The splitting of the Galois group of Hilbert class fields of an extension field is discussed in the following articles

  • B. Wyman, Hilbert class fields and group extensions, Scripta math. 29 (1973), 141–149
  • R. Gold, Hilbert class fields and split extensions, Ill. J. Math. 21 (1977), 66–69
  • R. Bond, On the splitting of the Hilbert class field, J. Number Theory 42 (1992), 349–360
Improve this answer
$\endgroup$
3
  • $\begingroup$ The basic tool for understanding this problem is the theorem of Weil-Shafarevich, which gives the cohomological invariant describing the group extension. A good source for this result are the notes by Artin-Tate. $\endgroup$
    – Franz Lemmermeyer
    Commented Nov 26, 2010 at 12:21
  • $\begingroup$ Check this thread, it is amusing and you are involved: $$ $$ tea.mathoverflow.net/discussion/802/a-reputation-table-bug $$ $$ $\endgroup$
    – Will Jagy
    Commented Dec 1, 2010 at 19:48
  • $\begingroup$ Thanks Franz. After hours of searching, I cannot find the Wyman article (or really much at all from Scripta mathematica) online. Does anyone know where to find an electronic copy? $\endgroup$
    – Jon Yard
    Commented Dec 4, 2010 at 19:30

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .