It is now time to begin the final descent towards the Artin reciprocity law, which states that for an abelian extension , there is an isomorphism

We will actually prove the Artin reciprocity law in the idealic form, because we have only defined the Artin map on idelas. In particular, we will show that if is a suitable cycle in , then the Artin map induces an isomorphism

The proof is a bit strange; as some have said, the theorems of class field theory are true because they could not be otherwise. In fact, the approach I will take (which follows Lang’s Algebraic Number Theory, in turn following Emil Artin himself).

So, first of all, we know that there is a map via the Artin symbol, and we know that it vanishes on . It is also necessarily surjective (a consequence of the first inequality). We don’t know that it factors through , however.

Once we prove that (for a suitable ) is in the kernel, then we see that the Artin map actually factors through this norm class group. By the second inequality, the norm class group has order at most that of , which implies that the map must be an isomorphism, since it is surjective.

In particular, we will prove that there is a conductor for the Artin symbol. If is sufficieintly close to 1 at a large set of primes, then the ideal has trivial Artin symbol. This is what we need to prove.

Our strategy will be as follows. We will first analyze the situation for cyclotomic fields, which is much simpler. Then we will use some number theory to reduce the general abelian case to the cyclotomic case (in a kind of similar manner as we reduced the second inequality to the Kummer case). Putting all this together will lead to the reciprocity law.

**Cyclotomic extensions**

Today, we will begin by analyzing what goes on in the cyclotomic case. By the “functoriality” of the Artin map, we can start by looking at and analyzing the Artin map (for which, as we shall see, there is an explicit expression)

It is known that the only primes ramified in thi sextension are the primes dividing . I shall not give the proof here; the interested reader can refer for instance to Washington’s Introduction to Cyclotomic Fields. The proof is not very difficult. In addition, I shall use the fact that the Galois group is the multiplicative group , where the residue class of induces the automorphism .

So let . I claim that the Frobenius element is just the automorphism . Indeed, it is the “raise to the -th power” automorphism on the residue field, so . In addition, is an -th root of unity. But I claim that the primitive -th roots of unity are distinct modulo any prime of the ring of integers in prolonging ; indeed,

so no -th root of unity (other than 1 itself) is congruent to 1 modulo a prime extending . It follows that if is a rational integer prime to , then corresponds to .

In particular, if is a rational number with no prime dividing in the numerator or denominator, and , then . So there exists a conductor in the case of , and the reciprocity law is true in this case.

More generally,

**Theorem 1** The reciprocity law is true for an extension if is contained in a cyclotomic extension of .

By the consistency property, if there exists a conductor for the Artin symbol for a superextension of , then that conductor works for too. So it is enough to show that there is a conductor for the Artin symbol in the case of .

Now if is close to 1 at all primes of dividing and totally positive at the real places, then is positive and close to 1 at the primes dividing . So

We will next discuss a lemma of Artin which allows the general case to be reduced to the cyclotomic case.

June 6, 2010 at 2:41 pm

[…] reciprocity law in general is to reduce it to the cyclotomic case (which has already been handled, cf. this). To carry out this reduction, start with a number field and a cyclic extension . We will prove […]

June 22, 2010 at 10:38 am

[…] a little while, so new readers (if they don’t already know this material) may want to review the strategy of the proof and the meaning of the Artin lemma (which is useful in reducing this to the cyclotomic […]