  This paper explores analogies between the Weil proof of the Riemann
hypothesis for function fields and the geometry of the adeles class space,
which is the noncommutative space underlying Connes' spectral realization of
the zeros of the Riemann zeta function. We consider the cyclic homology of the
cokernel (in the abelian category of cyclic modules) of the ``restriction map''
defined by the inclusion of the ideles class group of a global field in the
noncommutative adeles class space. Weil's explicit formula can then be
formulated as a Lefschetz trace formula for the induced action of the ideles
class group on this cohomology. In this formulation the Riemann hypothesis
becomes equivalent to the positivity of the relevant trace pairing. This result
suggests a possible dictionary between the steps in the Weil proof and
corresponding notions involving the noncommutative geometry of the adeles class
space, with good working notions of correspondences, degree and codegree etc.
In particular, we construct an analog for number fields of the algebraic points
of the curve for function fields, realized here as classical points (low
temperature KMS states) of quantum statistical mechanical systems naturally
associated to the periodic orbits of the action of the ideles class group, that
is, to the noncommutative spaces on which the geometric side of the trace
formula is supported.
