conjectures

"The twin conjectures of Hodge and Tate have a status in algebraic and arithmetic geometry similar to that of the Riemann hypothesis in analytic number theory."

"It tells us that they are very nicely distributed, about as evenly and as good as altogether possible. One cannot expect a completely even distribution, of course. But it tells us that at least in mathematics, certainly in number theory, we live in Leibniz’ “best possible of all worlds”, just as the good Candide in Voltaire’s ' is told by his teacher that he lives in the best of all possible worlds. Well, in number theory at least, one has the best relation possible among primes, even though we cannot prove it yet. It would give me great satisfaction to see a proof, because it would demonstrate that there are some things that are right in this world. There are so many other things that do not work as they should, but at least for the prime numbers, and of course also for the zeros of the zeta function, they are distributed as well as they could be."

"A substantial portion of Weil’s research was motivated by an effort to prove the Riemann hypothesis concerning the zeroes of the Riemann zeta function. He was continually looking for new ideas from other fields that he could bring to bear on a proof. He commented on this matter in a 1979 interview:... Asked what theorem he most wished he had proved, he responded, “In the past it sometimes occurred to me that if I could prove the Riemann hypothesis, which was formulated in 1859, I would keep it secret in order to be able to reveal it only on the occasion of its centenary in 1959. Since 1959, I have felt that I am quite far from it; I have gradually given up, not without regret.”"

"The dependence of so many results on Riemann's challenge is why mathematicians refer to it as a hypothesis rather than a conjecture. The word 'hypothesis' has the much stronger connotation of a necessary assumption that a mathematician makes in order to build a theory. 'Conjecture', in contrast, represents simply a prediction of how mathematicians believe their world behaves. Many have had to accept their inability to solve Riemann's riddle and have simply adopted his prediction as a working hypothesis. If someone can turn the hypothesis into a theorem, all those unproven results would be validated."

"In the spring of 1997, Connes went to Princeton to explain his new ideas to the big guns: Bombieri, Selberg and Sarnak. Princeton was still the undisputed Mecca of the Riemann Hypothesis despite Paris's push to reclaim its dominance. Selberg had become godfather to the problem - nothing could pass muster before being vetted by a man who had spent half a century doing battle with the primes. Sarnak was the young gun whose rapier-like intellect would cut through anything that was found slightly wanting. He'd recently joined forces with Nick Katz, also at Princeton, one of the undisputed masters of the mathematics developed by Weil and Grothendieck. Together they had proved that the strange statistics of random drums that we believe describe the zeros in Riemann's landscape are definitely present in the landscapes considered by Weil and Grothendieck. Katz's eyes were particularly sharp, and little escaped his penetrating stare. It was Katz who, some years before, had found the mistake in Wiles's first erroneous proof of Fermat's Last Theorem. And finally there was Bombieri, sitting in state as the undisputed master of the Riemann Hypothesis. He had earned his Fields Medal for the most significant result to date about the error between the true number of primes and Gauss's guess - a proof of something mathematicians call the 'Riemann Hypothesis on average'. In the quiet of his office overlooking the woods that surround the Institute, Bombieri has been marshalling all his insights of previous years for a final push for the complete solution. Bombieri, like Katz, has a fine eye for detail. A keen philatelist, he once had the chance to purchase a very rare stamp to add to his collection. After scrutinising it carefully he discovered three flaws. He returned the stamp to the dealer, pointing out two of them. The third subtle flaw he kept to himself - in case he is offered an improved forgery at a future date. Any aspiring proof of the Riemann Hypothesis is subjected to an equally painstaking examination."

"The conjecture discovered jointly by Peter Swinnerton-Dyer and Bryan Birch in the early 1960s both surprised the mathematical world, and also forcefully reminded mathematicians that computations remained as important as ever in uncovering new mysteries in the ancient discipline of number theory. Although there has been some progress on their conjecture, it remains today largely unproven, and is unquestionably one of the central open problems of number theory. It also has a different flavour from most other number-theoretic conjectures in that it involves exact formulae, rather than inequalities or asymptotic questions."

"Just as Weil's conjectures were about counting solutions to equations in a situation where the number of solutions is known to be finite, the BSD conjecture concerns the simplest class of polynomial equations—elliptic curves—for which there is no simple way to decide whether the number of solutions is finite or infinite."

"Thanks to their conjecture, Birch and Swinnerton-Dyer are two names that (to mathematicians) are as inextricably linked as the names of Laurel and Hardy, although many have been tricked into believing that there are in fact three mathematicians behind the conjecture - Birch, Swinnerton and Dyer. Birch, with his rather bumbling manner, plays Stan Laurel to Swinnerton-Dyer's rather dour Oliver Hardy."

"This remarkable conjecture relates the behaviour of a function L at a point where it is not at present known to be defined to the order of a group Ш which is not known to be finite."

"In his 1950 Congress address, Hodge reported on the topological and differential-geometric methods in studying algebraic varieties and complex manifolds which had been initiated by Lefschetz and developed by Hodge himself. He raised there many problems, and most of them were settled in 1950's by extensive works due to Kodaira and others. One notable exception to this is the so-called Hodge Conjecture which, if true, will give a characterization of cohomology classes of algebraic cycles on a nonsingular projective variety, generalizing the Lefschetz criterion for the case of divisors. This conjecture has an arithmetic flavour, as is common to most problems concerning algebraic cycles, which makes the problem interesting and difficult at the same time."

"I believe that the vast majority of statements about the integers are totally and permanently beyond proof in any reasonable system. Here I am using proof in the sense that mathematicians use that word. Can statistical evidence be regarded as proof ? I would like to have an open mind, and say ‘Why not?’. If the first ten billion zeros of the zeta function lie on the line whose real part is 1/2, what conclusion shall we draw? I feel incompetent even to speculate on how future generations will regard numerical evidence of this kind."

"The Riemann hypothesis is, and will hopefully remain for a long time, a great motivation to uncover and explore new parts of the mathematical world. After reviewing its impact on the development of we discuss three strategies, working concretely at the level of the explicit formulas. The first strategy is “analytic” and is based on Riemannian spaces and and its comparison with the explicit formulas. The second is based on algebraic geometry and the . We establish a framework in which one can transpose many of the ingredients of the Weil proof as reformulated by , Tate and Grothendieck. This framework is elaborate and involves noncommutative geometry, es and . We point out the remaining difficulties and show that RH gives a strong motivation to develop algebraic geometry in the emerging world of characteristic one. Finally we briefly discuss a third strategy based on the development of a suitable “”, the role of Segal’s Γ-rings and of topological cyclic homology as a model for “absolute algebra” and as a cohomological tool."

"Hilbert, in his 1900 address to the Paris , listed the Riemann Hypothesis as one of his 23 problems for mathematicians of the twentieth century to work on. Now we find it is up to twenty-first century mathematicians! The Riemann Hypothesis (RH) has been around for more than 140 years, and yet now is arguably the most exciting time in its history to be working on RH. Recent years have seen an explosion of research stemming from the confluence of several areas of mathematics and physics."

"At the beginning of the new millennium the most famous unsolved problem in complex analysis, if not in all of mathematics, is to determine whether the Riemann hypothesis holds."

"The Hodge conjecture postulates a deep and powerful connection between three of the pillars of modern mathematics: algebra, topology, and analysis. Take any variety. To understand its shape (topology, leading to cohomology classes) pick out special instances of these (analysis, leading to Hodge classes by way of differential equations). These special types of cohomology class can be realised using subvarieties (algebra: throw in some extra equations and look at algebraic cycles). That is, to solve the topology problem 'what shape is this thing?' for a variety, turn the question into analysis and then solve that using algebra. Why is that important? The Hodge conjecture is a proposal to add two new tools to the algebraic geometer's toolbox: topological invariants and Laplace's equation. It's not really a conjecture about a mathematical theorem; it's a conjecture about new kinds of tools."

"The twin conjectures of Hodge and Tate have a status in algebraic and arithmetic geometry similar to that of the Riemann hypothesis in analytic number theory."