Riemann
Riemann
Riemann
ENRICO BOMBIERI
1. The Problem
The Riemann zeta function is the function of the complex variable s, defined in
the half-plane1 <(s) > 1 by the absolutely convergent series
∞
X 1
ζ(s) := s
,
n=1
n
and in the whole complex plane C by analytic continuation. As shown by Riemann,
ζ(s) extends to C as a meromorphic function with only a simple pole at s = 1, with
residue 1, and satisfies the functional equation
−s/2
s
−(1−s)/2 1−s
(1) π Γ ζ(s) = π Γ ζ(1 − s).
2 2
In an epoch-making memoir published in 1859, Riemann [18] obtained an ana-
lytic formula for the number of primes up to a preassigned limit. This formula is
expressed in terms of the zeros of the zeta function, namely the solutions ρ ∈ C of
the equation ζ(ρ) = 0.
In this paper, Riemann introduces the function of the complex variable t defined
by
1 s
ξ(t) = s(s − 1)π −s/2 Γ ζ(s),
2 2
1
with s = 2 + it, and shows that ξ(t) is an even entire function of t whose zeros have
imaginary part between −i/2 and i/2. He further states, sketching a proof, that in
the range between 0 and T the function ξ(t) has about (T /2π) log(T /2π) − T /2π
zeros. Riemann then continues “Man findet nun in der That etwa so viel reelle
Wurzeln innerhalb dieser Grenzen, und es ist sehr wahrscheinlich, dass alle Wurzeln
reell sind,” which can be translated as “Indeed, one finds between those limits about
that many real zeros, and it is very likely that all zeros are real.”
The statement that all zeros of the function ξ(t) are real is the Riemann hypoth-
esis.
The function ζ(s) has zeros at the negative even integers −2, −4, . . . and one
refers to them as the trivial zeros. The other zeros are the complex numbers 21 + iα,
where α is a zero of ξ(t). Thus, in terms of the function ζ(s), we can state the
Riemann Hypothesis. The nontrivial zeros of ζ(s) have real part equal to 12 .
In the opinion of many mathematicians, the Riemann hypothesis, and its exten-
sion to general classes of L-functions, is probably the most important open problem
in pure mathematics today.
1We denote by <(s) and =(s) the real and imaginary part of the complex variable s. The use
of the variable s is already in Dirichlet’s famous work of 1837 on primes in arithmetic progression.
1
2 ENRICO BOMBIERI
valid for <(s) > 1, appears for the first time in Euler’s book Introductio in Analysin
Infinitorum, published in 1748. Euler also studied the values of ζ(s) at the even
positive and negative integers, and he divined a functional equation, equivalent to
Riemann’s functional equation, for the closely related function (−1)n−1 /ns (see
P
the interesting account of Euler’s work in Hardy’s book [8]).
The problem of the distribution of prime numbers received attention for the first
time with Gauss and Legendre, at the end of the eighteenth century. Gauss, in a
letter to the astronomer Hencke in 1849, stated that he had found in his early years
that the number π(x) of primes up to x is well approximated by the function2
Z x
dt
Li(x) = .
0 log t
In 1837, Dirichlet proved his famous theorem of the existence of infinitely many
primes in any arithmetic progression qn + a with q and a positive coprime integers.
On May 24, 1848, Tchebychev read at the Academy of St. Petersburg his first
memoir on the distribution of prime numbers, later published in 1850. It contains
the first study of the function π(x) by analytic methods. Tchebychev begins by
taking the logarithm of the Euler product, obtaining3
X 1
(2) − log 1 − s + log(s − 1) = log ((s − 1)ζ(s)) ,
p
p
functions
X √ √
ϑ(x) = log p, ψ(x) = ϑ(x) + ϑ( 2 x) + ϑ( 3 x) + · · ·
p≤x
aside for the time being after some quick unsuccessful attempts, because it appears
to be unnecessary for the immediate goal of my study.”
On the other hand, one should not draw from this comment the conclusion that
the Riemann hypothesis was only a casual remark of minor interest for him. The
validity of the Riemann hypothesis is equivalent to saying that the deviation of the
number of primes from the mean Li(x) is
√
π(x) = Li(x) + O x log x ;
the error term cannot be improved√ by much, since it is known to oscillate in both
directions to order at least Li( x) log log log x (Littlewood). In view of Riemann’s
comments at the end of his memoir about the approximation of π(x) by Li(x), it
is quite likely that he saw how his hypothesis was central to the question of how
good an approximation to π(x) one may get from his formula.
The failure of the Riemann hypothesis would create havoc in the distribution of
prime numbers. This fact alone singles out the Riemann hypothesis as the main
open question of prime number theory.
The Riemann hypothesis has become a central problem of pure mathematics,
and not just because of its fundamental consequences for the law of distribution
of prime numbers. One reason is that the Riemann zeta function is not an iso-
lated object, rather it is the prototype of a general class of functions, called L-
functions, associated with algebraic (automorphic representations) or arithmetical
objects (arithmetic varieties); we shall refer to them as global L-functions. They
are Dirichlet series with a suitable Euler product and are expected to satisfy an ap-
propriate functional equation and a Riemann hypothesis. The factors of the Euler
product may also be considered as some kind of zeta functions of a local nature,
which also should satisfy an appropriate Riemann hypothesis (the so-called Ra-
manujan property). The most important properties of the algebraic or arithmetical
objects underlying an L-function can or should be described in terms of the location
of its zeros and poles, and values at special points.
The consequences of a Riemann hypothesis for global L-functions are important
and varied. We mention here, to indicate the variety of situations to which it can
be applied, an extremely strong effective form of Tchebotarev’s density theorem for
number fields, the non-trivial representability of 0 by a non-singular cubic form in
seven or more variables (provided it satisfies the appropriate necessary congruence
conditions for solubility, (Hooley, [9])), and Miller’s deterministic polynomial time
primality test. On the other hand, many deep results in number theory that are
consequences of a general Riemann hypothesis can be shown to hold independent
of it, thus adding considerable weight to the validity of the conjecture.
It is outside the scope of this article even to outline the definition of global L-
functions, referring instead to Iwaniec and Sarnak [10] for a survey of the expected
properties satisfied by them; it suffices here to say that the study of the analytic
properties of these functions presents extraordinary difficulties.
Already the analytic continuation of L-functions as meromorphic or entire func-
tions is known only in special cases. For example, the functional equation for the
L-function of an elliptic curve over Q and for its twists by Dirichlet characters is
an easy consequence of, and is equivalent to, the existence of a parametrization of
the curve by means of modular functions for a Hecke group Γ0 (N ); the real diffi-
culty lies in establishing this modularity. No one knows how to prove this functional
equation by analytic methods, but the modularity of elliptic curves over Q has been
THE RIEMANN HYPOTHESIS 5
established directly, first in the semistable case in the spectacular work of Wiles
[28] and Taylor and Wiles [24] leading to the solution of Fermat’s Last Theorem,
and then in the general case in a recent preprint by Breuil, Conrad, Diamond and
Taylor.
Not all L-functions are directly associated to arithmetic or geometric objects.
The simplest example of L-functions not of arithmetic or geometric nature are
those arising from Maass waveforms for a Riemann surface X uniformized by an
arithmetic subgroup Γ of PGL(2, R). They are pull-backs f (z) to the universal
covering space =(z) > 0 of X, of simultaneous eigenfunctions for the action of the
hyperbolic Laplacian and of the Hecke operators on X.
The most important case is again the group Γ0 (N ). In this case one can intro-
duce a notion of primitive waveform, analogous to the notion of primitive Dirichlet
character, meaning that the waveform is not induced from another waveform for
a Γ0 (N 0 ) with N 0 a proper divisor of N . For a primitive waveform, the action of
the
P Hecke −s operators Tn is defined for every n, and the L-function can be defined as
λf (n)n , where λf (n) is the eigenvalue of Tn acting on the waveform f (z). Such
an L-function has an Euler product and satisfies a functional equation analogous
to that for ζ(s). It is also expected to satisfy a Riemann hypothesis.
Not a single example of validity or failure of a Riemann hypothesis for an L-
function is known up to this date. The Riemann hypothesis for ζ(s) does not
seem to be any easier than for Dirichlet L-functions (except possibly for non-trivial
real zeros), leading to the view that its solution may require attacking much more
general problems, by means of entirely new ideas.
real t, there will be a zero of odd order between any two points at which ξ(t) changes
sign. By judiciously choosing sample points, one can detect sign changes of ξ(t)
in the interval [−T, T ]. If the number of sign changes equals N (T ), one concludes
that all zeros of ζ(s) in R are simple and satisfy the Riemann hypothesis. In this
way, it has been shown by van de Lune, te Riele and Winter [15] that the first 1.5
billion zeros of ζ(s), arranged by increasing positive imaginary part, are simple and
satisfy the Riemann hypothesis.
The Riemann hypothesis is equivalent to the statement that all local maxima of
ξ(t) are positive and all local minima are negative, and it has been suggested that
if a counterexample exists, then it should be in the neighborhood of unusually large
peaks of |ζ( 21 + it)|. The above range for T is T ∼= 5 × 108 and is not large enough
1
for |ζ( 2 + it)| to exhibit these peaks, which are known to occur eventually. Fur-
ther calculations done by Odlyzko [17] in selected intervals show that the Riemann
hypothesis holds for over 3 × 108 zeros at heights up to6 2 × 1020 . These calcu-
lations also strongly support independent conjectures by Dyson and Montgomery
[16] concerning the distribution of spacings between zeros.
Computing zeros of L-functions is more difficult, but this has been done in
several cases, including examples of Dirichlet L-functions, L-functions of elliptic
curves, Maass L-functions and nonabelian Artin L-functions arising from number
fields of small degree. No exception to a generalized Riemann hypothesis has been
found in this way.
Second, it is known that hypothetical exceptions to the Riemann hypothesis
must be rare if we move away from the line <(s) = 12 .
Let N (α, T ) be the number of zeros of ζ(s) in the rectangle α ≤ <(s) ≤ 2,
0 ≤ =(s) ≤ T . The prototype result goes back to Bohr and Landau in 1914, namely
N (α, T ) = O(T ) for any fixed α with 21 < α < 1. A significant improvement of the
result of Bohr and Landau was obtained by Carlson in 1920, obtaining the density
theorem N (α, T ) = O(T 4α(1−α)+ε ) for any fixed ε > 0. The fact that the exponent
here is strictly less than 1 is important for arithmetic applications, for example,
in the study of primes in short intervals. The exponent in Carlson’s theorem has
gone through several successive refinements for various ranges of α, in particular
in the range 43 < α < 1. Curiously enough, the best exponent known to date in
the range 12 < α ≤ 34 remains Ingham’s exponent 3(1 − α)/(2 − α), obtained in
1940. For references to these results, the reader may consult the recent revision by
Heath-Brown of the classical monograph of Titchmarsh [23], and the book by Ivič
[11].
Third, it is known that more than 40% of nontrivial zeros of ζ(s) are simple
and satisfy the Riemann hypothesis (Selberg [20], Levinson [14], Conrey [2]). Most
of these results have been extended to other L-functions, including all Dirichlet
L-functions and L-functions associated to modular forms or Maass waveforms.
In his paper, Weil showed that there is a corresponding formula for zeta and
L-functions of number fields as well as for Zeta functions of curves over finite fields.
The terms in the right-hand side of the equation can be written as a sum of terms
of local nature, associated to the absolute values of the underlying number field, or
function field in the case of curves over a field of positive characteristic. Moreover,
in the latter case the explicit formula can be deduced from the Lefschetz fixed point
formula, applied to the Frobenius endomorphism on the curve C. The three terms
Pe
in the left-hand side, namely fe(0), f (ρ), fe(1), now correspond to the trace of
the Frobenius automorphism on the l-adic cohomology of C (the interesting term
f (ρ) corresponds to the trace on H 1 ), while the right-hand side corresponds
Pe
to the number of fixed points of the Frobenius endomorphism, namely the prime
divisors of degree 1 on C.
THE RIEMANN HYPOTHESIS 9
Weil also proved that the Riemann hypothesis is equivalent to the negativity of
the right-hand side for all functions f (x) of type
Z ∞
f (x) = g(xy)g(y)dy,
0
In the geometric case of curves over a finite field, this negativity is a rather easy
consequence of the algebraic index theorem for surfaces, namely,
Algebraic Index Theorem. Let X be a projective nonsingular surface defined
over an algebraically closed field. Then the self-intersection quadratic form (D · D),
restricted to the group of divisors D on X of degree 0 in the projective embedding
of X, is negative semidefinite.
The algebraic index theorem for surfaces is essentially due to Severi8 in 1906 [21,
§2,Teo.I]. The proof uses the Riemann–Roch theorem on X and the finiteness of
families of curves on X of a given degree; no other proof by algebraic methods is
known up to now, although much later several authors independently rediscovered
Severi’s argument.
The algebraic index theorem for nonsingular projective varieties of even dimen-
sion over the complex numbers was first formulated and proved by Hodge, as a
consequence of his theory of harmonic forms. No algebraic proof of Hodge’s theo-
rem is known, and it remains a fundamental open problem to extend it to the case
of varieties over fields of positive characteristic.
The work of Montgomery [16], Odlyzko [17], and Rudnick and Sarnak [19] on
correlations for spacings of zeros of ξ(t) suggests that L-functions can be grouped
into a few families, in each of which the spacing correlation is universal; the conjec-
tured spacing correlation is the same as for the limiting distribution of eigenvalues
of random orthogonal, unitary or symplectic matrices in suitable universal families,
as the dimension goes to ∞. All this is compatible with the view expressed by
Hilbert and Pólya that the zeros of ξ(t) could be the eigenvalues of a self-adjoint
linear operator on an appropriate Hilbert space. It should also be noted that a
corresponding unconditional theory for the spacing correlations of characteristic
roots of Zeta functions of families of algebraic varieties over a finite field has been
developed by Katz and Sarnak [12], using methods introduced by Deligne in his
proof of the Riemann hypothesis for varieties over finite fields. Thus the problem
of spacing correlations for zeros of L-functions appears to lie very deep.
All this leads to several basic questions.
Is there a theory in the global case, playing the same role as cohomology does
for Zeta functions of varieties over a field of positive characteristic? Is there an
analogue of a Frobenius automorphism in the classical case? Is there a general
index theorem by which one can prove the classical Riemann hypothesis? We are
here in the realm of conjectures and speculation. In the adelic setting propounded
by Tate and Weil, the papers [1], [5], [7] offer glimpses of a possible setup for these
basic problems.
On the other hand, there are L-functions, such as those attached to Maass
waveforms, which do not seem to originate from geometry and for which we still
expect a Riemann hypothesis to be valid. For them, we do not have algebraic and
geometric models to guide our thinking, and entirely new ideas may be needed to
study these intriguing objects.
References
[1] A. Connes, Trace formula in noncommutative geometry and the zeros of the Riemann zeta
function, Selecta Math. (NS) 5 (1999), 29–106.
[2] J.B. Conrey, More than two fifths of the zeros of the Riemann zeta function are on the critical
line, J. reine angew. Math. 399 (1989), 1–26.
[3] P. Deligne, La conjecture de Weil I, Publications Math. IHES 43 (1974), 273–308.
[4] P. Deligne, La conjecture de Weil II, Publications Math. IHES 52 (1980), 137–252.
[5] C. Deninger, Some analogies between number theory and dynamical systems on foliated
spaces, in Proc. Int. Congress Math. (Berlin 1998), Vol. I, Doc. Math., Bielefeld, 1998, 163–
186.
[6] H.M. Edwards, Riemann’s Zeta Function, Academic Press, New York, 1974.
[7] S. Haran, Index theory, potential theory, and the Riemann hypothesis, in L-functions and
Arithmetic, Durham 1990, LMS Lecture Notes 153, LMS, London, 1991, 257–270.
[8] G.H. Hardy, Divergent Series, Oxford Univ. Press, Oxford, 1949, 23–26.
[9] C. Hooley, On Waring’s problem, Acta Math. 157 (1986), 49–97.
[10] H. Iwaniec and P. Sarnak, Perspectives on the analytic theory of L-functions, in Geom. Funct.
Analysis, Special Volume, Part II (2000), 705–741.
[11] A. Ivič, The Riemann Zeta-Function — The Theory of the Riemann Zeta-Function with
Applications, John Wiley, New York, 1985.
[12] N.M. Katz and P. Sarnak, Random matrices, Frobenius eigenvalues and monodromy, Amer.
Math. Soc. Coll. Publ. 49, Amer. Math. Soc., Providence, RI, 1999.
[13] E. Landau, Primzahlen, Zwei Bd., IInd ed., with an Appendix by Dr. Paul T. Bateman,
Chelsea, New York, 1953.
[14] N. Levinson, More than one-third of the zeros of the Riemann zeta-function are on σ = 1/2,
Adv. Math. 13 (1974), 383–436.
[15] J. van de Lune, J.J. te Riele, and D.T. Winter, On the zeros of the Riemann zeta function
in the critical strip, IV, Math. of Comp. 46 (1986), 667–681.
[16] H.L. Montgomery, Distribution of the zeros of the Riemann zeta function, in Proceedings
Int. Cong. Math. Vancouver 1974, Vol. I, Canad. Math. Congress, Montreal, 1975, 379–381.
[17] A.M. Odlyzko, Supercomputers and the Riemann zeta function, in Supercomputing 89: Su-
percomputing Structures & Computations, Proc. 4-th Intern. Conf. on Supercomputing, In-
ternational Supercomputing Institute, St. Petersburg, FL, 1989, 348–352.
[18] B. Riemann, Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, in Monat.
der Königl. Preuss. Akad. der Wissen. zu Berlin aus der Jahre 1859 (1860), 671–680; also,
Gesammelte math. Werke und wissensch. Nachlass, 2. Aufl. 1892, 145–155.
[19] Z. Rudnick and P. Sarnak, Zeros of principal L-functions and random matrix theory, Duke
Math. J. 82 (1996), 269–322.
[20] A. Selberg, On the zeros of the zeta-function of Riemann, Der Kong. Norske Vidensk. Selsk.
Forhand. 15 (1942), 59–62; also, Collected Papers, Vol. I, Springer-Verlag, Berlin, 1989, Vol.
I, 156–159.
[21] F. Severi, Sulla totalità delle curve algebriche tracciate sopra una superficie algebrica, Math.
Annalen 62 (1906), 194–225.
[22] C.L. Siegel, Über Riemanns Nachlaß zur analytischen Zahlentheorie, Quellen und Studien
zur Geschichte der Mathematik, Astronomie und Physik 2 (1932), 45–80; also Gesammelte
Abhandlungen, Bd. I, Springer-Verlag, Berlin, 1966, 275–310.
[23] E.C. Titchmarsh, The Theory of the Riemann Zeta Function, 2nd ed. revised by R.D. Heath-
Brown, Oxford Univ. Press, Oxford, 1986.
THE RIEMANN HYPOTHESIS 11
[24] R. Taylor and A. Wiles, Ring theoretic properties of certain Hecke algebras, Annals Math.
141 (1995), 553–572.
[25] A. Weil, Œuvres Scientifiques–Collected Papers, corrected 2nd printing, Vol. I, Springer-
Verlag, New York, 1980, 280–298.
[26] A. Weil, Sur les courbes algébriques et les variétés qui s’en déduisent, Hermann & Cie , Paris,
1948.
[27] A. Weil, Sur les “formules explicites” de la théorie des nombres premiers, Meddelanden Från
Lunds Univ. Mat. Sem. (dedié à M. Riesz), (1952), 252–265; also, Œuvres Scientifiques–
Collected Papers, corrected 2nd printing, Vol. II, Springer-Verlag, New York, 1980, 48–61.
[28] A. Wiles, Modular elliptic curves and Fermat’s Last Theorem, Annals Math. 141 (1995),
443–551.