Mapping F_1-land:An overview of geometries over the field with one element

Abstract

This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1.

arXiv comment21 pages, 1 figure

References in corpus (4)

• Cyclotomy and analytic geometry over F_1
• Algebraic groups over the field with one element
• Smoothness in Relative Geometry
• Relative Zariski Open Objects

Cited by in corpus (16)

• Characteristic one, entropy and the absolute point
• The geometry of blueprints. Part I: Algebraic background and scheme theory
• Analytic geometry over F_1 and the Fargues-Fontaine curve
• Algebraic Geometry Over Hyperrings
• Quantum F_un: the q=1 Limit of Galois Field Quantum Mechanics, Projective Geometry, and the Field with One Element
• The hyperring of adèle classes
• The geometry of toric schemes
• Quantum field theory over F1
• A family of measures on symmetric groups and the field with one element
• Endomotives of toric varieties
• Deligne-Illusie Classes I: Lifted Torsors of Lifts of the Frobenius for Curves
• Exact Sequences in Non-Exact Categories (An Application to Semimodules)
• A topological description of the space of prime ideals of a monoid
• Functional equations for zeta functions of ${\mathbb{F}}_1$-schemes
• On quiver representations over ${\mathbb{F}}_1$
• Functor of Points and Height Functions for Noncommutative Arakelov Geometry