This year's Abel Prize has been awarded to the Belgian mathematician Pierre Deligne for "seminal contributions to algebraic geometry and for their transformative impact on number theory, representation theory, and related fields". The Abel Prize was established in 2003 in memory of the Norwegian mathematician Niels Henrik Abel. It's awarded annually by the Norwegian Academy of Science and Letters and makes up for the fact that there isn't a Nobel Prize in mathematics.
Pierre Deligne.
Deligne has been honoured for a whole body of work, but there is one result that is particularly striking. It has its origin in the work of the legendary
18th century mathematician Leonhard Euler. Euler was considering
sums of the form
and
What happens when you
let get larger and the larger, that is when you add more and more terms to those sums? In the first case the sum
gets arbitrarily large as you increase : you can make it as large as you like simply by
adding more terms. Mathematicians say that the infinite sum
diverges. In the second case the sum also gets larger
and larger -- but this time it never goes beyond the number You can make get arbitrarily close to by increasing , but never any bigger. The infinite sum
is said to
converge to .
Thus, introducing the power two in the denominators of the fractions has made a huge difference. What about introducing other powers? It turns out that the series
converges for
any power that is greater than 1. This turns into a function of . For every the value of is the number the corresponding sum converges to.
But Euler made another remarkable discovery. In 1737 he proved that the infinite sum
could be written as an infinite
product
This is quite an intriguing result: what started out as an expression involving all the natural numbers 1,
2, 3, ... turned into an expression involving only the prime numbers.
Bernhard Riemann, 1826-1866.
More than a hundred years after Euler, the German mathematician Bernhard Riemann considered Euler's so-called zeta function again, making another remarkable connection and shedding light on a problem that has
intrigued mathematicians for centuries: just how are the prime numbers
distributed among the other numbers?
Euler's zeta function takes real
numbers (greater than 1) as input and returns real numbers as
output. Riemann considered an extended version of the zeta function which involved a slightly more exciting set of numbers:
complex numbers. You build them by pretending that the equation
has a solution (which of course it hasn't in the real numbers) and calling that solution The complex numbers are numbers of the form
where and are real numbers. You can define addition, subtraction, multiplication and division, for example, you add two complex numbers and like this:
and you multiply them like this
(recalling that )
What's more, there is also a geometric interpretation of complex numbers: you can identify each complex number with the point on the plane that has coordinates The ordinary real numbers sit inside the complex numbers -- they are of the form -- and they correspond to points on the plane whose second coordinate is 0. Riemann's zeta function takes complex numbers as input and returns complex numbers as output and it agrees with Euler's function for real numbers with
With remarkable insight Riemann recognised that his function could give you information about the primes. The
prime number theorem states that the number of primes you find below a given number is approximately equal to Since this is only an estimate, the obvious question is by how much the formula misses the correct value: you want to know the error term. Riemann realised that the complex numbers for which could give you information about that error term. He conjectured that all these so-called
zeroes (or at least the interesting ones) are of the form in other words they correspond to points on the plane whose first coordinate is If this hypothesis is true, then this puts tight bounds on how large that error term can be.
To this day Riemann's famous hypothesis has not been proved: it presents one of the hardest unsolved problems in mathematics, some would argue
the hardest one.
So far all this has been about numbers, but Deligne's work has been in
a field called
algebraic geometry. Where is the connection? Tim Gowers has written an excellent overview of this, so we'll borrow some of his insight to give a cursory glance.
That algebra is connected to geometry is something we are all familiar with from school. If you give the points on the
plane coordinates , then the equation
defines a circle: it consists of all the points that are at distance 1 from the
point . So algebra can define geometric shapes.
The Abel Prize is named after the Norwegian mathematician Niels Henrik Abel, 1802-1829.
In this example the numbers and we considered as coordinates were just
ordinary real numbers. But there are other sets of numbers too. We've already met the complex ones, but you can also consider the hours on a clock, starting at 0 and going all the way around to 11. They are ordinary natural
numbers with the important difference that when adding hours you start
again from the beginning when you've gone once around the clock. You could do this for
any other number too. For example, in a three-hour day
you have 2+1=0, 2+2=1 and so on. The numbers from 0 to 2 with
this form of addition form what is called the
field
. Unlike the real, natural or complex numbers, this field contains
only a finite amount of numbers.
Now you can ask yourself what happens to the circle if you are only
allowing and to be members of : which numbers and are
members of and at the same time satisfy the equation
It turns out that our "circle" now only contains four points: and
Now you can build a bigger field from in a similar way to how you built the complex numbers. The equation
has no solution in but let's nevertheless give that non-existing solution a name, say It plays the same role as in the complex numbers: we look at numbers of the form
where and are elements of As for the complex numbers there is a notion of addition, subtraction, multiplication and division for this new field. But as our original field this new field contains only a finite amount of numbers: it contains of them. Using a similar approach (adding solutions to particular equations) you can construct a whole sequence of fields
where the subscripts indicate the number of elements of each field. And you can do this not just for the number three but for any prime number to get a sequence
For each of these sequences you can ask how many points the "circle" given by our equation
contains. This will give you a sequence of numbers:
(the number of points in the circle for ), (the number of points in the circle for ), (the number of points in the circle for ), and so on.
And there is more room for play. Rather than just considering the equation of a circle
you can consider any set of equations (to be precise, any set of
polynomial equations). Again, given a sequence of fields
you get a sequence of numbers
each number giving the number of solutions that exist for the set of equations in the corresponding field.
And now we are slowly approaching the connection to the Riemann hypothesis. Riemann's zeta function, if the hypothesis is true, gives us information about the error terms associated to the prime number theorem. Now given a sequence of numbers coming from a sequence of fields as described above you can form a function
$$Z(x) = \exp{\left(b_1x + \frac{b_2x^2}{2}+\frac{b_3x^3}{3}+\frac{b_4x^4}{4}+...\right).n=x_1^2+ x_2^2+....+x_{24}^2.$$ How many such sets are there? It turns out that there is an approximate formula in terms of the number . But it's only an
estimate so again you would like to know information about the error is for each .
In 1916 the legendary Indian mathematician Srinivasa Ramanujan suggested bounds for that error term. It later turned out that Ramanujan was right: that's a consequence of Weil's analogue of the Riemann hypothesis.
In 1974 Deligne proved Weil's analogue of the Riemann hypothesis in what the Abel Prize citation describes as a "real tour de force". And the citation continues, "Deligne's powerful concepts, ideas, results and methods continue to influence the development of algebraic geometry, as well as mathematics as a whole." The original Riemann hypothesis, though, remains tantalisingly open.
Further reading
Comments
Query
How is (2,0) a solution ??
Am I missing something about multiplying the nos. of F3 ??
Please reply @ amandeepji@gmail.com
RE: Query
It must be a mistake. The only two points that satisfy the equation are (0, 1) and (1, 0). (0, 0), (0, 2), (1, 1), (1, 2), (2, 0), (2, 1) and (2, 2) are the other points from the field, and none of them satisfy the equation.
2^2+0^2=4+0=1 (mod 3)
2^2+0^2=4+0=1 (mod 3)