The arithmetic site (Q479926)

The schemes and topoi were introduced by A.~Grothendieck to solve a concrete problem of the arithmetic geometry, namely, the Weil's Conjectures. Roughly speaking, a topos is a category of topological spaces, which admits a good notion of the localization; the latter is a critical procedure in the commutative algebra, meaning the passage from the coordinate ring of a variety \(X\) to its local ring at a prime ideal \({\mathfrak P}\) corresponding to a point \(p\in X\). The authors of the paper under review introduce the so-called ringed topos with the structure sheaf of semirings of characteristic one; the topos is inspired and related to the (generalized) Bost-Connes dynamical system. In particular, the ringed topos generates the Hasse-Weil \(L\)-function, which coincides with the Riemann zeta function. The text is a collection of definitions and statements, whose proofs will be published elsewhere; it is a part of the ongoing project of proving the Riemann Hypothesis by means of noncommutative geometry. A draft of the paper is available at \url{arXiv:1405.4527}.