Idempotentization of Affine Schemes and Sheaves
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917879075569664 |
|---|---|
| author | Boudreau, Félix Baril Garay, Cristhian |
| author_facet | Boudreau, Félix Baril Garay, Cristhian |
| contents | In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent version of itself with respect to a fixed covering by distinguished affine open subschemes. Once this cover is fixed, we can functorially associate a Zariski sheaf of rings or modules to a sheaf of idempotent semiring or a sheaf of idempotent semimodules. We show that idempotentization is independent of the chosen cover and in the Noetherian case, the idempotentization of the structure sheaf recovers the global sections. Underlying our formalism is a combinatorial reflection of lattices of subobjects of ordered-theoretic objects seen as lattices coming from commutative algebra. This has topological consequences for the semiring of subtractive ideals of a commutative semiring $S$: On one hand, it is a topological retract of the semiring of congruence relations of $S$ for the coarse lower topology. On the other hand, it is a topological retract of the semiring of ideals of $S$ for the coarse upper topology. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_04872 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Idempotentization of Affine Schemes and Sheaves Boudreau, Félix Baril Garay, Cristhian Algebraic Geometry Combinatorics 16Y60, 14T10, 06A11, 22A26 In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent version of itself with respect to a fixed covering by distinguished affine open subschemes. Once this cover is fixed, we can functorially associate a Zariski sheaf of rings or modules to a sheaf of idempotent semiring or a sheaf of idempotent semimodules. We show that idempotentization is independent of the chosen cover and in the Noetherian case, the idempotentization of the structure sheaf recovers the global sections. Underlying our formalism is a combinatorial reflection of lattices of subobjects of ordered-theoretic objects seen as lattices coming from commutative algebra. This has topological consequences for the semiring of subtractive ideals of a commutative semiring $S$: On one hand, it is a topological retract of the semiring of congruence relations of $S$ for the coarse lower topology. On the other hand, it is a topological retract of the semiring of ideals of $S$ for the coarse upper topology. |
| title | Idempotentization of Affine Schemes and Sheaves |
| topic | Algebraic Geometry Combinatorics 16Y60, 14T10, 06A11, 22A26 |
| url | https://arxiv.org/abs/2304.04872 |