On absolute algebraic geometry the affine case

DOI10.1016/J.AIM.2021.107909zbMATH Open1478.14047arXiv1909.09796OpenAlexW3184718659MaRDI QIDQ822705FDOQ822705

Authors: Caterina Consani, Alain Connes 

Publication date: 23 September 2021

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

Abstract: We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing together the category of commutative rings and that of pointed commutative monoids, that we used in our previous work to define F1-schemes, is naturally a full subcategory of the category of Segal's Gamma-rings. In this paper we develop the affine case of this general algebraic geometry: one distinctive feature is that the spectrum Spec(A) of a Gamma-ring is in general a Grothendieck site rather than a point set endowed with a topology. Two striking features of this new geometry are that it is the natural domain for cyclic homology and for homological algebra, and that new operations, which do not make sense in ordinary algebraic geometry, are here available. For instance, in this new context, the quotient of a ring by a multiplicative subgroup is still a Gamma-ring to which our general theory applies. Thus the adele class space gives rise naturally to a Gamma-ring. Finally, we show that our theory is not a special case of the T"oen-Vaqui' e general theory of algebraic geometry under Spec Z.

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

Recommendations

• Absolute algebra and Segal's \(\gamma\)-rings: au dessous de \(\overline{\operatorname{Spec}(\mathbb{Z})}\)
• Segal's gamma rings and universal arithmetic
• Brave new algebraic geometry and global derived moduli spaces of ring spectra
• New foundations for geometry: two non-additive languages for arithmetical geometry
• scientific article; zbMATH DE number 17243

zbMATH Keywords

toposarithmeticsemiringsiteGrothendieck topologySegal's gamma-rings

Mathematics Subject Classification ID

Adèle rings and groups (11R56) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Semirings (16Y60) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) (K)-theory and homology; cyclic homology and cohomology (19D55) Generalizations (algebraic spaces, stacks) (14A20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Equations of tropical varieties
• Title not available (Why is that?)
• On the notion of geometry over \(\mathbb{F}_{1}\)
• Au-dessous de Specℤ
• Geometry of the arithmetic site
• Title not available (Why is that?)
• Absolute derivations and zeta functions
• Schemes over \(\mathbb F_{1}\) and zeta functions
• The local structure of algebraic K-theory
• Trace formula in noncommutative geometry and the zeros of the Riemann zeta function
• Toric Singularities
• Title not available (Why is that?)
• New Approach to Arakelov Geometry
• Number fields and function fields -- two parallel worlds
• $\overline{Spec\mathbb Z}$ and the Gromov norm
• Absolute algebra and Segal's \(\gamma\)-rings: au dessous de \(\overline{\operatorname{Spec}(\mathbb{Z})}\)

Cited In (15)

• Title not available (Why is that?)
• Noetherian schemes over abelian symmetric monoidal categories
• Absolute algebra and Segal's \(\gamma\)-rings: au dessous de \(\overline{\operatorname{Spec}(\mathbb{Z})}\)
• Dagger geometry as Banach algebraic geometry
• Geometric morphisms between toposes of monoid actions: factorization systems
• Some remarks on blueprints and \(\mathbb{F}_1\)-schemes
• Relative Zariski open objects
• Absolute algebra. III: The saturated spectrum
• Spectral triples and \(\zeta\)-cycles
• Segal's gamma rings and universal arithmetic
• BC-system, absolute cyclotomy and the quantized calculus
• Riemann-Roch for \(\overline{\operatorname{Spec}\mathbb{Z}}\)
• On the metaphysics of \(\mathbb{F}_1\)
• Non-commutative geometry and cyclic homology. Abstracts from the workshop held July 31 -- August 6, 2022
• On quiver representations over \(\mathbb{F}_1\)

This page was built for publication: On absolute algebraic geometry the affine case

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