The arithmetic site

DOI10.1016/J.CRMA.2014.07.009MaRDI QIDQ479926zbMATH OpenOpenAlexFDO

Authors Alain Connes, Caterina Consani

Publication date 5 December 2014

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.4527

zbMATH Keywords

Bost-Connes dynamical systemFrobenius correspondencestopos

Mathematics Subject Classification ID

Arithmetic algebraic geometry (Diophantine geometry) (11G99) Nonreal zeros of (zeta (s)) and (L(s, chi)); Riemann and other hypotheses (11M26) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Noncommutative geometry (à la Connes) (58B34)

Abstract: We show that the non-commutative geometric approach to the Riemann zeta function has an algebraic geometric incarnation: the "Arithmetic Site". This site involves the tropical semiring viewed as a sheaf on the topos which is the dual of the multiplicative semigroup of positive integers. We prove that the set of points of the arithmetic site over the maximal compact subring of the tropical semifield is the non-commutative space quotient of the adele class space of Q by the action of the maximal compact subgroup of the idele class group. We realize the Frobenius correspondences in the square of the "Arithmetic Site" and compute their composition. This note provides the algebraic geometric space underlying the non-commutative approach to RH.

Review text

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}.

Recommendations

• Geometry of the arithmetic site
• The Riemann–Roch strategy
• An arithmetic site at the complex place
• The sieve topology on the arithmetic site
• The scaling site

Cites work

• From monoids to hyperstructures: in search of an absolute arithmetic
• scientific article; zbMATH DE number 2142717 (Why is no real title available?)
• Noncommutative geometry, quantum fields and motives
• On a representation of the idele class group related to primes and zeros of L-functions
• Schemes over \(\mathbb F_{1}\) and zeta functions
• Sur une note de Mattuck-Tate.
• Trace formula in noncommutative geometry and the zeros of the Riemann zeta function
• Tropical polynomial algebras

Cited in

(27)

• Prime congruences of additively idempotent semirings and a Nullstellensatz for tropical polynomials
• A topological groupoid representing the topos of presheaves on a monoid
• Monoid properties as invariants of toposes of monoid actions
• Model theory of adeles. I.
• Duality for noncommutative frames
• An arithmetic site at the complex place
• An arithmetic topos for integer matrices
• Picard groups for tropical toric schemes
• Geometry of the scaling site
• Geometry of the arithmetic site
• The sieve topology on the arithmetic site
• Universal thickening of the field of real numbers
• An essay on the Riemann hypothesis
• The scaling site
• The Riemann–Roch strategy
• Linear recursive sequences and \(\mathsf{Spec}(\mathbb{Z})\) over \(\mathbb{F}_{1}\)
• Noncommutative frames revisited
• Cyclic theories
• Noncommutative frames
• Homological algebra in characteristic one
• Vector bundles on tropical schemes
• Geometric morphisms between toposes of monoid actions: factorization systems
• scientific article; zbMATH DE number 7780070 (Why is no real title available?)
• BC-system, absolute cyclotomy and the quantized calculus
• Tropical adic spaces. I: The continuous spectrum of a topological semiring
• The cyclic and epicyclic sites
• Absolute algebra and Segal's \(\gamma\)-rings: au dessous de \(\overline{\operatorname{Spec}(\mathbb{Z})}\)

This page was built for publication: The arithmetic site

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479926)