Saved in:
Bibliographic Details
Main Author: Siqveland, Arvid
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2511.04191
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918188332089344
author Siqveland, Arvid
author_facet Siqveland, Arvid
contents In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding function field. In this text, we replace the category of rings with a general locally small category $\cat C$, we consider a subcategory $\cat B\subset C$ of base-points, and assume that each $X\in\ob\cat C$ that contains $P\in\ob\cat B,$ i.e. there is a morphism $P\rightarrow X,$ there exists a local representing object $X_P.$ Assuming that coproducts exists, we can use the construction of ordinary schemes to construct schemes of objects in any such category.
format Preprint
id arxiv_https___arxiv_org_abs_2511_04191
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Schemes of Objects in Abelian Categories
Siqveland, Arvid
Algebraic Geometry
14A15
In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding function field. In this text, we replace the category of rings with a general locally small category $\cat C$, we consider a subcategory $\cat B\subset C$ of base-points, and assume that each $X\in\ob\cat C$ that contains $P\in\ob\cat B,$ i.e. there is a morphism $P\rightarrow X,$ there exists a local representing object $X_P.$ Assuming that coproducts exists, we can use the construction of ordinary schemes to construct schemes of objects in any such category.
title Schemes of Objects in Abelian Categories
topic Algebraic Geometry
14A15
url https://arxiv.org/abs/2511.04191