In this post we state a generalised version of Cebotarev’s density theorem, following Serre’s article in the 1963 `Arithmetical Algebraic Geometry’ series, and show how basic representation theory reduces its proof to the nonvanishing of of a family of -functions at a certain point.

The situation we shall generalise is the following. Let be a Galois extension of number fields. The their rings of integers carry a action. Any prime ideal of lies above a prime ideal of . Take the stabiliser of the point under the -action. A standard argument with polynomials tells us that the induced map on residue fields gives rise to a canonical surjection . The inertia group of is defined to be the kernel of this map, and so in particular (since these fields are finite) we get a well-defined *Frobenius element* , identified with the actual Frobenius of the Galois group of an extension of finite fields.

In the case where is trivial (i.e. the map above is an isomorphism), this is actually an element of , in particular of . It also is true that acts transitively on the primes above , so if we had picked a different above , iff , and we would get a different Frobenius element but it will be conjugate to the one we originally found (conjugating via an element of that exchanges and ). Coversely, any conjugate of a Frobenius is clearly a Frobenius. In such a situation we say that *doesn’t ramify* and record the Frobenius conjugacy class .

Here is the more general setting. Let be a scheme with a right action by a finite group , and assume that the orbit space is also a scheme. Also, assume both are of finite type over , so all residue fields are finite, and the *norm* of a closed point makes sense. For any closed point , one can consider the stabiliser of the -action. Now, the map is finite, and lies above a closed point , so we obtain a finite field extension . As above we get a surjective map , and whenever the map is actually a bijection we can define Frobenius elements which give rise to a Frobenius conjugacy class .

Serre suggests some kind of averaging over all possibly Frobenius lifts for the case when there are some ramified points, but we shall neglect this and henceforth assume that there are no closed points which ramify (if you like, by deleting all the ones which do: I think they should generally be a closed subset, so deleting them is just passing to a Zariski-open subset).

The Cebotarev density theorem addresses possibly the most obvious question you could ask in this situation. We have a fixed finite group , and we have realised it as the automorphism group of a morphism of schemes. Above, we outlined a procedure that associates points of (the -fixed scheme) with conjugacy classes in . The question is `given my favourite conjugacy class, are there any points which map to it, and if so, how many?’

Theorem 1 (Cebotarev Density Theorem)Assume , and that the situation satisfies the L-function criterion below. Let be a conjugacy class. Then there are infinitely many closed points with . In fact, the Dirichlet Density of the set of such closed points, defined by

satisfies

How does one prove such a theorem? The key thing is to note we are dealing with a conjugacy class, which are in some sense the fundamental elements in *representation theory*. The expression which we need to study, and is in some sense the crux of the whole problem, could be rewritten as

And this function is a class function, so can be written as a linear combination of characters of .

What will the coefficient corresponding to the trivial character be? Well,

So it’s now clear what our strategy should be. Expand the above expression out in terms of characters, and show that all the terms apart from that coming from the trivial character are small by comparison. How can we do this?

Well, the Artin L-functions are defined by the formula (which converges on ).

For these terms are reasonably small, and the remaining terms are precisely those we are interested in. Looking back at the statement of Cebotarev (and the fact that the denominator in the definition of Dirichlet density seems to be what you get for the trivial character, which turns out to behave like ), it will suffice that for all nontrivial characters of ,

In fact, there is usually a meromorphic continuation at least to the region , so we can replace our limit by the statement that the L-function is holomorphic and nonzero at .

Thus using simple representation theory we transferred the discussion from study of Frobenii landing in a conjugacy class to study of L-functions associated to characters. Of course, the story is far from over: now we have to go away and prove things about these L-functions, but it’s nice how quickly we managed to manouvre between the almost class field theory looking statement of Cebotarev and some analytic statements about L-functions. We also obtained a potentially vast generalisation of Cebotarev, conditional on of course actually checking these statements about L-functions. For example, Serre mentions that we can get our hands on many cases by fibering over curves and then using the Riemann hypothesis for curves (in fact, maybe now we have the full Weil conjectures we don’t even need the inductive argument…).

## Leave a comment

Comments feed for this article