In his 1951 report Sur la théorie du corps de classes, Weil writes that

La recherche d'une interprétation de $C_k$ si $k$ est un corps de nombres, analogue en quelque manière à l'interprétation par un groupe de Galois quand $k$ est un corps de fonctions, me semble constituer l'un des problèmes fondamentaux de la théorie des nombres à l'heure actuelle; il se peut qu'une telle interprétation renferme la clef de l'hypothèse de Riemann ….

As requested by @PeteL.Clark, a translation (by @TonyScholl):

The search for an interpretation for $C_k$, where $k$ is a number field—in some way analogous to its interpretation by a Galois group when $k$ is a function field—seems to me to be one of the fundamental problems of number theory today; perhaps such an interpretation contains the key to the Riemann hypothesis ….

Here, $C_k$ is of course the idèle class group of the number field $k$.

I've heard that some people working in noncommutative geometry have thought about this problem.

Question. What progress has since been made towards such an interpretation?

  • 4
    $\begingroup$ Could we get a translation of Weil's quote? (I myself do mostly understand it and could give some kind of translation, but many others would do a better job.) $\endgroup$ – Pete L. Clark Oct 6 '10 at 17:43
  • 8
    $\begingroup$ It would be more fun if the non-commutative people could say something about the Weil group $W_k$ of a number field, rather than its (topological) abelianization $C_k$. :) $\endgroup$ – BCnrd Oct 6 '10 at 18:01
  • 6
    $\begingroup$ @Pete: "The search for an interpretation for $C_k$, where $k$ is a number field - in some way analogous to its interpretation by a Galois group when $k$ is a function field - seems to me to be one of the fundamental problems of number theory today; perhaps such an interpretation contains the key to the Riemann hypothesis..." $\endgroup$ – Tony Scholl Oct 6 '10 at 18:27

Interpreting "progress" in a different (perhaps more controversial!) way than in Tony Scholl's answer, one could also mention that Langlands (followed by Kottwitz and perhaps others) has introduced a hypothetical group $L_k$ which should be even bigger than $W_k$, normally referred to as the Langlands group, which should bear the same relationship to arbitrary automorphic forms as $C_k$ does to Grossencharacters.

It might help to remark that the algebraic Grossencharacters correspond geometrically to abelian varieties with CM, and so the algebraic envelope of $C_k$ (the associated pro-algebraic torus through which all algebraic Grossencharacters factor) is the Tannakian group of the category of motives over $k$ generated by the Tate motive together with the motives of all abelian varieties over $k$ which have CM defined over $k$.

The algebraic envelope of $W_k$ (which is now a non-commutative reductive pro-algebraic group) is the Tannakian group of the category of motives over $k$ generated by motives which are potentially CM, i.e. which become CM motives (i.e. belong to the category considered in the preceding paragraph, i.e. are classified by an algebraic Grossencharacter on $C_l$) over some extension $l$ of $k$. This category contains all Artin motives, for example.

The algebraic envelope of $L_k$ should be the Tannakian group of the category of all motives over $k$.

So the problem of constructing $L_k$ can be thought of, from this point of view, as the problem of enlarging the category of motives so that one can make sense of motives with "non-integral Hodge grading" (i.e. has $h^{p,q}$ for $p$ and $q$ complex numbers that are not necessarily integral); $L_k$ would then be (some version of) the Tannakian group of this category.

Going back to $C_k$, from this optic one would like to generalize the notion of CM abelian variety to include objects with non-integral Hodge gradings, which would give rise to non-algebraic Grossencharacters in the way that usual CM abelian varieties correspond to algebraic Grossencharacters.

And of course, for $W_k$, once wants to generalize potentially CM abelian varieties in the same way.

  • 1
    $\begingroup$ Arthur discusses the Langlands group in claymath.org/cw/arthur/pdf/automorphic-langlands-group.pdf $\endgroup$ – Chandan Singh Dalawat Oct 7 '10 at 2:41
  • 1
    $\begingroup$ I came across a slightly different perspective on the local Langlands group in Knapp's Introduction to the Langlands program, in Representation theory and automorphic forms (Edinburgh, 1996), pp. 245-302, Proc. Symp. Pure Math. 61, AMS, 1997. (math.sunysb.edu/~aknapp/pdf-files/245-302.pdf) $\endgroup$ – Chandan Singh Dalawat Oct 11 '10 at 4:26

Although this isn't at the moment heading towards the Riemann hypothesis, the most promising line of research in this area seems to be Lichtenbaum's Weil-etale cohomology. In the 1951 paper you cite, Weil constructed, for any finite Galois extension $K/k$, a topological group $W_{K/k}$ which is an extension of the Galois group $\rm{Gal}(K^{ab}/k)$ by the connected component $D_K$ of $C_K$. (See sec.11.6 of Tate's article in Cassels-Frohlich, or his article in vol.2 of Corvallis). This inverse limit of the groups $W_{K/k}$ over all $K/k$ is the Weil group $W_k$ of $k$, a huge topological group.

Lichtenbaum's idea is to interpret special values of $L$-functions using a suitable cohomology theory for $W_k$. In fact one wants to work with some sort of sheaves over the ring of integers of $k$, not just over $\mathop{\rm{Spec}}(k)$. In the function field case, there is a well-developed theory, initiated by Lichtenbaum and worked out in considerable generality by Geisser. (Function fields are easier because then $D_k$ is trivial). For number fields, things are much harder but there has been recent progress by Baptiste Morin - see his 2 recent preprints on arxiv.

  • $\begingroup$ Many thanks for the answer (and the translation). I was vaguely aware of the work of Lichtenbaum and Geisser but had not made the connection with Weil's problem. $\endgroup$ – Chandan Singh Dalawat Oct 7 '10 at 4:29

Connes reformulates Weil's question here as: "Is there a non trivial Brauer theory of central simple algebras over $\mathbb{C}$ ?" and tells his solution of his reformulation in the context of a "cosmic galois group" in renormalization here.

Edit: Morava wrote on Weil group representations coming from algebraic topology. The bibl. list at the end of his article shows Weil's article with the question on $C_k$. It would be great if someone would look at it and tell more about it , please understandable for a non-(algebraic topologist) :-)

Edit: Lieven le Bruyn runs a seminar on "a possible connection between Connes’ noncommutative geometry approach to the Riemann hypothesis and the Langlands program", and will post lecture notes on his blog if enough people are interested.

  • $\begingroup$ It is indeed the interest shown by people like Connes which led me to ask the question. $\endgroup$ – Chandan Singh Dalawat Oct 17 '10 at 12:08
  • $\begingroup$ Do you know if Connes' ideas relate to the Langlands-program or Lichtenbaum's cohomology? $\endgroup$ – Thomas Riepe Oct 17 '10 at 12:45
  • $\begingroup$ No, I don't know of any connection. But both these answers have been very interesting. $\endgroup$ – Chandan Singh Dalawat Oct 18 '10 at 4:59
  • $\begingroup$ Yes, thanks for asking that question! Now I wonder what else may fit to that context and which sub-themes show up in all (Langlands, Lichtenbaum,Connes,...) of them. E.g. belongs Deningers mythical "arithmetic site" to it? Shows a "cosmic galois group" up there? Have all of those theories something to do with quantization? $\endgroup$ – Thomas Riepe Oct 18 '10 at 13:27
  • 2
    $\begingroup$ Manin suggested that Deninger's "arithmetic site" should come from a theory of motives over the "absolute point" and that that absolute point should be thought of as $Spec \mathbb{F}_1$. The BC-system also appears to be related to the field with one element (cf Connes-Consani-Marcolli), and even earlier Smirnov suggested that realizing $Spec \mathbb{Z}$ as a curve over $\mathbb{F}_1$ could allow to translate Weil's proof of RH, so I'd say there is something about $\mathbb{F}_1$ here. And the field with one element does have to do with quantization. $\endgroup$ – javier Oct 26 '10 at 10:33

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.