Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.07900 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914150404325376 |
|---|---|
| author | Siqveland, Arvid |
| author_facet | Siqveland, Arvid |
| contents | In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a certain set of basepoints for which localizing rings exist. We take the set of base points $B$ to be the set of rings on the form $\enm_{\mathbb Z}(M)$ where $M$ is a simple right $A$-module for some associative ring $A.$ The set of base-points in the associative ring $A$ is defined as $\pts_B(A)=\{\mor_{\cat{Rings}}(A,\enm_{\mathbb Z}(M))\}.$ For any finite subset $M\subseteq\pts_B(A)$ we prove that the localizing ring $A_M$ exists. and so the construction from arXiv:2511.04191 gives a definition of schemes of associative algebras. Defining a topology on $\pts_B(A)$ such that when $A$ is commutative it is the Zariski topology, we get the ordinary definition of schemes when we consider the category of commutative rings. This article is in line with the philosophy that a scheme is a moduli of its base-points. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_07900 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Localization in Associative Rings Siqveland, Arvid Algebraic Geometry 14A22 In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a certain set of basepoints for which localizing rings exist. We take the set of base points $B$ to be the set of rings on the form $\enm_{\mathbb Z}(M)$ where $M$ is a simple right $A$-module for some associative ring $A.$ The set of base-points in the associative ring $A$ is defined as $\pts_B(A)=\{\mor_{\cat{Rings}}(A,\enm_{\mathbb Z}(M))\}.$ For any finite subset $M\subseteq\pts_B(A)$ we prove that the localizing ring $A_M$ exists. and so the construction from arXiv:2511.04191 gives a definition of schemes of associative algebras. Defining a topology on $\pts_B(A)$ such that when $A$ is commutative it is the Zariski topology, we get the ordinary definition of schemes when we consider the category of commutative rings. This article is in line with the philosophy that a scheme is a moduli of its base-points. |
| title | Localization in Associative Rings |
| topic | Algebraic Geometry 14A22 |
| url | https://arxiv.org/abs/2511.07900 |