Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié

DOI10.1016/J.JALGEBRA.2017.03.023zbMATH Open1401.14015arXiv1212.3261OpenAlexW2964343525MaRDI QIDQ528511FDOQ528511

Authors: Oliver Lorscheid 

Publication date: 12 May 2017

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: It is a classical insight that the Yoneda embedding defines an equivalence of schemes as locally ringed spaces with schemes as sheaves on the big Zariski site. Similarly, the Yoneda embedding identifies monoid schemes (or $mathbb{F}_1$-schemes in the sense of Deitmar) with schemes relative to sets (in the sense of To"en and Vaqui'e). In this paper, we investigate the generalization to blue schemes and to semiring schemes. We establish Yoneda functors for both schemes theories. These functors fail, however, to be equivalences in both situations. The reason for this failure is a divergence in the Grothendieck pretopologies coming from schemes as topological spaces and schemes as sheaves. Restricted to blue schemes that are locally of finite type over a blue field, we construct an inverse to the Yoneda functor, which establishes an equivalence for this subclass of blue schemes. Moreover, we verify the compatibility of the Yoneda functors with the base extension from blue schemes to semiring schemes and with the base extension from semiring schemes to usual schemes.

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

Recommendations

• The geometry of blueprints. I: Algebraic background and scheme theory
• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• Relative Zariski open objects
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Congruence schemes

zbMATH Keywords

monoids\(\mathbb F_1\)-geometrygeneralized scheme theory and Grothendieck topologies

Mathematics Subject Classification ID

Generalizations (algebraic spaces, stacks) (14A20)

Cites Work

• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Title not available (Why is that?)
• Au-dessous de Specℤ
• The geometry of blueprints. I: Algebraic background and scheme theory
• Schemes over $$ \mathbb{F}_1 $$
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes
• A blueprinted view on \(\mathbb F_1\)-geometry
• Projective geometry for blueprints
• Relative Zariski open objects

Cited In (10)

• Čech cohomology of semiring schemes
• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• Quasicoherent sheaves on projective schemes over \(\mathbb{F}_1\)
• Projective geometry for blueprints
• A unifying approach to tropicalization
• \(\mathbb{F}_{1}\) for everyone
• The topological shadow of \(\mathbb{F}_1\)-geometry: congruence spaces
• Tropical geometry over the tropical hyperfield
• A classification of the commutative Banach perfect semi-fields of characteristic 1: applications
• Tropical ideals

This page was built for publication: Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié

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