(These are notes adapted from a talk I gave at the Student Arithmetic Geometry seminar at Berkeley)

## Introduction

Probably the most famous open problem in number theory is the Riemann hypothesis. In addition to being worth a million dollars, it is a deep and fundamental problem that has remained intractable since it was first proposed by Bernhard Riemann, in 1859.

The Riemann hypothesis springs out of the field of analytic number theory, which applies complex analysis to problems in number theory, often studying the distribution of prime numbers. The Riemann hypothesis itself has significant implications for the distribution of primes and implies an asymptotic statement about their density (for a precise statement, see here). But the Riemann hypothesis is usually formulated in the language of complex analysis, as a statement about a complex-analytic function, the Riemann zeta function, and its zeroes. This formulation is succint and elegant, and allows the problem to be subsumed into the larger study of the largely conjectural theory of L-functions.

This broader theory allows one to create analogues of the Riemann zeta function and Riemann hypothesis in other contexts. Often these “alternative Riemann hypotheses” are even harder than the original Riemann hypothesis, but there is a famous case where this is fortunately not true.

In the 1940’s, André Weil proved an analogue of the Riemann hypothesis: not for the Riemann zeta function, but for a different zeta function. Here’s one way to describe it: very roughly speaking, the Riemann zeta function is based on the field rational numbers (it can be defined as an Euler product over the primes of ). Our zeta function will constructed analogously, but instead be based on the field (the field of rational functions with coefficients in the finite field ). So instead of the *number field* , we have swapped it out and replaced it with a *function field*.

Actually, what Weil proved, and what we will prove today, is the analogue of the Riemann hypothesis for global function fields. This work represents the greatest progress we have towards the original Riemann hypothesis, and serves as tantalizing evidence for it.

There is a general pattern in number theory which looks something like the following: start with a problem in number theory. Adapt the problem from the number field setting to the function field setting. Then interpret the function field as the function field of a curve (usually), and then use techniques of algebraic geometry (for example, is the function field of a line over ). That is exactly what we will do here: it will therefore look less like complex analysis and more like algebraic geometry

## Math (somewhat rushed)

Let be a smooth projective curve over a finite field . Let be the set of points of Then the zeta function of is defined by

Here, we are using as a change of variables: if we plug in for , then we obtain an exactly analogous zeta function to the Riemann zeta function, except with respect to the function field of instead of the field . There are three important properties that we would like to have: (1) rationality, (2) satisfies a functional equation, and (3) satisfies an analogue of the Riemann hypothesis. Part (3) was proved by André Weil in the 1940’s; parts (1) and (2) were proved much earlier. In this post, I will present a proof of the analogue of the Riemann hypothesis assuming (1) and (2), along the lines of Weil’s original proof using intersection theory. All this material and much more is in an expository paper by James Milne called “The Riemann Hypothesis over Finite Fields: From Weil to the Present Day”. A useful reference is Appendix C in Hartshorne’s *Algebraic Geometry*; some material also comes from section V.1 on surfaces.

Let be the genus of . Then (1) says that is a rational function of . The specific function equation of (2) is the following:

It turns out that we can write out explicitly: there exist constants for such that

and the functional equation implies that the constants can be rearranged if necessary so that

Now, the analogue of the Riemann hypothesis states the following:

(To see the connection between this statement and the ordinary Riemann hypothesis, check out this blog post by Anton Hilado)

Notice that, assuming rationality and the functional equation, the Riemann hypothesis will follow from simply the inequality .

We will prove the Riemann hypothesis via the **Hasse-Weil inequality**, which is an inequality that puts an explicit bound on . The Hasse-Weil inequality states that

which is actually a pretty good bound. Why does the Hasse-Weil inequality imply the Riemann hypothesis? Well, if we take the logarithm of and use the power series for , regrouping terms gives us

; so

In other words,

is bounded.

Letting , we have

, so for all

as desired. (check this works, even if are not distinct)

## Proof of the Hasse-Weil inequality

We will prove the Hasse-Weil inequality using intersection theory. First, we will consider as a curve over . Then there is the Frobenius map . If we embed into projective space, then sends . We can interpret as the size of the set of fixed points of . Our plan then to use inequalities from intersection theory to bound the intersection of and (the diagonal) in .

First, let us set up the intersection theory we need. This material is from Chapter V.1 of Hartshorne, on surfaces.

Intersection pairing on a surface:Let be a surface. There exists a symmetric bilinear pairing (where the product of divisors and is denoted ) such that if are smooth curves intersecting transversely, then.

Furthermore, another theorem we’ll need is the **Hodge index theorem**:

Let be an ample divisor on and a nonzero divisor, with . Then . ( denotes )

Now let us begin with some general set up. Let and be two curves, and let . Identify with and with . Notice that and . Thus .

Let be a divisor on . Let and ; also, (expand it out). The Hodge index theorem implies then that . Expanding this out yields . This fundamental inequality is called the **Castelnuovo-Severi inequality**. We may define .

Next, let us prove the following inequality: if and are divisors, then

*Proof (fill in details):* Expand out , for . We can let become arbitrarily close to , yielding the inequality.

Here’s another lemma we will need: Consider a map . If is the graph of on , then (where is the genus of ).

*Proof (fill in details):* Rearrange adjunction formula.

Now we have what we need: we will do intersection theory on . The Frobenius map is a map of degree , so . We might as well think of as the graph of the identity map, so . Finally, and . Plugging it into the inequality, we get

yielding the Hasse-Weil inequality

This proves the Riemann hypothesis for function fields, or equivalently the Riemann hypothesis curves over finite fields.

## The Weil conjectures

After Weil proved this result, he speculated whether analogous statements were true for not only *curves* over finite fields, but *higher-dimensional algebraic varieties* over finite fields. He proposed as conjectures that the zeta functions for such varieties should also satisfy (1) rationality, (2) a functional equation, and (3) an analogoue of the Riemann hypothesis.

Weil also speculated a connection with algebraic topology. In our work above, the genus was crucial. But the genus can alternatively be defined topologically, by taking the equations that define the curve, looking at the locus they cut out when graphed over the complex numbers, and counting how many holes the resulting shape has. Weil suggested that for arbitrary varieties, topological Betti numbers should play this role: that is, the zeta function of the variety over the finite field should be closely connected with the topology of the analogous variety over the complex numbers.

There’s an interesting blog post that discusses this idea, in our context of curves. But the rest is history. The story of the Weil conjectures is one of the most famous in all of mathematics: the effort to prove them revolutionized algebraic geometry and number theory forever. The key innovation was the theory of étale cohomology, which is an analogue of classical singular cohomology for algebraic varieties over arbitrary fields.