Generalized Riemann Hypothesis

Generalized Riemann Hypothesis
Name	Generalized Riemann Hypothesis
Field	Mathematics
Subfield	Number theory
Conjectured	19th century
Proposer	Bernhard Riemann; generalizations by mathematicians including Ernst Eduard Kummer and David Hilbert
Status	Open problem
Importance	Central to analytic number theory

Generalized Riemann Hypothesis is the conjecture that certain complex-valued functions associated to arithmetic objects have all nontrivial zeros lying on a critical line in the complex plane. It extends the hypothesis first proposed by Bernhard Riemann and is formulated for families of L-functions such as Dirichlet L-functions, Dedekind zeta functions, and automorphic L-functions arising in the work of Erich Hecke, Atle Selberg, and Robert Langlands. The Generalized Riemann Hypothesis (GRH) influences deep results across Hilbert's problems, David Mumford's interests, and conjectures considered by Andrew Wiles, John Tate, and Pierre Deligne.

Statement

The conjecture asserts that for a broad class of L-functions—examples include Dirichlet L-functions attached to characters of the multiplicative group modulo n studied by Peter Gustav Lejeune Dirichlet, Dedekind zeta functions of number fields introduced by Richard Dedekind, and automorphic L-functions shaped by the Langlands program—all nontrivial zeros lie on the vertical line Re(s)=1/2 in the complex s-plane. Precise axioms for the class of L-functions were articulated in frameworks by Atle Selberg, Harish-Chandra, and Godement-Jacquet; these axioms involve analytic continuation, a functional equation, Euler products tied to primes studied by Évariste Galois and Srinivasa Ramanujan, and bounds on growth inspired by work of Gábor Szegő and John von Neumann. Statements for specific cases include hypotheses for Dirichlet characters used by Peter Gustav Lejeune Dirichlet and for Dedekind zeta functions used by Leopold Kronecker.

Historical background

Origins trace to Bernhard Riemann's 1859 memoir on the zeta function, with early generalizations by Dirichlet and Dedekind in the 19th century. Progressive abstraction arose in the 20th century through contributions of Atle Selberg's trace formula, Hecke's theory of L-series, and Ernst Eduard Kummer's cyclotomic investigations. The articulation of broad conjectural frameworks owes much to Robert Langlands and the development of the Langlands correspondence, influenced by exchanges between Jacques Tits, Harish-Chandra, and Alexander Grothendieck. Major milestones include explicit zero-free regions found by G. H. Hardy and John Littlewood, and computational verifications carried out in projects led by Alan Turing and later by Andrew Odlyzko.

Mathematical implications and consequences

Assuming the conjecture yields sharp bounds in prime distribution theorems linked to Carl Friedrich Gauss's prime counting heuristics and improves error terms in the Prime Number Theorem proved by Jacques Hadamard and Charles-Jean de La Vallée Poussin. GRH implies results in class field theory developed by Emil Artin and Helmut Hasse such as tight control of class numbers for David Hilbert's number fields and effective versions of the Chebotarev density theorem related to Niels Henrik Abel's legacy. Consequences extend to computational algebraic number theory used by Peter Sarnak and Michael Rabin and to bounds in diophantine geometry touched on by Faltings and André Weil. In cryptography contexts influenced by Whitfield Diffie and Martin Hellman, GRH would impact security estimates for algorithms depending on prime gaps and discrete logarithm heuristics studied by Ron Rivest.

Evidence and computational verification

Extensive numerical verification has confirmed zeros on the critical line for many L-functions up to high heights, following pioneering computations by Alan Turing and subsequent large-scale efforts by Andrew Odlyzko, Xavier Gourdon, and projects at Princeton University and University of Cambridge. For Dirichlet L-functions, low-lying zeros conform to GRH in computations overseen by researchers including H. M. Edwards and John Booker. Random matrix models inspired by Freeman Dyson and Eugene Wigner predict statistical properties of zeros matching empirical data, while results by Hugh Montgomery and Atle Selberg provide pair correlation heuristics. Rigorous partial verifications include zero-density estimates by Atle Selberg and zero-free regions by Littlewood, Ingham, and Linnik.

Connections to other conjectures and number theory

GRH interrelates with the Birch and Swinnerton-Dyer conjecture for elliptic curves studied by Bryan Birch and Peter Swinnerton-Dyer via analytic ranks of L-functions in the Taniyama–Shimura–Weil conjecture proven partially by Andrew Wiles and Richard Taylor. Links to the Grand Riemann Hypothesis and automorphy conjectures arise in the Langlands program formulated by Robert Langlands and built on work by Émile Picard and Harish-Chandra. Consequences propagate to arithmetic statistics explored by Manjul Bhargava and to modularity questions handled by Ken Ribet. The conjecture's status also influences algorithmic complexity concerns treated by Stephen Cook and Leonid Levin in computational number theory.

Approaches and partial results

Approaches include analytic techniques pioneered by G. H. Hardy and John Littlewood, spectral methods from the Selberg trace formula developed by Atle Selberg and Peter Sarnak, and techniques from automorphic representation theory advanced by Godement, Jacquet, and Robert Langlands. Partial results encompass proof of special cases: Hadamard and de la Vallée Poussin's nonvanishing regions, Deligne's proof of the Weil conjectures providing GRH for function fields over finite fields as proved by Pierre Deligne, and advances in zero-density theorems by Atle Selberg, A. E. Ingham, and Enrico Bombieri. Modern strategies probe connections to random matrix theory by Freeman Dyson and arithmetic geometry by Alexander Grothendieck and Pierre Deligne, while computational verifications continue under researchers such as Andrew Odlyzko and Xavier Gourdon.

Category:Conjectures in number theory