English

Relative Zariski Open Objects

Algebraic Geometry 2009-05-12 v3 Category Theory

Abstract

In [TV], Bertrand To\"en and Michel Vaqui\'e define a scheme theory for a closed monoidal category (C,,1)(\mathcal{C},\otimes,1). One of the key ingredients of this theory is the definition of a Zariski topology on the category of commutative monoids in C\mathcal{C}. 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 (Zmod,,Z)(Z-mod,\otimes,Z). The main result states that for any commutative monoid AA, the locale of Zariski open subobjects of the affine scheme Spec(A)Spec(A) is associated to a topological space whose points are prime ideals of AA and open subsets are defined by the same formula as in rings. As a consequence, we compare the notions of scheme over F1\mathbb{F}_{1} of [D] and [TV].

Keywords

Cite

@article{arxiv.0712.3676,
  title  = {Relative Zariski Open Objects},
  author = {Florian Marty},
  journal= {arXiv preprint arXiv:0712.3676},
  year   = {2009}
}

Comments

19 pages. A more general main theorem has been proved. The organisation has been modified

R2 v1 2026-06-21T09:56:45.252Z