Some remarks on blueprints and F₁-schemes

DOI10.1007/S40863-021-00221-8zbMATH Open1487.14007OpenAlexW3179473941WikidataQ122157226 ScholiaQ122157226MaRDI QIDQ2054971FDOQ2054971

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)

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

zbMATH Keywords

\(\mathbb{F}_1\)-schemesblueprintsrelative algebraic geometry

Mathematics Subject Classification ID

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

Abstract: Over the past two decades several different approaches to defining a geometry over ${mathbbF}_1$ have been proposed. In this paper, relying on To"en and Vaqui'e's formalism, we investigate a new category ${mathsfSch}_{widetildemathsfB}$ 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 $Motime{s}_{{mathbbF}_1}mathbbN$, is a monoid object in a certain symmetric monoidal category $mathsfB$, which is shown to be complete, cocomplete, and closed. We prove that every $widetildemathsfB$-scheme $Sigma$ can be associated, through adjunctions, with both a classical scheme $Sigm{a}_{mathbbZ}$ and a scheme $underlineSigma$ over ${mathbbF}_1$ in the sense of Deitmar, together with a natural transformation $LambdacolonSigm{a}_{mathbbZ}ounderlineSigmaotime{s}_{{mathbbF}_1}mathbbZ$. Furthermore, as an application, we show that the category of "${mathbbF}_1$-schemes" defined by A. Connes and C. Consani can be naturally merged with that of $widetildemathsfB$-schemes to obtain a larger category, whose objects we call "${mathbbF}_1$-schemes with relations".

Recommendations

• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• The geometry of blueprints. I: Algebraic background and scheme theory
• Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• \(\mathbb F_1\)-schemes and toric varieties

Cites work

• scientific article; zbMATH DE number 426386 (Why is no real title available?)
• scientific article; zbMATH DE number 3902926 (Why is no real title available?)
• scientific article; zbMATH DE number 596364 (Why is no real title available?)
• scientific article; zbMATH DE number 2142717 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 772545 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3389141 (Why is no real title available?)
• scientific article; zbMATH DE number 2229020 (Why is no real title available?)
• A blueprinted view on \(\mathbb F_1\)-geometry
• Absolute algebra and Segal's \(\gamma\)-rings: au dessous de \(\overline{\operatorname{Spec}(\mathbb{Z})}\)
• Au-dessous de Specℤ
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• Categories and cohomology theories
• Cyclotomy and analytic geometry over F_1
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Local \(L\)-factors of motives and regularized determinants
• On absolute algebraic geometry the affine case
• On the \(\Gamma\)-factors attached to motives
• Remarks on zeta functions and \(K\)-theory over \({\mathbb F}_1\)
• Schemes over $$ \mathbb{F}_1 $$
• Schemes over \(\mathbb F_{1}\) and zeta functions
• The geometry of blueprints. I: Algebraic background and scheme theory
• \(\mathbb F_1\)-schemes and toric varieties
• \(\mathbb{F}_{1}\) for everyone

Cited in

(9)

• The topological shadow of \(\mathbb{F}_1\)-geometry: congruence spaces
• Projective geometry for blueprints
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Belian categories
• Čech cohomology over \(\mathbb{F}_{1^2}\)
• Congruence schemes
• The geometry of blueprints. I: Algebraic background and scheme theory
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• Au-dessous de Specℤ

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)