Katia Consani has kindly written the following post for the NCG blog. Many thanks to Katia!
I like to think that from his grave in St. Petersburg, Euler is probably quite pleased to see how far his studies on ``Analysis Infinitorum'' have been successfully developed in these past 224 years from his death. The book "Introductio in analysis infinitorum"(1748) has been translated into English in 2 books, a few years ago, by John D. Blanton. Stimulated by the nice post of Alain Connes reporting on the "Euler Festival", Euler's arithmetical and geometrical achievements and re-interpretation of the concept of infinitesimal variables in quantized calculus, I rushed to the library to glance again into these books and pleasantly re-discover some parts.
I find these 2 books truly exciting and inspiring for the clarity of the style and of course for the original concepts developed by Euler. These include for example, ideas "on series which arise from products", or "on continued fractions", just to mention the title of some of the chapters. It is also funny to report that in the translator's introduction, Blanton notes that the (final)encouragement for the translation of that book came from a remark he heard from Andre Weil, in 1979, when Weil spoke on the Life and Works of Leonhard Euler at the University of Rochester. Apparently, Weil claimed that he was trying to convince the mathematical community that the students of mathematics would profit much more from a study of Euler's "Introductio in analysis infinitorum", rather than of the available modern textbooks...
Andre Weil wrote also a nice and instructive long chapter commenting on the life and the scientific achievements of Euler in his book "Number Theory, an approach through history" (Birkhauser). Quoting from Weil's book (cfr. par. XVIII, p. 261): "...So much work has been done on the series zeta(n)"--Euler writes in 1735-- "that it seems hardly likely that anything new about them may still turn up..." Nevertheless as Weil remarks, for the next ten years Euler never relaxed his efforts to put his conclusions, for example on zeta(2), on a sound basis. His attention had been drawn also by his earlier work on the gamma-function (the factorial function in Euler's words) to infinite products in their relation to infinite series "...in them [infinite products] the factors proceed accordingto the prime numbers, whose progression is no less irregular [than the terms in Goldbach's series]...". A few years later, Riemann would take the "eulerian products" for zeta(s) as the starting point in his studies in number-theory and he would eventually introduce a"complete" version of zeta(s), inclusive of a gamma factor and satisfying a functional equation.
The definition and the study of what is today called the gamma-function is in fact one of the great achievements of Euler'sstudies in arithmetic. He extended the factorial function n! from the naturals to all real numbers greater than -1 by writing the formula
and observing that the integral on the right of this formulaconverges for non integers values of n, provided that . Later on, Riemann proved that the gamma function (i.e. theEuler's integral on the right side of the formula) which is in fact defined for all complex numbers s in the half-plane , canbe analytically extended to define an analytic function of a complexvariable s, with simple poles at the negative integers and no zeroes. The description of this function has apparently nothing in common with the "eulerian factor" , nonetheless it is only when one completes with a suitable gamma factor that the resulting function behaves very nicely (i.e. satisfies a functional equation). One says that the gamma function is the contribution arising from the "archimedean prime infinity" (i.e. from the archimedean evaluation of Q). Legendre, subsequently introduced the notation in place of the original . This notation prevailed in France and, by the end of the nineteenth century, in the rest of the world as well. With this modification, the set of zeroes of is the set of the natural numbers.
This fact should bring us back on some of the earlier posts on thisBlog, on operators whose spectrum is the set of the natural numbers.In fact, it turns out that the the archimedean factor that enters inthe definition of the complete zeta function, i.e. what is today written as
and also the archimedean factor
that is included, together with , in the description of the complete Hasse-Weil L-function of algebraic varieties defined over number fields (i.e. higher arithmetic generalizations of the Riemann zeta function), both have a nice description as the inverse of a regularized determinant det_\infty(s-T) for the action of a self-adjoint operators T (archimedean frobenius...) on an infinite-dimensional real vector space H (cfr. C. Deninger "On theGamma-factors attached to motives", Invent. Math. 104 (1991) and C.Consani "Double complexes and Euler L-factors", Compositio Math. 111(1998)).
At this point, one naturally wonders whether a precise geometri cconstruction is lurking from such a re-interpretation of the gammafactors and in particular whether NCG, with its sophisticated machinery of spectral triples, can help in proving this expectation. In other words, is there a noncommutative space endowed with a representation in a Hilbert space and a Dirac operator supportingt his classical arithmetic theory? Of course, the first natural candidates for the Hilbert space and the Dirac operator are the aforementioned real vector space H and the unbounded self-adjoint operator T. However, we know that from the mere knowledge of these two objects one cannot expect to reconstruct a noncommutative manifold: the relevant information arises from the definition of an involutive algebra (acting on a Hilbert space).
It turns out though, that the definition of the real vector space H is in fact quite geometrical! H is an infinite direct sum, indexed over the natural numbers, of real de-Rham cohomology groups associated to smooth, projective algebraic varieties (a point for the case of which are naturally related to the definition of these zeta-functions. Moreover, with a bit more of technical effort (cfr.C. Consani and M. Marcolli "Noncommutative geometry, dynamics and infinitely-adic Arakelov geometry" Selecta Math. 10 (2004)) one can show that the archimedean part of the zeta-function of an arithmetic surface of genus at least 2, indeed coincides with a precise zeta-function in a family of zetas associated to a noncommutative manifold. This manifold supplies the arithmetical data in two possible ways, either with a construction performed in its interior or with a second construction carried out on its boundary.
I like to conclude this post by saying that these results give evidence to the statement that NCG successfully carries on Euler's geometrical legacy!