Some remarks on blueprints and F₁-schemes

DOI10.1007/S40863-021-00221-8MaRDI QIDQ2054971zbMATH OpenOpenAlexWikidataFDO

Authors Claudio Bartocci, Andrea Gentili, Jean-Jacques Szczeciniarz

Publication date 3 December 2021

Published in São Paulo Journal of Mathematical Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1905.01183

zbMATH Keywords

\(\mathbb{F}_1\)-schemes blueprints relative algebraic geometry

Mathematics Subject Classification ID

Geometry over the field with one element (14A23) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Over the past two decades several different approaches to defining a geometry over

{m a t h b b F}_{1}

have been proposed. In this paper, relying on To"en and Vaqui'e's formalism, we investigate a new category

{m a t h s f S c h}_{w i d e t i l d e m a t h s f 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 o t i m e s_{{m a t h b b F}_{1}} m a t h b b N

, is a monoid object in a certain symmetric monoidal category

m a t h s f B

, which is shown to be complete, cocomplete, and closed. We prove that every

w i d e t i l d e m a t h s f B

-scheme

S i g m a

can be associated, through adjunctions, with both a classical scheme

S i g m a_{m a t h b b Z}

and a scheme

u n d e r l i n e S i g m a

over

{m a t h b b F}_{1}

in the sense of Deitmar, together with a natural transformation

L a m b d a c o l o n S i g m a_{m a t h b b Z} o u n d e r l i n e S i g m a o t i m e s_{{m a t h b b F}_{1}} m a t h b b Z

. Furthermore, as an application, we show that the category of "

{m a t h b b F}_{1}

-schemes" defined by A. Connes and C. Consani can be naturally merged with that of

w i d e t i l d e m a t h s f B

-schemes to obtain a larger category, whose objects we call "

{m a t h b b F}_{1}

-schemes with relations".

Review text

The authors review in this paper with great care 3 different approaches to \(\mathbb F_1\)-geometry, which are Toen-Vaquie's relative schemes, Lorscheid's blue schemes and Connes-Consani's \(\mathbb F_1\)-schemes. They explain certain adjunctions between monoids, rings and blueprints in detail and extend them to the corresponding categories of sheaves. These adjunctions allows them to merge blue schemes with Connes and Consani's notion of \(\mathbb F_1\)-schemes, which results in the category of so-called \(\mathbb F_1\)-schemes with relations as a common generalization.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Some remarks on blueprints and \(\mathbb{F}_1\)-schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2054971)