## What is the Hilbert class field of a cyclotomic field?

In the answers to Qiaochu's post on defining representations of finite groups over the algebraic integers, it came out that which fields a representation of a finite group is defined over might depend on whether you require your representation to be free or just projective. If your representation V is defined over a number field K, it contains a projective submodule V' for the integers O of K such that V'\otimes_O K=V, but it's not at all clear if this can be chosen to be free.

Luckily, there is a very nice theory of algebraic number theory that says that any projective module over the ring of integers of a number field becomes free when you extend scalars to the Hilbert class field. So, since all representations of finite groups are defined over cyclotomic fields (in fact, you just need the roots of unity for the orders of elements in G), every representation has as an integral basis in the Hilbert class field of a cyclotomic field. Which is.....?

Edit: while the class numbers are interesting that's not the question I asked. I want to actually what the Hilbert class field is, or something about it. For example, is it cyclotomic (seems unlikely, but cyclotomic fields are nice...)?

-
 It's still not obvious to me (although I believe it) why all representations of finite groups are defined over cyclotomic fields. Could you sketch that argument? – Qiaochu Yuan Oct 18 2009 at 1:24 My recollection is it's not super easy. You can see the characters are in a cyclotomic extension by noting that all the eigenvalues of a matrix of finite order are roots of unity, but your representation doesn't have to be defined over the field gotten by adjoining character values. – Ben Webster♦ Oct 18 2009 at 1:51 I believe this is a consequence of Brauer's theorem: this is true for 1-dimensional representations, and every representation's character is an integral linear combination of characters of 1-dimensional representations (by Brauer's theorem and the theorem on representations of supersolvable groups). – Akhil Mathew Oct 18 2009 at 2:14 Akhil- This isn't something you can prove just studying the characters. You have to think about the representations themselves. – Ben Webster♦ Oct 18 2009 at 3:02 Ben- if a character of a representation V is an integral linear combination of characters of representations definable over a field k, then V is definable over k (Prop. 33 on p.91, Linear Representations of Finite Groups by Serre). This seems to be how Serre proves the result in question (p.94, Corollary). – Akhil Mathew Oct 18 2009 at 3:31

Giving an "explicit" description of the Hilbert class field of a number field K (or, more generally, all abelian extensions of K) is Hilbert's 12th problem, and has only been solved for Q and for imaginary quadratic fields. The Hilbert class field H of Q(zeta) will only be contained in a cyclotomic field if H = Q(zeta) itself --- since one can explicitly compute that any abelian extension of Q properly containing Q(zeta) is ramified at some place.

-

They can get arbitrarily large. You can write down formulas in certain cases; this a main theorem of Iwasawa theory. See also the notion of a regular prime.

-

It follows from class field theory that for any number field K, there is an isomorphism between the class group of K and the Galois group Gal(H/K), where H is the Hilbert class field of K. In particular, the degree of H over K is the class number of K. As David points out, class numbers of cyclotomic fields are complicated, and closely related to classical Iwasawa theory, see for example the book of Washington on cyclotomic fields.

Example: If you take K = Q(zeta) where zeta is a p-th root of unity, p an odd prime, then the class number of K tends to grow with p. In particular, the class number is one iff p < 20.

One the other hand, if you fix p, and study the fields K_n obtained by adjoining a p^n-th root of unity to Q, then I believe that the exponent of p in the class number is independent of n (at least for n large enough), and the exponent of any other prime is bounded as n goes to infinity. Maybe one can say something more precise about these exponents.

-

". . .if you fix p, and study the fields K_n obtained by adjoining a p^n-th root of unity to Q, then I believe that the exponent of p in the class number is independent of n (at least for n large enough). . ."

The correct (but still vague) statement here would be, not that the p part of the class numbers are independent of n for large n, but that the growth of the class numbers can be described very explicitly in terms of n. Roughly speaking: the p-part of the class number of K_n has exponent mp^n+ln+v for some integers m, l, v.

-

Since the Hilbert class field is defined to be the maximal unramified extension of a number field, I think it should be easy to see that the Hilbert class field of a given cyclotomic field is not cyclotomic unless the class number of the base field is 1/

Ken Ribet has a paper on a related matter

Ribet, Kenneth A. A modular construction of unramified p-extensions of Q(ยต_p). Invent. Math. 34 (1976), no. 3, 151--162.

http://math.berkeley.edu/~ribet/Articles/invent_34.pdf

-