[Paper Review] Compactification projective de Spec Z (d'apres Durov)

Javier Fresán|ArXiv.org|Aug 27, 2009

Advanced Mathematical Modeling in Engineering3 citations

TL;DR

This paper presents a survey of Durov's approach to compactifying the spectrum of the integers, $\mathrm{Spec\ }\mathbb{Z}$, using generalized rings and a projective compactification inspired by Arakelov geometry. It extends the analogy between number fields and function fields by constructing a geometry over the hypothetical field with one element ($\mathbb{F}_1$), enabling a projective compactification of $\mathrm{Spec\ }\mathbb{Z}$ via a generalized Proj construction.

ABSTRACT

This is a very preliminary version of a survey on Durov's PhD thesis. All comments are welcome.

Motivation & Objective

• To provide a comprehensive survey of Durov's work on compactifying $\mathrm{Spec\ }\mathbb{Z}$ using generalized rings and $\mathbb{F}_1$-geometry.
• To establish a geometric framework for $\mathrm{Spec\ }\mathbb{Z}$ that mirrors projective compactifications in function field geometry.
• To explore the role of generalized rings and monads in extending classical algebraic geometry to include arithmetic schemes.
• To connect the compactification of $\mathrm{Spec\ }\mathbb{Z}$ with Arakelov theory and motivic zeta functions.

Proposed method

• Adopting Durov's framework of generalized rings, the paper constructs a category of generalized schemes extending classical schemes.
• Using the monad associated to a ring, the paper defines generalized rings as algebras over a monad, enabling non-additive geometry.
• The construction of $\mathrm{Proj}$ for generalized rings allows a projective compactification of $\mathrm{Spec\ }\mathbb{Z}$.
• The paper employs the analogy between number fields and function fields to motivate the compactification via $\mathbb{F}_1$-geometry.
• It applies the concept of $\mathbb{F}_1$-schemes via functors on finite abelian groups and descent data to model arithmetic objects.
• The compactification is realized as a limit of generalized schemes, with a topology and structure sheaf adapted to generalized rings.

Experimental results

Research questions

• RQ1 How can the spectrum of the integers be compactified in a way analogous to projective compactifications in function field geometry?
• RQ2 What role does the hypothetical field with one element ($\mathbb{F}_1$) play in constructing a geometric compactification of $\mathrm{Spec\ }\mathbb{Z}$?
• RQ3 How can generalized rings and monads be used to extend classical algebraic geometry to include arithmetic schemes?
• RQ4 In what way does the generalized Proj construction yield a projective compactification of $\mathrm{Spec\ }\mathbb{Z}$?
• RQ5 How does this compactification relate to Arakelov geometry and the motivic zeta function of $\mathbb{Z}$?

Key findings

• The paper constructs a projective compactification of $\mathrm{Spec\ }\mathbb{Z}$ using a generalized Proj construction over a generalized ring structure.
• It shows that $\mathbb{Z}$ admits a finite presentation over $\mathbb{F}_1$, supporting the idea that $\mathrm{Spec\ }\mathbb{Z}$ can be viewed as a scheme over $\mathbb{F}_1$.
• The compactification is achieved by extending the category of rings to generalized rings, allowing non-additive structures essential for $\mathbb{F}_1$-geometry.
• The construction realizes a geometric analogue of Arakelov compactification, incorporating both finite and infinite places.
• The cardinality of $\mathbb{P}^{n-1}(\mathbb{F}_1)$ is $n$, consistent with the combinatorial interpretation of $\mathbb{F}_1$-geometry.
• The framework supports the idea that zeta functions of $\mathbb{F}_1$-schemes take simple forms, such as $\zeta_{\mathbb{P}^N(\mathbb{F}_1)}(s) = s(s-1)\cdots(s-N)$.