Philosophy of contraherent cosheaves
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909163758551040 |
|---|---|
| author | Positselski, Leonid |
| author_facet | Positselski, Leonid |
| contents | Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functors, unlike the localizations, are not exact. The reason is that, given a commutative ring homomorphism $R\rightarrow S$ arising in connection with a typical covering in algebraic geometry, the ring $S$ is usually a flat, but not a projective $R$-module. We argue that the relevant difference between projective and flat modules, from the standpoint of homological algebra, is not that big, as manifested by the flat/projective and cotorsion periodicity theorems. The difference becomes even smaller if one observes that the ring $S$ is often a very flat $R$-module. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_14179 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Philosophy of contraherent cosheaves Positselski, Leonid Algebraic Geometry Category Theory Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functors, unlike the localizations, are not exact. The reason is that, given a commutative ring homomorphism $R\rightarrow S$ arising in connection with a typical covering in algebraic geometry, the ring $S$ is usually a flat, but not a projective $R$-module. We argue that the relevant difference between projective and flat modules, from the standpoint of homological algebra, is not that big, as manifested by the flat/projective and cotorsion periodicity theorems. The difference becomes even smaller if one observes that the ring $S$ is often a very flat $R$-module. |
| title | Philosophy of contraherent cosheaves |
| topic | Algebraic Geometry Category Theory |
| url | https://arxiv.org/abs/2311.14179 |