A blueprinted view on $\mathbb F_1$-geometry
Abstract
This overview paper has two parts. In the first part, we review the development of -geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around , embedded into the historical context, and give an impression of the multiple connections of -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 together with their action on buildings over ; computations of the Euler characteristic in terms of -rational points, which involve quiver Grassmannians; -theory of blue schemes that reproduces the formula ; models of the compactifications of and other arithmetic curves; and explanations about the connections to other approaches towards like monoidal schemes after Deitmar, -algebras after Lescot, -schemes after Borger, relative schemes after To\"en and Vaqui\'e, log schemes after Kato and congruence schemes after Berkovich and Deitmar.
Cite
@article{arxiv.1301.0083,
title = {A blueprinted view on $\mathbb F_1$-geometry},
author = {Oliver Lorscheid},
journal= {arXiv preprint arXiv:1301.0083},
year = {2013}
}
Comments
58 pages; correction of section 7.2 and other minor modifications