Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911701307228160 |
|---|---|
| author | Montagnani, Matteo |
| author_facet | Montagnani, Matteo |
| contents | In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid analytic variety is smooth if and only if its associated category of nuclear sheaves is smooth. Furthermore, we relate the compact generation of the category of nuclear sheaves to the algebraization of the rigid analytic variety; these results are then employed to obtain an example of a non atomically generated but internally smooth category. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_21024 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry Montagnani, Matteo Algebraic Geometry Algebraic Topology Category Theory In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid analytic variety is smooth if and only if its associated category of nuclear sheaves is smooth. Furthermore, we relate the compact generation of the category of nuclear sheaves to the algebraization of the rigid analytic variety; these results are then employed to obtain an example of a non atomically generated but internally smooth category. |
| title | Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry |
| topic | Algebraic Geometry Algebraic Topology Category Theory |
| url | https://arxiv.org/abs/2605.21024 |