Riemann hypothesis for curves

Riemann hypothesis for curves
Name	Riemann hypothesis for curves
Field	Number theory, Algebraic geometry
Discoverer	André Weil
Introduced	1940s
Proven	1940s–1960s

Riemann hypothesis for curves The Riemann hypothesis for curves is a statement about zeros of zeta functions attached to algebraic curves over finite fields, asserting that those zeros lie on a critical line determined by the genus. It sits within the framework of the Weil conjectures and connects arithmetic properties of curves to eigenvalues of Frobenius acting on cohomology. The result has roots in work by Helmut Hasse, André Weil, and was generalized via methods developed by Alexander Grothendieck and Pierre Deligne.

Introduction

The problem originated in analogies between the Riemann zeta function studied by Bernhard Riemann and zeta functions of varieties over finite fields considered by Emil Artin, Erich Hecke, and Helmut Hasse. Early progress by Hasse on elliptic curves over finite fields paralleled investigations by Louis Mordell and inspired conjectures formulated by André Weil that later influenced work of Jean-Pierre Serre, John Tate, and Serge Lang. The conjectural framework motivated development of scheme theory by Alexander Grothendieck and cohomological techniques used by Pierre Deligne.

Algebraic curves over finite fields

An algebraic curve over a finite field arises from projective, smooth, geometrically connected one-dimensional schemes over fields such as GF(q) studied in the context of Carl Friedrich Gauss's arithmetic investigations and later formalized by Évariste Galois's successors. Key invariants include the genus related to Riemann–Roch theorem developments by George Riemann and Gaston Julia, and the number of rational points over extensions of GF(q). Work by Oscar Zariski and Shreeram Abhyankar clarified singularity and model issues, while André Weil and Helmut Hasse focused on counting points and understanding Frobenius endomorphisms.

Zeta function of a curve

The zeta function of a curve over GF(q) is defined using numbers of points over finite field extensions, building on ideas from Emil Artin's L-series and Heinrich Weber's class field theory. Weil predicted that for a projective smooth curve of genus g the zeta function is a rational function with numerator and denominator related to Betti numbers as suggested by analogies to Hodge theory in the work of W. V. D. Hodge and Kunihiko Kodaira. The Frobenius map, central to Évariste Galois-inspired arithmetic, gives rise to eigenvalues whose complex absolute values are constrained by the conjectured “Riemann” property.

Weil conjectures and the Riemann hypothesis for curves

André Weil’s conjectures generalized Hasse’s result for elliptic curves to higher-dimensional varieties and explicitly included statements about rationality, functional equation, Betti numbers, and Riemann hypothesis properties. The curve case corresponds to the second Weil conjecture and was proved early, serving as a model for later progress on the Weil conjectures overall. The conjectural framework linked ideas from Alexander Grothendieck’s cohomology theories, concepts from Émile Picard’s work on functional equations, and analogies to classical conjectures by Bernhard Riemann.

Proofs and methods (Weil, étale cohomology, Hasse–Weil)

Helmut Hasse proved the case of genus one curves using methods reminiscent of Ernst Kummer and Richard Dedekind's arithmetic, while André Weil provided proofs for general curves via correspondences and Jacobian varieties, building on Franz Jacob-inspired ideas and the theory of abelian varieties developed by David Mumford and A. Weil himself. Grothendieck reformulated the problem using étale cohomology in the context of EGA and SGA seminars, introducing tools associated with Jean-Pierre Serre, Alexander Grothendieck and collaborators. Pierre Deligne completed the proof of the general Weil conjectures in higher dimensions using ℓ-adic cohomology and purity results influenced by work of Michael Artin and Grothendieck; the Hasse–Weil zeta function framework connects to conjectures by Hasse and later refinements by Serre and John Tate.

Consequences and applications

The curve case yields explicit bounds on point counts such as the Hasse bound for elliptic curves used in cryptography implementations standardized by organizations like National Institute of Standards and Technology and influential to algorithms by Victor Shoup and Neal Koblitz. Results inform the study of Jacobians and abelian variety isogeny classes relevant to Fermat's Last Theorem historical context and to descent techniques by Gerd Faltings. Applications extend to coding theory via constructions by Vladimir Goppa and to arithmetic geometry insights used in proofs by Andrew Wiles and modularity statements linked to Taniyama–Shimura–Weil type conjectures studied by Yutaka Taniyama and Goro Shimura.

Examples and explicit computations

Elliptic curves (genus one) over GF(p) illustrate the Hasse bound; explicit point counts for curves like those arising in work by Hasse and computations by Schoof demonstrate practical algorithms for computing zeta numerators. Hyperelliptic curves of small genus produce explicit L-polynomials computed in literature by Hess and Fouquet, and class field examples studied by Emil Artin and Helmut Hasse give concrete Frobenius eigenvalues. Tables and computational projects by researchers such as John Cremona and Noam Elkies provide extensive data for experimental verification and application in areas ranging from elliptic curve cryptography to error-correcting codes pioneered by Igor Givens-style groups and Goppa.

Category:Number theory