The geometry of blueprints. I: Algebraic background and scheme theory

DOI10.1016/J.AIM.2011.12.018MaRDI QIDQ664758zbMATH OpenOpenAlexFDO

Authors Oliver Lorscheid

Publication date 2 March 2012

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

congruencessemiringsmonoidsschemes\(F_{1}\)-geometry

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Semirings (16Y60) Schemes and morphisms (14A15) Algebraic monoids (20M32)

Abstract: In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp. congruences for rings and monoids and leads to a common scheme theory. In particular, it bridges the gap between usual schemes and $mathbb{F}_1$-schemes (after Kato, Deitmar and Connes-Consani). Beside this unification, the category of blueprints contains new interesting objects as "improved" cyclotomic field extensions $mathbb{F}_{1^n}$ of $mathbb{F}_1$ and "archimedean valuation rings". It also yields a notion of semiring schemes. This first paper lays the foundation for subsequent projects, which are devoted to the following problems: Tits' idea of Chevalley groups over $mathbb{F}_1$, congruence schemes, sheaf cohomology, $K$-theory and a unified view on analytic geometry over $mathbb{F}_1$, adic spaces (after Huber), analytic spaces (after Berkovich) and tropical geometry.

Recommendations

• The Geometry of Schemes
• THE GEOMETRY OF BLUEPRINTS PART II: TITS–WEYL MODELS OF ALGEBRAIC GROUPS
• A blueprinted view on \(\mathbb F_1\)-geometry
• The geometry of toric schemes
• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• scientific article; zbMATH DE number 1552067
• scientific article; zbMATH DE number 3274529
• Algebraic geometry over algebraic structures. II: Foundations
• The algebraic and anabelian geometry of configuration spaces

Cites work

• scientific article; zbMATH DE number 5831755 (Why is no real title available?)
• scientific article; zbMATH DE number 3137862 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2142717 (Why is no real title available?)
• scientific article; zbMATH DE number 772545 (Why is no real title available?)
• scientific article; zbMATH DE number 3269974 (Why is no real title available?)
• Algebraic groups over the field with one element
• Functional equations for zeta functions of \(\mathbb F_1\)-schemes
• Geometry in the tropical limit
• Global analytic geometry
• Mapping \(\mathbb F_1\)-land: an overview of geometries over the field with one element
• New Approach to Arakelov Geometry
• Non-additive geometry
• On the notion of geometry over \(\mathbb{F}_{1}\)
• Schemes over $$ \mathbb{F}_1 $$
• Schemes over \(\mathbb F_{1}\) and zeta functions
• Toric Singularities
• Torified varieties and their geometries over \(\mathbb{F}_{1}\)

Cited in

(39)

• Analytic geometry over \(\mathbb{F}_1\) and the Fargues-Fontaine curve
• Picard groups for tropical toric schemes
• Local Picard group of pointed monoids and their algebras
• Proto-exact categories of modules over semirings and hyperrings
• On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings
• Blueprints -- towards absolute arithmetic?
• The tropical Nullstellensatz for congruences
• An informal overview of triples and systems
• Congruence schemes
• Geometry of hyperfields
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• Algebraic geometry over hyperrings
• Čech cohomology of semiring schemes
• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• Witt equivalence of fields: A survey with a special emphasis on applications of hyperfields
• Hyperstructures of affine algebraic group schemes
• Projective geometry for blueprints
• Dualities induced by topological semirings
• A unifying approach to tropicalization
• $\mathcal{T}$-semiring pairs
• On congruence-semisimple semirings and the \(K_{0}\)-group characterization of ultramatricial algebras over semifields
• Categories with negation
• \(\mathbb{F}_{1}\) for everyone
• Prime congruences of additively idempotent semirings and a Nullstellensatz for tropical polynomials
• New foundations for geometry: two non-additive languages for arithmetical geometry
• A classification of the commutative Banach perfect semi-fields of characteristic 1: applications
• Ultramatricial algebras over commutative chain semirings and application to MV-algebras
• Semiring systems arising from hyperrings
• Valuations of semirings
• Grassmann semialgebras and the Cayley-Hamilton theorem
• Belian categories
• Homology of systemic modules
• Vector bundles on tropical schemes
• THE GEOMETRY OF BLUEPRINTS PART II: TITS–WEYL MODELS OF ALGEBRAIC GROUPS
• On quiver representations over \(\mathbb{F}_1\)
• Projective systemic modules
• Tropical ideals
• On Steinberg algebras of Hausdorff ample groupoids over commutative semirings
• A general framework for tropical differential equations

This page was built for publication: The geometry of blueprints. I: Algebraic background and scheme theory

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