# Andre Weil on the Riemann hypothesis

Posted by lievenlb on Oct 12, 2008 in featured, outreach • 7 commentsDon’t be fooled by introductory remarks to the effect that ‘the field with one element was conceived by Jacques Tits half a century ago, etc. etc.’

While this is a historic fact, and, Jacques Tits cannot be given enough credit for bringing a touch of surrealism into mathematics, but this is not the main drive for people getting into F_un, today.

There is a much deeper and older motivation behind most papers published recently on . Few of the authors will be willing to let you in on the secret, though, because if they did, it would sound much too presumptuous…

So, let’s have it out into the open : **F_un mathematics’ goal is no less than proving the Riemann Hypothesis**.

And even then, authors hide behind a smoke screen. The ‘official’ explanation being “we would like to copy Weil’s proof of the Riemann hypothesis in the case of function fields of curves over finite fields, by considering spec(Z) as a ‘curve’ over an algebra ‘dessous’ Z namely “. Alas, at this moment, none of the geometric approaches over the field with one element can make this stick.

Believe me for once, the main Jugendtraum of most authors is to get a grip on cyclotomy over . It is no accident that Connes makes a dramatic pauze in his YouTubeVideo to let the viewer see this equation on the backboard

But, what is the basis of all this childlike enthusiasm? A somewhat concealed clue is given in the introduction of the Kapranov-Smirnov paper. They write :

“In [?] the affine line over was considered; it consists formally of 0 and all the roots of unity. Put slightly differently, this leads to the consideration of “algebraic extensions” of . By analogy with genuine finite fields we would like to think that there is exactly one such extension of any given degree n, denote it by .

Of course, does not exist in a rigorous sense, but we can think if a scheme contains n-th roots of unity, then it is defined over , so that there is a morphism

**The point of view that adjoining roots of unity is analogous to the extension of the base field goes back, at least to Weil (Lettre a Artin, Ouvres, vol 1) and Iwasawa…**“

Okay, so rush down to your library, pick out the first of three volumes of Andre Weil’s collected works, look up his letter to Emil Artin written on July 10th 1942 (19 printed pages!), and head for the final section. Weil writes :

“Our proof of the Riemann hypothesis (in the function field case, red.) depended upon the extension of the function-fields by roots of unity, i.e. by constants; the way in which the Galois group of such extensions operates on the classes of divisors in the original field and its extensions gives a linear operator, the characteristic roots (i.e. the eigenvalues) of which are the roots of the zeta-function.

On a number field, the nearest we can get to this is by adjunction of -th roots of unity, being fixed; the Galois group of this infinite extension is cyclic, and defines a linear operator on the projective limit of the (absolute) class groups of those successive finite extensions; **this should have something to do with the roots of the zeta-function of the field**. However, our extensions are ramified (but only at a finite number of places, viz. the prime divisors of ). Thus a preliminary study of similar problems in function-fields might enable one to guess what will happen in number-fields.”

A few years later, in 1947, he makes this a bit more explicit in his marvelous essay “L’avenir des mathematiques” (The future of mathematics). Weil is still in shell-shock after the events of the second WW, and writes in beautiful archaic French sentences lasting forever :

“L’hypothÃ¨se de Riemann, aprÃ¨s qu’on eut perdu l’espoir de la dÃ©montrer par les mÃ©thodes de la thÃ©orie des fonctions, nous apparaÃ®t aujourd’hui sous un jour nouveau, qui la montre insÃ©parable de la conjecture d’Artin sur les fonctions L, ces deux problÃ¨mes Ã©tant deux aspects d’une mÃªme question arithmÃ©tico-algÃ©brique, **oÃ¹ l’Ã©tude simultanÃ©e de toutes les extensions cyclotomiques d’un corps de nombres donnÃ© jouera sans doute le rÃ´le dÃ©cisif**.

L’arithmÃ©tique gaussienne gravitait autour de la loi de rÃ©ciprocitÃ© quadratique; nous savons maintenant que celle-ci n’est qu’un premier example, ou pour mieux dire le paradigme, des lois dites “du corps de classe”, qui gouvernent les extensions abÃ©liennes des corps de nobres algÃ©briques; nous savons formuler ces lois de maniÃ¨re Ã leur donner l’aspect d’un ensemble cohÃ©rent; mais, si plaisante Ã l’Å“il que soit cette faÃ§ade, nous ne savons si elle ne masque pas des symmÃ©tries plus cachÃ©es.

Les automorphismes induits sur les groupes de classes par les automorphismes du corps, les propriÃ©tÃ©s des restes de normes dans les cas non cycliques, le passage Ã la limite (inductive ou projective) **quand on remplace le corps de base par des extensions, par example cyclotomiques, de degrÃ© indÃ©finiment croissant, sont autant de questions sur lesquelles notre ignorance est Ã peu prÃ¨s complÃ¨te, et dont l’Ã©tude contient peut-Ãªtre la clef de l’hypothese de Riemann**; Ã©troitement liÃ©e Ã celles-ci est l’Ã©tude du conducteur d’Artin, et en particulier, dans le cas local, la recherche de la reprÃ©sentation dont la trace s’exprime au moyen des caractÃ¨res simples avec des coefficients Ã©gaux aux exposants de leurs conducteurs.

Ce sont lÃ quelques-unes des directions qu’on peut et qu’on doit songer Ã suivre afin de pÃ©nÃ©trer dans le mystÃ¨re des extensions non abÃ©liennes; il n’est pas impossible que nous touchions lÃ Ã des principes d’une fÃ©conditÃ© extraordinaire, et que le premier pas dÃ©cisif une fois fait dans cette voie doive nous ouvrir l’accÃ¨s Ã de vastes domaines dont nous soupÃ§onnons Ã peine l’existence; car jusqu’ici, pour amples que soient nos gÃ©nÃ©ralisations des rÃ©sultats de Gauss, on ne peut dire que nous les ayons vraiment dÃ©passÃ©s.”

Print This Post
Hah!! I’m no mathematician, but that was pretty obvious! Hmmm, I see. So I’m supposed to shut up and not mention the Riemann hypothesis? That’s a bit tricky with zeta values lying all over the cutting room floor and particle masses lining up neatly in nice patterns.

????? Ive reread the post just now and i cannot understand where you got that ” So Iâ€™m supposed to shut up and not mention the Riemann hypothesis?” from.

Perhaps you took the bold sentence on F_un mathematics as a mission statement of this blog (I’d wish it were…) but then i didnt express myself well. When i say ‘F_un mathematics’ in such a context i mean the collective work of all people interested in the field with one element. Perhaps we should change the title of this blog to CNPUC (ceci n’est pas un corps) anyway, as some people already do.

So, please go on writing exciting posts teaching ‘us mathematicians’ the connections between the RH and physics!

It was the statement:

few of the authors will be willing to let you in on the secret…and the implied professional constraints. But please keep the blog title as is … I’m already tired of people pointing out the reference to the pipe.Lol, my own motivations are waaaaay less elevated than RH, and can be summarized as this: enter an emerging field, publish

npapers before it gets too crowded, so that I can obtain my next post-doc with some guarantees, and then take my rucksack and walk to the next village as soon as there are too many people around. But also, I think I am the only one who didn’t understand the reference to the pipe until someone pointed it out… shame on my artistic culture!gausienne –> gaussienne, nus –> nous

aprÃ¨s quâ€™on eu perdu –> aprÃ¨s qu’on eut perdu.

Let no one add a circumflex on the “u” of “eut”: “aprÃ¨s que” is followed by the indicative, not the conjunctive. The conjunctive IS often used nowadays, though. Probably because of a false analogy with “avant que”, which is indeed followed by the conjunctive. The classical rule follows the flawless logic that the past is certain but not the future (maybe medieval grammarians knew quantum mechanics ?)

Happy New Year to you, Lieven, and to all those who have the good taste to read your blog.

@chandan, @georges : it took me a bit to figure out what’s going on, but i discovered the MathOverflow topic and answer now… and read through the comments

I thank Ed Dean for linking to the Fun-post, Chandan for correcting the misspellings and Georges for the kind words. I agree with Georges that a cut© of a blogpost-quoted text does not require a link to that post (though it is always much appreciated). It is rewarding to see these old posts getting a second chance…

I wish you all a lot of mathematical (and other) fun in 2011 :: lieven.