TANT 19 - Global class field theory

Hello there! These are notes for the nineteenth class of the course "Topics in algebra and number theory" held in Block 4 of the academic year 2017/18 at the University of Copenhagen.

In the last lecture we defined the ring of adèles AK, the group of idèles IK:=A×K and the idèle class group CK:=IK/K× of a global field K. We have moreover seen that we can construct a continuous group homomorphism IKGabK by gluing together all the local Artin maps. The biggest deal to complete the proof of the main theorem of global class field theory is then to show that this map is surjective and its kernel contains K×. Thus, this map induces a global Artin map θK:CKGabK which in turn induces an isomorphism ^CKGabK.

This isomorphism will give us a bijective correspondence between open subgroups of finite index in CK and finite abelian extensions of K. We have seen that we can make this correspondence explicit in local class field theory. Namely, if F is a local field we have that all the open subgroups of finite index of F× are of the form NL/F(L×), for some finite abelian extension FL. This gave us the explicit version of local Artin reciprocity thanks to the functoriality property that it satisfies.
We will see that something similar happens in global class field theory: for every finite extension KL we can define a norm NL/K on the idèle class group CK, and we will see that every open subgroup of finite index in CK is of the form NL/K(CL) for some finite abelian extension KL. This, combined with the functoriality property of the Artin map, will give us the explicit version of global class field theory.



The main statement of global class field theory

As we have defined the global Artin map θK by gluing together the local ones, it is natural to expect that the "norm map" NL/K:CLCK will also be defined by a similar gluing operation. And this is precisely what happens.

 Definition 1   Let KL be a finite extension of global fields. Then we define the norm map NL/K:ALAK by setting NL/K((aw)wΣL):=(wvNLw/Kv(aw))vΣK

Observe that this map is well defined. Namely since KvLw is a finite extension of complete fields, we have that ||w is equivalent to |NLw/Kv()|v for every xLw, and this implies that NLw/Kv(ALw)AKv. Here ||v and ||w are some absolute values associated to the places v and w respectively.

 Remark 2   We know that a place vΣK is an equivalence class of absolute values, and thus determines a topology on K. However, it is not immediately clear from what we already know how one can associate a canonical absolute value to this place. One way to do so is to observe that if K is a local field (i.e. a topological field whose topology is locally compact and not discrete) then in particular (K,+) is a locally compact abelian group. It turns out that one can canonically define a measure on the Borel σ-algebra B of every such a group. Recall that B is the sub-algebra of the power set P(K) generated by the open subsets of K, and that a measure on B is any function μ:BR0{+} such that μ()=0 and μ(+k=1Ek)=+k=1μ(Ek) for every collection of mutually disjoint subsets {Ek}B. If one asks that μ(x+S)=μ(S) for every xK, that μ(C)<+ for every compact subset CK and that μ is inner and outer regular then one gets a Haar measure on the locally compact abelian group (K,+). André Weil proved that such a measure exists on every locally compact abelian group (see this blog post by Terence Tao), and it is not tough to see that it is uniquely determined up to constant, i.e. if μ,μ are two Haar measures then μ(x)=αμ(x) for every xK and for some constant αR>0 which does not depend on x. Using this fact one can prove that for every local field K and every measurable set SB with μ(S)<+ the map ϕK:KR0 defined by ϕ(x):=μ(xS)/μ(S) is a well defined absolute value which does not depend on S. Hence for every global field F and every place vΣF we have a canonical absolute value ||v induced by the restriction of ϕFv to F. In particular if vΣK corresponds to a prime ideal pOF then we have that |x|v=(#OF/p)vp(x). Moreover if vΣF, then ||v coincides with the canonical absolute value if KvR and with the square of the canonical absolute value if KvC


The key property here is that the norm map defined above commutes with the field norm maps. Namely, if NL/K:LK is the canonical norm map and KAK is the diagonal inclusion then the diagram on the right commutes. This boils down to prove that for every xL we have that NL/K(x)=wvNLw/Kv(x) where we view xLw under the canonical inclusion LLw. To prove this we only need to observe that if vΣK is any place then we know from Theorem 4 of the twelfth lecture thatKvKLwvLw. Moreover if V1V2 is a map of finite dimensional vector spaces over a field F and W is another finite dimensional vector space, one can easily see that det(V1V2)=det(V1KWV2KW). These two facts imply the formula because NL/K(x):=det(LxL), and the map induced by LxL on KvKL is indeed wvLwxLw.
This observation implies in particular that we can define a norm map NL/K:CLCK by restricting the norm map NL/K:ALAK to a map NL/K:ILIK (which we can do because this norm is clearly multiplicative, and thus sends units to units), and then we can use what we have just seen to obtain the desired map from CL:=IL/L× to CK:=IK/K×.

We can now enounce the main theorem of global class field theory.

 Theorem 3   Let K be a global field and let IK be the group of adèles associated to K. Then the map IKGabK obtained by gluing together all the local Artin maps (see the previous lecture) is trivial on K×. Thus it induces a global Artin map θK:CKGabK, where CK:=IK/K×. The map θK is a continuous group homomorphism with the following properties:
  • if K is a number field then θ is surjective and its kernel is the connected component of CK containing the identity;
  • if K is the function field of a curve defined over Fq then θ is injective and its image coincides with those maps σ:KabKab which restricted to Fabq are equal to an integral power of the topological generator of GabFq=GFqˆZ.
  • for every finite extension of global fields KL the square on the right is commutative;
  • the map θK induces an isomorphism ^CKGabK;
As we have seen for local class field theory, the last point of the previous theorem is a consequence of the following global existence theorem.

 Theorem 4   Let K be a global field. Then every subgroup of CK of finite index is equal to NL/K(CL) for a unique finite extension KL.

Again as before, we get as a corollary that if KL is a finite abelian extension of global fields we have an isomorphism Gal(L/K)CK/(NL/K(L×)).

Observe finally that the norm on the adèle commutes also with the norm on the local fields, at least when restricted to the idèle group. Namely, if K is a global field and vΣK we have an embedding of topological groups K×vIKx(1,1,,1,xat place v,1,) and these embeddings clearly make the diagram on the right commutative.
Thus the functoriality of the local and global Artin maps, and the compatibility between the two of them are expressed in the following monstrous commutative cube:
 

Moduli and ray class fields

The theorem of Kronecker and Weber allows us to embed every abelian number field (i.e. a number field which is Galois over Q with abelian Galois group) inside a cyclotomic field. In particular, every cyclotomic field is obtained by adjoining to Q a root of unity ζn, i.e. the value at an integer point of the analytic function f(z):C×C× defined as f(z):=e2πi/z. There is also a similar result in positive characteristic, concerning finite abelian extensions of the field Fp(T) (see this paper by Julio Cesar Salas-Torres, Martha Rzedowski-Calderón and Gabriel Villa-Salvador).

For a general global field K we have now a description of the group GabK and we will use it to define an analogue of cyclotomic fields for K. In order to do so, we need the following definition.

 Definition 5   Let K be a field. A modulus for K is a map m:ΣKN which has finite support (i.e. m(v)=0 for all but a finite number of places of K) and such that for every infinite place vΣK, we have that m(v)=0 if KvC and m(v){0,1} if KvR.

For every modulus m of a global field, and for every place vΣK we can now define groups UmK(v)A×Kv by setting UmK(v):={A×Kv, if m(v)=0R>0, if m(v)=1 and KvR1+mm(v)Kv, if m(v)=1 and vΣK and we set UmK:=vΣKUmK(v)IK

It is not difficult to see that the groups {UmK}m form a system of open neighbourhoods of the identity in IK. What is tougher to prove is that the images of these groups in the quotient CK:=IK/K× are subgroups of finite index. This follows from the finiteness of the class group of global fields, as we will see in the next section and in the next lecture. Nevertheless, using this we can give the following definition.

 Definition 6   Let K be a field and m be a modulus for K. We define the ray class field K(m)K as the unique finite abelian extension such that NK(m)/K((K(m))×)=¯UmK

 Definition 7   The ray class field corresponding to the trivial modulus m(v)=0 for all vΣK is called the Hilbert class field of the number field K. The ray class field corresponding to the modulus defined by m(v)={1, if KvR0, otherwise is called the narrow class field of K.

Using the properties of the global Artin map, and what we have seen on unramified extensions in the previous lecture, we see that the extension KK(m) is unramified at every place vΣK such that m(v)=0. In particular, the Hilbert class field of K is the maximal abelian extension of K which is unramified at all places, and the narrow class field is the maximal abelian extension which is unramified at all finite places.
Since {¯UmK} form a system of open neighborhoods of the identity of CK we have also that every finite abelian extension KL is contained in a ray class field K(m). Thus, ray class fields play for K the same role that the cyclotomic fields play for Q. Actually, we will see in the next lecture that the ray class fields for Q are precisely the cyclotomic fields.

It would be nice if we could find a function fK which associated to every modulus m an algebraic number such that Km=K(fK(m)), as it happens over Q. This is known as "Hilbert's 12th problem" and seems to be out of reach for most number fields, but can be done for imaginary quadratic fields K=Q(d), using modular forms and elliptic curves (see Chapter II of the book "Advanced topics in the arithmetic of elliptic curves" by Joseph H. Silverman).

Idèles and ideals

We have just seen how the functoriality of the Artin map relatively to a finite extension of global fields KL can be expressed using a norm map on the idelic class group, defined by gluing together all the norm maps associated to all the possible completions of the fields K and L. There are also a couple of other maps defined on the group CK which will help us to relate the idelic class group to the (standard) class group Cl(K) of the field K, and thus to rephrase the main theorem of global class field theory in terms of prime ideals of OK.

 Remark 8   Recall that, if K is a global field, we define OK to be the integral closure of Z (if K is a number field) or Fq[x] (if K is a function field over Fq) inside K. Moreover, a fractional ideal is an OK sub-module of K which is finitely generated, and we denote by IK the ideal group of K, i.e. the group of all the fractional ideals with the product operation. Since OK is a Dedekind domain we have that IKZΣK, i.e. the group of fractional ideals is isomorphic to the free abelian group on the set of all non-Archimedean places of K.
Finally, we define the class group CK as the quotient of IK by the subgroup of all principal ideals PK:={xOKxK}.

Historically, the group of idèles IK was defined to be a generalization of the group of ideals IK. Thus we now understand why CK is called "idelic class group": it is the quotient of the group of idèles by the "principal idèles" K×IK.

There is a simple way to relate the group IK to IK. Indeed, we can define a map φ:IKIK(αv)vΣKvΣKpv(αv)v where pvOK is the unique prime ideal associated to v by Ostrowski's theorem. 
This map is clearly surjective because we can write every fractional ideal aIK as a=pm11pmnn for some prime ideals p1,,pnOK and some m1,,mnZ. Let S={v1,,vn} be the finite set of places corresponding to p1,,pn, and observe that a=φ((av)) where av=1 if vS and avj=mj for all j{1,,n}.
Observe now that φ sends principal idèles to principal ideals. Namely, for every αK× we have the decomposition αOK=vΣKpv(α)v=φ(ι(α)) where ι:K×IK is the diagonal embedding.

This shows that we get a surjective map ˜φ:CKCK which fits in the following diagram


where every row and column is exact, and the map K×PK sends αK× to αOK. To prove this we need to prove that ker(φ)=^O×KIK,. Indeed recall that the unity in IK is OK, and thus (av)vΣKker(φ) if and only if φ((av))=vΣKpv(av)v=OK, which is true if and only if v(av)=0 for all vΣK, which is finally true precisely when (av)^O×KIK,. Thus the horizontal and vertical sequences in the diagram above are indeed exact and we have that CKCKπ(^O×KIK,) where π:IKCK is the quotient map. This gives us a relation between the idelic class group and the class group of a field which will allow us to restate the main theorem of global class field theory in terms of ideals in the next lecture.

Conclusions and references

In this lecture we managed to:
  • give the statement of the main theorem of global class field theory;
  • define ray class fields as analogues of cyclotomic extensions for general global fields;
  • relate the idelic class group to the "classical" class group of a global field.
References for this lecture include:

Comments

Popular posts from this blog

A (not quite) perfect(oid) talk

TANT 1 - An introduction to p-adic numbers (and much more)

TANT 2 - Absolute values