Some remarks on blueprints and F₁-schemes

DOI10.1007/S40863-021-00221-8zbMATH Open1487.14007arXiv1905.01183OpenAlexW3179473941WikidataQ122157226 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)

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".

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

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

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)

Cites Work

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

Cited In (9)

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

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)