Projective geometry for blueprints

DOI10.1016/J.CRMA.2012.05.001MaRDI QIDQ432672zbMATH OpenOpenAlexFDO

Authors Oliver Lorscheid, Javier López Peña

Publication date 4 July 2012

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1203.1665, https://www.rug.nl/research/portal/en/publications/projective-geometry-for-blueprints(b10737ff-1ffe-4355-b195-61a65f921e78).html

zbMATH Keywords

blueprintfield with one elementGrassmannianProj-construction

Mathematics Subject Classification ID

Schemes and morphisms (14A15) Finite ground fields in algebraic geometry (14G15) Semirings (16Y60) Semigroups in automata theory, linguistics, etc. (20M35)

Abstract: In this note, we generalize the Proj-construction from usual schemes to blue schemes. This yields the definition of projective space and projective varieties over a blueprint. In particular, it is possible to descend closed subvarieties of a projective space to a canonical F_1-model. We discuss this explicitly in case of the Grassmannian Gr(2,4).

Review text

Blueprints are a common generalization of commutative semirings and commutative monoids. The associated geometric objects -- blue schemes -- thus form a generalization of the usual Grothendieck schemes (over \(\mathbb{Z}\)) and \(\mathbb{F}_1\)-geometry à la Deitmar-Kato (over the deeper base \(\mathbb{F}_1\), the ``field with one element). In the present note, the authors adapt/generalize the Proj-construction for Grothendieck schemes to blue schemes. For Deitmar-Kato schemes, this treatment was first carried out by the reviewer, see ``The combinatorial-motivic nature of \(\mathbb{F}_1\)-schemes (chapter 3 in \textit{Absolute Arithmetic and \(\mathbb{F}_1\)-Geometry} (ed. K. Thas), Preprint, 2013). They consider the case of the Grassmannian \(\mathrm{Gr}(2,4)\) in more detail.

Recommendations

• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• The geometry of blueprints. I: Algebraic background and scheme theory
• On the notion of geometry over \(\mathbb{F}_{1}\)
• Binary projective spaces

Cites work

• \(\mathbb F_1\)-schemes and toric varieties
• scientific article; zbMATH DE number 2142717 (Why is no real title available?)
• Mapping \(\mathbb F_1\)-land: an overview of geometries over the field with one element
• Schemes over $$ \mathbb{F}_1 $$
• Sheaves and K-theory for F₁-schemes
• The geometry of blueprints. I: Algebraic background and scheme theory
• Toric Singularities
• Torified varieties and their geometries over \(\mathbb{F}_{1}\)

Cited in

(8)

• \(\mathbb{F}_{1}\) for everyone
• Deitmar schemes, graphs and zeta functions
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• Building and blueprint
• Flag matroids with coefficients
• Quasicoherent sheaves on projective schemes over \(\mathbb{F}_1\)
• The moduli space of matroids
• Binary projective spaces

This page was built for publication: Projective geometry for blueprints

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