So, it turns out there’s another way to prove the second inequality, due to Chevalley in 1940. It’s purely arithmetical, where “arithmetic” is allowed to include cohomology and ideles. But the point is that no analysis is used, which was apparently seen as good for presumably the same reasons that the standard proof of the prime number theorem is occasionally shunned. I’m not going into the proof so much for the sake of number-theory triumphalism but rather because I can do it more completely, and because the ideas will resurface when we prove the existence theorem. Anyhow, the proof is somewhat involved, and I am going to split it into steps. The goal, remember, is to prove that if is a finite abelian extension of degree
, then
Here is an outline of the proof:
1. Technical abstract nonsense: Reduce to the case of cyclic of a prime degree
and
containing the
-th roots of unity
2. Explicitly construct a group and prove that
3. Compute the index . The whole proof is too long for one blog post, so I will do step 1 (as well as some preliminary index computations—yes, these are quite fun—today).
1. Some index computations
We are going to need to know what the index looks like for a local field
; this is finite, because (by Hensel’s lemma) anything close enough to 1 is an
-th power. Suppose the
-th roots of unity are in
. To do this, we shall use the magical device called the Herbrand quotient. We have an action of the cyclic group
on
, where each element acts as the identity. Then
in a noncanonical manner (depending on a uniformizing parameter), so we have (the denominator in the first term is
because
contains the
-th roots of unity)
Now has a subgroup of finite index which is isomorphic to the ring of integers
by the exponential map. (Cf. the computations of the local norm index.) So we have that the index in question,
is computed as
. But this last Herbrand quotient is easy to compute directly. The denominator in the Herbrand quotient is 1 because we are in characteristic zero. The numerator is
with respect to the absolute value on
(assuming it is suitably normalized, of course). So we find
Next, we need to do the same thing for the units . In this case we find
The reason there is no is that when computing
, we had a decomposition
, while here there is no additional
.
2. Reduction to the cyclic case
The case of a cyclic extension (of number fields) of prime degree
where the
-th roots of unity are in the ground field is much nicer, because it means that the extension is obtained by adjoining the
-th root of something in
. In general, it isn’t known how to generate the abelian extensions of a number field
(this is a Hilbert problem, number 12), though it can be done in certain cases (e.g.
, where every abelian extension is contained in a cyclotomic extension—this is the famous Kronecker-Weber theorem that will be a corollary of class field theory).
So, let’s first formally state the theorem:
Theorem 1 (The second inequality) Let be a finite abelian extension of degree
with Galois group
. Then
.
The second inequality is also true for non-Galois extensions. We will later see what the norm index actually means for non-abelian extensions. This more general result can also be reduced to the cyclic prime order case, but we shall not do so (since it requires a few facts about group cohomology that I haven’t covered). For a cyclic extension, this together with the first inequality implies that the global norm index is precisely the degree of the field extension—which hints closely at the reciprocity law (for which there is still much more work, however).
2.1. Dévissage
We will prove this weaker result by dévissage: i.e., an unscrewing technique.
So, here is the key lemma.
Lemma 2 (Dévissage) Suppose the result is true for and
, where
is abelian. Then it is true for
.
This is a straightforward multiplicativity computation:
In the product, the first term is bounded by by assumption. I claim that the second is bounded by
. Indeed, it is
by a general (and easy) inequality for
subgroups of an abelian group
. This last term is bounded by
since and by assumption the inequality is true for
.
Well, now any finite abelian group has a filtration whose quotients are cyclic of degree
. By the Galois correspondence between subgroups and subfields, it now follows that if we prove the second inequality for extensions
of prime degree
, then it is true in general.
2.2. Roots of unity
We need to make one more extension: that the -th roots of unity are in
. This we do next.
So consider a cyclic extension of degree
. Let
be an
-th root of unity, and consider
, and the extensions
,
. Because
must have order prime to
(indeed, at most
), it follows that
. In particular
is cyclic.
Now the extension is precisely in the form we want: cyclic of prime order
, with the
-th roots of unity in the ground field.
So:
Lemma 3 If the second inequality is true for it is true for
.
First off, it is easy to see that is an
-torsion group, because any
-th power is a norm. It is also finite; this is true because the Herbrand quotient
is defined (and has been computed!). So the order is a power of
.
We will now prove that the order of the norm idele class group of is at most that of
by exhibiting it as a factor group.
To abbreviate, I will change notation slightly, and write for
. There are maps:
Here the first one is the inclusion, and it sends to
because
in the natural way (restriction to
), and the second is the norm map on the ideles. The composition is raising to the power
, so it is surjective. As a result, the norm map
is surjective; since the former group has order at most
(since the second inequality is assumed true for it), then so does the latter.
The lemma is now proved. And we are now in the following situation. We need to prove the second inequality of a cyclic extensio of prime degree, where the roots of unity are contained in the ground field. Then, we will have proved (by the above reasoning) the second inequality in general. We will finish this in the next post.
June 5, 2010 at 6:57 pm
[…] norm index, second inequality by Akhil Mathew We continue (and finish) the proof started in the previous post of the second […]