[Math] Some clarifications on Connes’ approach to RH

ag.algebraic-geometryalgebraic-number-theoryanalytic-number-theoryho.history-overviewreference-request

How serious/promising is Connes' work on the Riemann Hypothesis?

Connes is mostly known these days for his work in non-commutative geometry, having previously earned a Fields medal*
for his work on the classification of factors. He is a trusted mathematician with deep insights.

On the other hand, his essay on RH doesn't seem to identify one clear idea on how to approach the problem. At least, none that I can see.

I'm wondering if anybody looked into it. After all, he seems to have been working on RH, one way or another, for twenty years, now.

I am mostly curious, specifically, in conceptual reasons (if any) why this approach is, or may be, regarded as "not promising", or "conceptually incorrect", in contrast to the other questions already on MO, that usually inquire about what such approach may or may not be "still missing", or what it already accomplishes.

*See Araki's article for the 1983 ICM Proceedings (requires subscription; the entire proceedings are free via https://www.mathunion.org/icm/proceedings

Best Answer

Answering to this kind of questions is not an easy task, but one can sympathize with the curiosity.

Just some personal thoughts.

To my mind, an approach to RH could be regarded as "serious" (by which I mean "with hope to at least yield interesting and genuinely new partial or related results") essentially in the sole case it also yields, as a bi-product of the methods, a "cohomological construction" of Hasse-Weil $L$-functions and zeta functions (completed with their respective archimedean local factors as predicted by Serre) for all smooth projective varieties over number fields, much as for Grothendieck's cohomological construction of $L$- and zeta functions of smooth projective varieties over finite fields using geometric $\ell$-adic cohomology.

This would be a first hint at how promising such approach can hope to be.

We currently lack insight into where such cohomological interpretation could possibly come from, and such accomplishment will probably entail the introduction of some kind of analytic geometry "over the integers", imbuing both complex, real, and $p$-adic analytic geometry, on equal or comparable footing.

The literature does contain evidence, at times even explicit and quite strikingly strong, for the existence of such cohomological interpretation to (completed) $L$- and zeta functions, or for why one should expect it.

Connes' work seems to suggest non-commutative geometry should somehow provide the (or, maybe more appropriately, "an") answer, although I honestly cannot fathom how (but, probably, that's just me). It seems to me Connes does humbly acknowledge that he doesn't either.

I'm not sure to what extent he himself puts trust into his more recent preprints on the matter ("arithmetic and scaling sites" etc. I think).

I personally do not believe for a moment, that the datum of a site (essentially a piece of algebra) and as simple minded as those put forth there, can possibly encode deep analytic information such as some arithmetic analog of Hodge-Weil positivity, to which RH should amount.

There's also, spread over some literature, a line of thought that seems to suggest that a cohomological interpretation to $L$- and/or zeta functions of smooth projective varieties over number fields could come out of a version of Topological Hochschild Homology, but this really doesn't sound promising either.

Even if this were the case, remember that even over finite fields, the crux of the matter was not, in the end, (just) coming up with a robust enough cohomological formalism able to provide spectral interpretations to zeta functions of smooth projective varieties over finite fields. Grothendieck did so, but he, remarkably enough, did not succeed in proving RH anyway.

So, betting everything (or much) on the fruitfulness of a cohomology theory in its own right, amounts to me to burying the problem under a pile of formal nonsense in the hope it solves itself on its own, without actually gaining a deeper understanding of it.

Back to Connes' work, I believe one thing he's trying to do, by keeping working on it to some extent to this day (which he can do fearlessly, since he's already had a life rather full of remarkable accomplishments) is keeping the interest and fascination into the problem "alive", the risk being, otherwise, that nobody will ever try to ever even touch it, given the mythology surrounding it.

Of course, at the end of the day, what we lack of is not a cohomology theory, technical prowess, motivation, or inspiration, but, simply, a real idea.