Some remarks on blueprints and ${\mathbb F}_1$-schemes
Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on Toën and Vaquié's formalism, we investigate a new category ${\mathsf{Sch}}_{\widetilde{\mathsf B}}$ of schemes admitting a Zariski cover by affine schemes relative to the category of blueprints introduced by Lorscheid. A blueprint, that may be thought of as a pair consisting of a monoid $M$ and a relation on the semiring $M \otimes_{{\mathbb F}_1} \mathbb N$, is a monoid object in a certain symmetric monoidal category $\mathsf B$, which is shown to be complete, cocomplete, and closed. We prove that every $\widetilde{\mathsf B}$-scheme $Σ$ can be associated, through adjunctions, with both a classical scheme $Σ_{\mathbb Z}$ and a scheme $\underlineΣ$ over ${\mathbb F}_1$ in the sense of Deitmar, together with a natural transformation $Λ\colon Σ_{\mathbb Z}\to \underlineΣ\otimes_{{\mathbb F}_1} {\mathbb Z}$. Furthermore, as an application, we show that the category of "${\mathbb F}_1$-schemes" defined by A. Connes and C. Consani can be naturally merged with that of $\widetilde{\mathsf B}$-schemes to obtain a larger category, whose objects we call "${\mathbb F}_1$-schemes with relations".