This is a presentation I gave for my Algebraic Number Theory class during the Spring 2019 semester. In it I prove the functional equation for the Riemann zeta function for global function fields of transcendence degree one. The written version here quite closely resembles the talk I gave, so the edits are slim to none. The argument presented here is a more detailed combination of section 2.0.3 here and the proof presented in Rosen’s Number Theory in Function Fields. An understanding of the Riemann-Roch theorem and its consequences, divisor classes, and finiteness of the class number are assumed. If you are unfamiliar with these ideas or need a refresher, see chapter 5 of Rosen’s text.
Presentation: ANT Spring 2019
Using the Riemann-Roch theorem we’re going to prove the functional equation for the -function associated function fields of transcendence degree one over . As a consequence we will show that the -function satisfies a rational function in .
Theorem (The Functional Equation): Let be a function field of transcendence degree one over , and let be the corresponding -function. Define where is the genus of . Then
proof: Let , so that if is the norm of , . Summing over and making the substitution we may write
where we define to be the number of effective divisors of degree (a divisor is effective if ). The functional equation now takes the form
Now notice if we substitute for on the left-hand side we get the right-hand side. Denoting the left-hand side as , the theorem is equivalent to showing . To make the computations easier to work with we’re going to show the equivalent statement where . We will accomplish this by rewriting the sum on the left-hand side as a sum over divisor classes and using Riemann-Roch. Define to be the set of all divisor classes such that (we can do this because all the divisors in a class have the same degree) and let be the set of all divisor classes with degree . Then we have the following:
The first equality is by definition . To get the second, sum over effective divisors instead of degree and note that the number of effective divisors in is exactly where is the dimension of , really any representative, as a vector space over . Use the term to clear denominators to get the third. Breaking up the first sum by degree gives the fourth. The fifth follows since there are always classes of degree ( is independent of ), and a corollary of Riemann-Roch which says that if then . Reindexing the middle sum to start from and noticing the two latter sums are infinite geometric series which converge because with yields the sixth equality.
A direct substitution will show that the second term remains unchanged. In fact, the two terms in the difference switch under this substitution. So, all that remains to show is the summation remains unchanged. Now let be the canonical class. By a corollary of Riemann-Roch, so that the map given by is a well-defined involution. So in particular, is a bijection. Then
Since is a bijection, the first equality holds. We get the second as follows. Use Riemann-Roch thrice. The first two times use it for and , and combine results. This gives the change in power for . The change in power for is just Riemann-Roch again applied to .
On the other hand, if we make the substitution :
and we get the same result as above. This proves as desired.
Having proven the functional equation we now want to show the existence of a polynomial of degree such that
As before, take . It’s a consequence of Riemann-Roch that if , then . If we substitute this into and sum the geometric series for terms with we find
If we combine the terms inside the parenthesis then their numerator divides since (we can manually check the case ). Collecting all terms under the common denominator gives the result. We now wish to find the degree of . Start by noticing because . Since is invariant under , computing and using the substitution easily shows . If we take the limit as , then and hence . This implies is of degree and in fact its leading term is . This rational expression for the -function has some other interesting properties such as giving an analytic continuation to all of with simple poles at and . Also, and where is the number of primes of of degree one. These facts are easy to check and we omit their proof.
On that note we are finished, and thanks for reading!