Categorical construction of Schemes
Algebraic Geometry
2025-11-06 v1
Abstract
In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple modules to construct associative schemes. Here, we consider a commutative ring for which we can use the localization in maximal ideals as local moduli. This gives a categorical definition of schemes that is equivalent to the definition in Hartshorne's book, Algebraic Geometry, 1977. The definition includes a construction of the sheaf associated to a presheaf using projective limits, and this makes the basic results in scheme theory more natural.
Cite
@article{arxiv.2511.03433,
title = {Categorical construction of Schemes},
author = {Arvid Siqveland},
journal= {arXiv preprint arXiv:2511.03433},
year = {2025}
}