The Riemann Hypothesis for Function Fields

Similar documents
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

Primes of the form X² + ny² in function fields

TC10 / 3. Finite fields S. Xambó

The zeta function, L-functions, and irreducible polynomials

Math 797W Homework 4

Elliptic curves over function fields 1

From now on we assume that K = K.

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Solutions of exercise sheet 8

Algorithmic Number Theory in Function Fields

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

Eisenstein polynomials over function fields

20 The modular equation

THE HASSE DAVENPORT RELATION. F = F q. is an automorphism of F, and the group of automorphisms of F is the cyclic group of order r generated by σ p,

3. The Carlitz Module

p-adic Analysis and Rational Points on Curves Christian Hokaj Advisor: Andrei Jorza

Places of Number Fields and Function Fields MATH 681, Spring 2018

Page Points Possible Points. Total 200

Algebraic Varieties. Chapter Algebraic Varieties

Exercises for algebraic curves

Solutions of exercise sheet 6

Chapter 8. P-adic numbers. 8.1 Absolute values

20 The modular equation

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

1, for s = σ + it where σ, t R and σ > 1

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Homework problems from Chapters IV-VI: answers and solutions

Extension theorems for homomorphisms

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

Lecture 8: The Field B dr

(Received: ) Notation

Lecture 2: Elliptic curves

Galois Theory. This material is review from Linear Algebra but we include it for completeness.

HILBERT l-class FIELD TOWERS OF. Hwanyup Jung

Dedekind Domains. Mathematics 601

Math Introduction to Modern Algebra

Moreover this binary operation satisfies the following properties

RIEMANN SURFACES. max(0, deg x f)x.

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

HILBERT FUNCTIONS. 1. Introduction

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Introduction to the Galois Correspondence Maureen Fenrick

Approximation exponents for algebraic functions in positive characteristic

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Factorization in Polynomial Rings

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Algebra Exam Topics. Updated August 2017

On Weierstrass semigroups arising from finite graphs

Arithmetic of Hyperelliptic Curves

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

Statistics about polynomials over finite fields

Mathematics 324 Riemann Zeta Function August 5, 2005

Garrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Locally Free Sheaves

Mathematical Olympiad Training Polynomials

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

Zeta functions in Number Theory and Combinatorics

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

Algebraic geometry codes

Constructing genus 2 curves over finite fields

The Probability that Random Polynomials Are Relatively r-prime

Elliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I

1. Divisors on Riemann surfaces All the Riemann surfaces in this note are assumed to be connected and compact.

Topics in Number Theory: Elliptic Curves

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

Part II Galois Theory

1. Algebra 1.5. Polynomial Rings

1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

15 Dirichlet s unit theorem

Algebra Homework, Edition 2 9 September 2010

Irrationality proofs, moduli spaces, and dinner parties

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

Math 220A - Fall Final Exam Solutions

10. Noether Normalization and Hilbert s Nullstellensatz

Transcendence in Positive Characteristic

Algebraic function fields

Computing the endomorphism ring of an ordinary elliptic curve

RENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO. X i

On The Weights of Binary Irreducible Cyclic Codes

MOTIVIC ANALYTIC NUMBER THEORY

Mahler measure as special values of L-functions

IUPUI Qualifying Exam Abstract Algebra

Number Theory, Algebra and Analysis. William Yslas Vélez Department of Mathematics University of Arizona

Transcription:

The Riemann Hypothesis for Function Fields Trevor Vilardi MthSc 952 1 Function Fields Let F = F q be the finite field with q elements (q is a prime power). Definiton 1. Let K/F (x) be an extension of F. If 1. K contains at least one element, x, that is transcendental over F. 2. K/F is a finite algebraic extension. Then we call K a function field in one variable over F, and F is called the constant field of K. The elements of K can be thought of as rational functions. We will associate with K an invariant g N called the genus of K which comes from the algebraic geometric interpretation of K as the function field of some algebraic curve of genus g. Definiton 2. A prime in K is a discrete valuation ring, R, with maximal ideal P such that 1. F R 2. Frac(R) = K. We will usually refer to the prime R as P, and we denote the Ord function associated with P by Ord P ( ). Also note that deg P = [R/P : F ]. Example 1. Let K = F 5 (x), and A = F 5 [x]. If P A is a monic irreducible, then the localization at P, A P = { f f, g A, g / P } is a prime of K. g K contains one more prime besides those that come from monic irreducible polynomials. Let A = F 5 [x 1 ], and P = (x 1 ). Then the localization of A at P, A P, is a prime of K, and is called the prime at infinity, and is usually denoted. It can be shown that these are the only primes of K. 1

2 Divisors Let D K be the free abelian group generated by the primes of K. We call D K the group of divisors of K. For D D K D = a(p ) P P where the sum is over all primes, P, and the a(p ) Z are uniquely determined by D. If a(p ) 0 for all P we say D is an effective divisor which we denote by D 0. We define the degree of D to be deg(d) = P a(p ) deg P. Note that deg : D K Z is a homomorphism with kernel denoted D K 0. Definiton 3. Let a K. Then the divisor of a, denoted (a), is (a) = P Ord P (a) P Note that Ord P (a) = 0 for all but finitely many P, hence (a) D K. Example 2. Let K be as in example 1. Consider a = (x+1)2 (x 2 +3)(x 2 +2) 3 K. (x 2 +x+1) Note that all factors are irreducible and hence generate a prime of K. For finite primes, P, Ord P (f) gives the highest power of P that divides f, and Ord (f) = deg(f). Recalling that we extend the Ord function to rational ( functions by Ord f g ) = Ord(f) Ord(g) we get (a) = 2 (x + 1) + 1 (x 2 + 3) + 3 (x 2 + 2) + ( 1) (x 2 + x + 1) + ( 8). The degree of P is simply the degree of the irreducible which generates it, while the degree of is 1. This gives as we will see it must be. deg((a)) = 2 1 + 1 2 + 3 2 1 2 8 1 = 0 We can define a homomorphism from K to D K by the map a (a). The image of this mapping is called the group of principle divisors and is denoted P K. If Ord P (a) = m > 0 we say that P is a zero of order m of a. Similarly, if Ord P (a) = n < 0 we say that P is a pole of order n of a. We will need the following facts concerning principle divisors. For a K 2

1. (a) = 0 if and only if a F 2. deg((a)) = 0. Definiton 4. D 1, D 2 D K are said to be linearly equivalent if, denoted D 1 D 2, if D 1 D 2 = (a) for some a K. We call the quotient group Cl K = D K /P K the group of divisor classes. Since deg((a)) = 0 for all (a) P K the map deg : Cl K Z is a homomorphism. Definiton 5. The kernel of deg : Cl K Z is denoted Cl 0 K, and Cl0 K = h K is called the class number of K. Note that, analogously to classical algebraic number theory, the class number, h K, is finite. Now we will define the important counting functions we will need. Let a n = #{primes of degree n} b n = #{effective divisors of degree n}. Both a n and b n are finite for all n. Also, from these definitions we get that a n b n. To see this, note that we can associate any prime P with the divisor 1 P. Since the divisor has the same degree as the prime this gives an injection from the set of primes of degree n and the effective divisors of degree n. Hence a n b n. 3 Zeta functions For A D K the norm of A is NA = q deg(a). Note that N(A + B) = NANB. Definiton 6. The zeta function of K is ζ k (s) = NA s. A 0 Since NA s = q ns, where deg(a) = n, this is equivalent to ζ k (s) = 3 b n q ns.

Like the classical Riemann-zeta function, ζ k (s) has an Euler product ζ k (s) = ( 1 1 ) 1 ( = 1 1 ) an NP s q ns P The Riemann hypothesis for function fields states that the zeros of ζ k lie on the line Re(s) = 1. Or, in more detail. 2 Theorem 1 (The Riemann Hypotheis for Function Fields). If K is a global function field whose constant field, F, has q elements, then all of the zeros of ζ k (s) lie on the line Re(s) = 1. 2 Next we want to show that ζ k (s) converges. For n > 2g 2 we have b n = h K q n g+1 1 q 1 hence b n = O(q n ). So combined with ζ k (s) = b n q ns we see that ζ k (s) converges absolutely for Re(s) > 1. To see that the Euler product converges, we need to show that a n q ns converges. But this follows immediately from the fact that a n b n = O(q n ). Theorem 2. Let g be the genus of K. Then there exists L K (u) Z[u] with deg L K (u) = 2g such that ζ k (s) = L K (u) (1 q s )(1 q 1 s ). This holds for all s such that Re(s) > 1, and the right hand side provides analytic continuation of ζ k (s) to all of C. Proof. Let u = q s. Then ζ k (s) = Z K (u) = b n u n. q For n > 2g 2 we have b n = h n g+1 1 K. Substituting this yields q 1 2g 2 Z K (u) = b n u n q m g+1 1 + h K u m (1) q 1 = = n=0 2g 2 n=0 b n u n + m=2g 1 h K q 1 L K (u) (1 u)(1 qu) 4 n=0 ( q g 1 qu 1 1 u ) u 2g 1 (2) (3)

Going from (1) to (2) is accomplished simply by summing the geometric series. For the second equality all that is needed is to note that, when we combine the terms in parentheses, q 1 divides the numerator. Then simply combining with the common denominator gives the result. Note that this will also show that L K (u) has the desired degree. From (3) all that s left is to substitute q s for u. Corollary 1. 1. ζ k (s) has simple poles at s = 0 and s = 1. 2. L K (0) = 1. 3. L K (0) = a 1 1 q. 4. L K (1) = h K. Proof. 1. All that s needed is to show L K (q 1 ) 0 which we will show later. 2. Simply substitute 0. 3. We have L K (u) = (1 u)(1 qu)z K (u). Differentiating this yields L K(u) = (1 qu)z K (u) + Z K(u)(1 u)(1 qu) q(1 u)z K (u) so L K (0) = 1 + b 1 q. All that s left is to note that a 1 = b 1. 4. From (2) we see that lim(u 1)Z K (u) = h K, and from (3) we see that u 1 q 1 lim (u 1)Z K(u) = L K(u). So L u 1 1 q K (1) = h K. Since L K (0) = 1 we can factor L K (u) = 2g (1 π i u). From this we can see that the Riemann hypothesis is equivalent to π i = q for 1 i 2g. Like the classical Riemann-zeta function, the zeta function of a function field also satisfies a functional equation. Set Then for all s C This implies that ξ K (s) = q (g 1)s ζ k (s). ξ K (1 s) = ξ K (s). L K (q 1 u 1 ) = q g u 2g L K (u). Thus any zero of L K (q 1 u 1 ) is also a zero of L K (u). So factoring L K (q 1 u 1 ) = 2g (1 π i q u 1 ) shows that q π i is a zero of L K (u) for all 1 i 2g. Hence the map π i q π i is a permutation of the roots of L K (u). There is also an analogue of the prime number theorem which states: 5

Theorem 3. a N = #{P deg(p = N)} = qn N + O(q N 2 N ). Like in the classical case the prime number theorem is connected to the Riemann hypothesis. Our strategy for proving the Riemann hypothesis will be to show that a 1 = q + O( q) implies π i = q. Before proving the Riemann hypothesis we will need some results. Let F n = F q n and K n = F n K, then K n is called a constant field extension of K. We have L Kn (u) = 2g (1 π n i u) which implies that we can prove the theorem for any K n, and it will hold for all other n. This is important because to prove a 1 = q + O( q) we need to impose some restrictions on K. But we can find n large enough that the conditions always hold, so we can just assume they hold from the start. Let N n (K) = d n da d, then N 1 (K) = a 1 and N 1 (K n ) = q n + O(q n 2 ). Proof of the Riemann Hypothesis. We also need these two important facts which we will not prove i N 1 (K n ) = N n (K) ( ii Z K (u) = exp From ii we get N n(k) n u n ) We can also write Z K (u) as u Z K (u) Z K (u) = N 1 (K n )u n. Z K (u) = 2g 1 π i u (1 u)(1 qu) thus u Z K (u) Z K (u) = (q n + 1 π1 n π2 n... π2g)u n n = q n + u n 2g (π i )u n. 6

Putting these together we get (N 1 (K n ) q n 1)u n = 2g (π i u) n. SinceN 1 (K n ) = q n + O(q n 2 ), the left hand side has radius of convergence R q 1 2. The right hand side has radius of convergence R = min }, so π 1 1 i 2g { π 1 i i q 1 2 for all 1 i 2g, hence πi 1 q 1 2 for all 1 i 2g. Since the map π i q π i is a permutation of the π i we have for some j π i = q q = q q π j for all i. Thus π i = q for all i, which is equivalent to the Riemann hypothesis. 7