On the analogy between Deninger dynamical systems and the Weil-étale topos (Q654020)

In a one-hour report of ICM 1998, \textit{C. Deninger} [Doc. Math., J. DMV , 23--46 (1998; Zbl 0899.14001)] conjectured a cohomological formalism for algebraic varieties over rings of integers of number fields which relates to arithmetic zeta functions, particularly to Riemann zeta function; as well-known, here for these zeta functions there exists the Hasse-Weil conjecture. Such a conjectural arithmetic cohomology can be taken as a counterpart of \(\ell\)-adic cohomology, developed by Grothendieck's school for the construction of a Weil cohomology, for algebraic varieties over finite fields which relates to local zeta functions; also here for these local zeta functions one has the Weil conjecture proved by Deligne. Deninger's conjectural cohomology arises from J.-P. Serre's conjectural approach of local factors of zeta functions attached to algebraic varieties and Deninger has tried to realise it by leafwise cohomology of certain foliated dynamical systems. This is on one hand. On the other hand, \textit{S. Lichtenbaum} [Compos. Math. 141, No. 3, 689--702 (2005; Zbl 1073.14024)] defined a type of Grothendieck topology, called Weil-étale topology, for an arithmetic variety. He conjectured that the Euler characteristic of the Weil-étale cohomology gives the special values of the arithmetic zeta function for a given arithmetic variety. In this paper, the author discusses Deninger's dynamical systems and Weil-étale topology in terms of topoi over finite fields and over rings of integers of number fields, respectively. Then several properties for the interplay between the dynamical systems and the Weil-étale topoi are also obtained. In particular, the author defines a topos morphism which describes a relationship between the Weil-étale topos and the topos associated to a Deninger's dynamical system.