Categorification of modules and construction of schemes
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918270070685696 |
|---|---|
| author | Banerjee, Abhishek Das, Subhajit Kour, Surjeet |
| author_facet | Banerjee, Abhishek Das, Subhajit Kour, Surjeet |
| contents | We use categorification of monoid actions to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of actegories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric monoidal category and $\mathcal M$ is an actegory over $\mathcal C$. One of our main tools is using the datum $(\mathcal C,\mathcal M)$ to give a Grothendieck topology on the category of affine schemes over $(\mathcal C,\otimes,1)$ that we call the ``spectral $\mathcal M$-topology.'' This consists of ``fpqc $\mathcal M$-coverings'' with certain special properties. We provide a description of schemes over $(\mathcal C,\mathcal M)$ in terms of quotients of disjoint unions of affine schemes over a certain equivalence relation. These categories of schemes are closed under pullbacks and coproducts, and are equipped with change of base functors induced by symmetric monoidal adjuctions accompanied by lax $\mathcal C$-linear functors. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_08952 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Categorification of modules and construction of schemes Banerjee, Abhishek Das, Subhajit Kour, Surjeet Algebraic Geometry Category Theory 14A30, 18M05 We use categorification of monoid actions to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of actegories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric monoidal category and $\mathcal M$ is an actegory over $\mathcal C$. One of our main tools is using the datum $(\mathcal C,\mathcal M)$ to give a Grothendieck topology on the category of affine schemes over $(\mathcal C,\otimes,1)$ that we call the ``spectral $\mathcal M$-topology.'' This consists of ``fpqc $\mathcal M$-coverings'' with certain special properties. We provide a description of schemes over $(\mathcal C,\mathcal M)$ in terms of quotients of disjoint unions of affine schemes over a certain equivalence relation. These categories of schemes are closed under pullbacks and coproducts, and are equipped with change of base functors induced by symmetric monoidal adjuctions accompanied by lax $\mathcal C$-linear functors. |
| title | Categorification of modules and construction of schemes |
| topic | Algebraic Geometry Category Theory 14A30, 18M05 |
| url | https://arxiv.org/abs/2412.08952 |