## Geometric class field theory

Today, after a long absence from the blogosphere, I’m starting a series of posts on geometric class field theory. My goal is to make the presentation so geometrical that it is easily comprehensible to readers with backgrounds in algebraic geometry but not number theory. Of course, the story is enriched by the analogy with number fields, and I will frequently draw attention to this analogy, but it will be unnecessary for both the statements and the proofs of the main results.

The main character is a smooth, projective, and (geometrically) connected curve over a field , which we will generally assume is either a finite field or the complex numbers . Very broadly speaking, the goal is to understand all “covers” of , by which we mean finite separable maps where is another curve over , but this is far too ambitious for us. We will focus our attention on abelian covers, which are the connected Galois covers whose automorphism group is abelian (recall that a connected cover is called *Galois* if its automorphism group acts transitively on the geometric generic fiber, or equivalently has cardinality equal to the degree of the cover). Then there is a correspondence involving moduli of line bundles on , as we will explain at length. When , abelian covers correspond to finite-index subgroups of the Picard group of (with level structure in the ramified case).

This is very much like the number theorist’s goal of understanding (abelian) extensions of a number field. Indeed, we are doing the same for the field of rational functions on . The case was developed classically along the same lines as arithmetic class field theory, and to my knowledge it was Deligne who first gave a purely geometric proof in the sixties.

Here is a more precise outline of the plan. Our short-term goal will be to prove the main theorem of class field theory in the unramified setting. After that, we will move on to local class field theory, which we will approach using a geometric version of Lubin-Tate theory. The natural next step is to return to and prove the the general ramified case of global class field theory. Along the way we will explain how, in the case , the basic correspondence can be realized using moduli of shtukas on , and how this relates to Drinfeld modules and explicit class field theory. Finally, in the distant future we might say some words about the higher rank case, which is the geometric Langlands correspondence for , and especially Drinfeld’s proof of the case in positive characteristic.

So that this post is not entirely devoid of content, let’s go ahead and state the main theorem of unramified global geometric class field theory when (the case is slightly harder to formulate, but we’ll get to it). Next time we’ll give (some) definitions and explain how our statement relates to more classical formulations, and probably move on to the proof two posts from now.

We will denote by the étale fundamental group of based at the geometric generic point and its abelianization (as a profinite group). The structure morphism induces a homomorphism , and we write (respectively ) for the *Weil group* of , i.e. the preimage of in (respectively ). It is not hard to see that the Weil group is a dense discrete subgroup of . Any closed point induces a map , well-defined up to conjugation, and the image of is a conjugacy class in called the *(arithmetic) Frobenius at *, which we denote by . In particular, maps to a single element of , which we also denote by .

The other object which appears in the theorem is the Picard group of isomorphism classes of line bundles on under tensor product. As the notation suggests, the Picard group is the group of rational points of the Picard group scheme , which will be relevant later. For now, just observe that is generated by the line bundles as varies through the closed points of . Now we can state the theorem.

**Theorem** (Unramified global class field theory) There is a unique map which sends for each closed point . This map induces an isomorphism .

Note that the isomorphism intertwines the degree map with the natural map . This is because if is a degree point, then is a degree line bundle and induces the automorphism on .

The uniqueness in the theorem is obvious, since the line bundles generate the Picard group. But the existence of this map is already a highly nontrivial statement: this says that if is a principal divisor on , then is trivial in . This is an example of a reciprocity law in the sense of arithmetic class field theory.