2013/01/01 by Lorscheid, Oliver
#Algebraic Geometry (math.AG) #Combinatorics (math.CO) #FOS: Mathematics #K-Theory and Homology (math.KT) #Number Theory (math.NT) #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.1301.0083
This overview paper has two parts. In the first part, we review the development of \mathbb F1-geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around \mathbb F1, embedded into the historical context, and give an impression of the multiple connections of \mathbb F1-geometry to other areas of mathematics. In the second part, we review (and preview) the geometry of blueprints. Beyond the basic definitions of blueprints, blue schemes and projective geometry, this includes a theory of Chevalley groups over \mathbb F1 together with their action on buildings over \mathbb F1; computations of the Euler characteristic in terms of \mathbb F1-rational points, which involve quiver Grassmannians; K-theory of blue schemes that reproduces the formula Ki(\mathbb F1)=πsti(S0); models of the compactifications of \Spec \mathbb Z and other arithmetic curves; and explanations about the connections to other approaches towards \mathbb F1 like monoidal schemes after Deitmar, B1-algebras after Lescot, Λ-schemes after Borger, relative schemes after Toën and Vaquié, log schemes after Kato and congruence schemes after Berkovich and Deitmar.