Skip to main content
1 of 2
user avatar
user avatar

Answering to this kind of questions is not an easy task.

First, some personal thoughts.

To my mind, an approach to RH may 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 discovery 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, maybe, 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 second, 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.

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

user87684