Relative Zariski open objects

DOI10.1017/IS011012004JKT176MaRDI QIDQ3143522zbMATH OpenOpenAlexFDO

Authors Florian Marty

Publication date 30 November 2012

Published in Journal of \(K\)-Theory (Search for Journal in Brave)

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

zbMATH Keywords

Grothendieck topologylocalelocalizationsrelative Algebraic GeometryZariski topology

Mathematics Subject Classification ID

Schemes and morphisms (14A15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: In [TV], Bertrand To"en and Michel Vaqui'e define a scheme theory for a closed monoidal category $(mathcalC,otimes,1)$. One of the key ingredients of this theory is the definition of a Zariski topology on the category of commutative monoids in $mathcalC$. The purpose of this article is to prove that under some hypotheses, Zariski open subobjects of affine schemes can be classified almost as in the usual case of rings $(Z-mod,otimes,Z)$. The main result states that for any commutative monoid $A$, the locale of Zariski open subobjects of the affine scheme $Spec(A)$ is associated to a topological space whose points are prime ideals of $A$ and open subsets are defined by the same formula as in rings. As a consequence, we compare the notions of scheme over $mathbb{F}_1$ of [D] and [TV].

Recommendations

• Noetherian schemes over abelian symmetric monoidal categories
• On absolute algebraic geometry the affine case
• Spectral gabriel topologies and relative singular functors
• scientific article; zbMATH DE number 53782
• scientific article; zbMATH DE number 851173

Cites work

• Au-dessous de Specℤ
• Des catégories abéliennes

Cited in

(11)

• The primitive topology of a scheme
• Relative Riemann-Zariski spaces
• Čech cohomology of semiring schemes
• Completions of monoid objects and descent results
• Noetherian schemes over abelian symmetric monoidal categories
• On Noetherian schemes over (\mathcal{C},\otimes,1)$ and the category of quasi-coherent sheaves
• Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié
• Smoothness in relative geometry
• A unifying approach to tropicalization
• On the closed subschemes of a scheme
• The topological shadow of \(\mathbb{F}_1\)-geometry: congruence spaces

This page was built for publication: Relative Zariski open objects

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