The Dirichlet L-functions are an extremely important tool in studying primes in arithmetic progressions – their zeros “control” distribution of primes in arithmetic progressions in the same manner as zeros of Riemann zeta function control the overall distribution of primes. The first and the most elementary result involving these zeros, which is the key result in most proofs of Dirichlet’s theorem, is that there is never a zero at point . This post will present a proof of this fact using results from algebraic number theory.
This post is based solely on the content of Marcus’s Number Fields. The prerequisities for it are basic results about ideals in number fields and a minute amount of complex analysis. No background in analytic number theory is necessary.
Characters and Dirichlet characters
Definition: A Dirichlet character modulo (or just a character) is a function such that:
- is periodic with period ,
- iff ,
- for all .
It is easily seen that a Dirichlet character can be equivalently seen as a homomorphism , later extended to a function on and, by periodicity, to .
First we count the number of characters modulo . First express as a product of cyclic groups , say has a generator of order , so that . Then is determined by its values on . Because , must be a th root of unity. We have exactly of these, and we easily see that any choice of to be a th root of unity for gives us a well-defined character. Thus we have shown the following:
Lemma 1: There are exactly characters modulo .
It is also useful to know how many characters take given value at given point of order . First we will deal with taking value . Note that is on iff it’s on whole subgroup of size , iff it induces a well-defined function on . Such a function is a homomorphism . As above, we can show that there is exactly of them. We can deduce exactly characters take value on . Now for two characters , they take the same value on iff , which is also a character, takes value on . So every value is taken the same number of times. Since there are only possible values, we get:
Lemma 2: For any th root of unity , for precisely characters.
[Edit: here is a somewhat more straightforward proof of lemma 2, without needing to pass to the quotient group. We may assume that groups have prime power order, say $latex c_i$ is a power of (these primes needn’t be distinct). Write . The order of is equal to the least common multiple of , which are powers of respective . For each prime let be such that is the greatest power of possible. The product of these numbers is . Consider defined such that and otherwise. Then is a primitive th root of unity, and now we easily see that is a primitive th root of unity. By taking , which are also characters, we get what we’ve desired.]
Out of all Dirichlet characters modulo , exactly one of them always takes value on . We denote this character by and call it the principal character modulo .
Proof: This is clear for , since we get a sum over zeroes. Suppose . Then for some . But then we have
Definition: For a character we define the associated Dirichlet L-function as
This is treated as a function of a complex variable . By we will denote, respectively, the real and imaginary part of . We will establish a general result involving convergence of more general Dirichlet series, which will be also useful later.
Proposition 2: Let be a sequence of complex numbers such that, for some fixed , (using big O notation). Then the series
converges uniformly on any bounded subset of the halfplane for any , and therefore defines an analytic function on that halfplane.
Proof: We will use Cauchy’s uniform convergence criterion. Let . Consider
We assumed there is a constant such that . Additionally, and , so we get
It is now straightforward to see that, for this expression can be uniformly bounded (recall we assume is bounded), letting us use Cauchy’s criterion. Latter part of the proposition follows from standard facts from complex analysis.
Using proposition 2 we can get:
Corollary: is well-defined and analytic for , and the defining series converges absolutely. If , it is well-defined and analytic for .
In particular, for , is a well-defined complex number. The goal of this post is to show that it is nonzero.
A very important Dirichlet series is the Riemann zeta function, defined by . It can be seen as the Dirichlet L-function for the unique character modulo . Right now we show that has a simple pole at .
To see that, multiply by , which has a simple zero at . We get the series , which by proposition 2 is analytic around and clearly takes nonzero value there. Hence indeed has a simple pole at that point.
Because of the absolute convergence of Dirichlet L-functions and multiplicativity of characters, for we can write
with the products running over all primes . The idea here is, if we were to expand the product, then, thanks to unique factorization, each term will appear exactly once. In particular, for Riemann zeta function, and for principal characters modulo , . Since the latter product has finitely many terms, it’s clearly analytic and nonzero in the neighbourhood of , so we see also has a simple pole at this point.
Dedekind zeta functions
Definition: Given a number field , denote by number of ideals in which have norm . We then define the Dedekind zeta function of as
In the particular case of we have and .
The following result is rather technical and will not be proven here. It involves carefully counting elements of bounded norm in an ideal and avoiding counting unit multiples.
Theorem 1: For any number field there is a constant such that for .
By proposition 2 the series is absolutely convergent for . Because for such the order of summation will not matter, we can write
where the sum runs over all nonzero ideals in and denotes the ideal norm. Using unique factorization of ideals we can prove a product formula like in the case of Dirichlet L-functions: we have
where the product runs over all prime ideals .
Corollary: has a simple pole at .
Proof of the corollary: Define . By theorem 1 , so in particular is analytic at . Hence has a simple pole, since .
Assume now is a Galois extension, so that all primes lying above a given prime have the same ramification degree and inertia index. By grouping together terms which correspond to the same prime in , we can further write
where is the finite product coming from ramified primes.
Finally, letting , where is a primitive th root of unity, we have
Proposition 3: If , , where is the order of modulo .
Let’s first see why this will give us what we want. Consider the product of all L-functions of characters modulo . If any of them had a zero at , this zero would cancel the simple pole of , hence this product would be analytic at . On the other hand, for (so that the products converge absolutely),
Lemma 2 and proposition 3 imply that the inner product is equal to
where is a primitive th root of unity and the equality follows from factoring and plugging . Therefore
where is a finite product coming from ramified primes and primes dividing . clearly doesn’t vanish, so still has a simple pole. This is a contradiction since, as we said before, the product of L-functions is analytic at if one of them is zero there. Thus we have proven:
Theorem: If is a nonprincipal character modulo , then .
Proof of proposition 3: Let be a prime lying above and let be the automorphism of given by (the Frobenius automorphism). generates the group of automorphisms of this field, so is equal to the order of this automorphism. Since generates this field, is the least positive integer such that . We will be done if we show that implies . To see why this is true, note that this congruence implies so, unless , this implies , because the product is value at of . Since lies over , this would imply , which we assumed is not the case. Hence necessarily .
First I’d like to remark that, although the above proof seems to use a lot of complex analysis, most of the steps can be done using only functions of real variable. Many proofs would unfortunately become more technical.
Here is a rough sketch of the idea of the above proof. It is often instructive to summarize an argument by recalling the main points, so that, if necessary, one could reconstruct the proof by filling in (sometimes purely technical, but sometimes requiring more sophisticated ideas) the details.
- The L-functions are convergent on halfplane , except for principal character one, which has a simple pole at .
- Assuming one of the L-functions vanishes, their product must be analytic at .
- Using the asymptotics on number on the number of ideals of given norm, Dedekind zeta function of a cyclotomic field has a simple pole at (it’s true in general; we only need it for cyclotopmic fields).
- Both the Dedeking zeta function and the product of L-functions can be expressed as a product over primes, one involving inertia degrees, the other involving multiplicative orders.
- Using Frobenius automorphism, inertia degree and multiplicative order of a prime are equal.
- Therefore, the two functions are equal up to a factor which is analytic at .
- We get a contradiction, since one of the functions has a simple pole, while the other one doesn’t.