Contraherent cosheaves of contramodules on Noetherian formal schemes
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909011116294144 |
|---|---|
| author | Positselski, Leonid |
| author_facet | Positselski, Leonid |
| contents | We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We also construct the direct image and inverse image functors of locally contraherent cosheaves of contramodules under morphisms of locally Noetherian formal schemes, and discuss the functors of contraherent $\mathfrak{Hom}$ and contratensor product of quasi-coherent torsion sheaves and contraherent cosheaves of contramodules. The exposition in the section of preliminaries in adic commutative algebra is worked out in the greater generality of arbitrary commutative rings with adic topologies (of finitely generated ideals). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27732 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Contraherent cosheaves of contramodules on Noetherian formal schemes Positselski, Leonid Algebraic Geometry Commutative Algebra Category Theory We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We also construct the direct image and inverse image functors of locally contraherent cosheaves of contramodules under morphisms of locally Noetherian formal schemes, and discuss the functors of contraherent $\mathfrak{Hom}$ and contratensor product of quasi-coherent torsion sheaves and contraherent cosheaves of contramodules. The exposition in the section of preliminaries in adic commutative algebra is worked out in the greater generality of arbitrary commutative rings with adic topologies (of finitely generated ideals). |
| title | Contraherent cosheaves of contramodules on Noetherian formal schemes |
| topic | Algebraic Geometry Commutative Algebra Category Theory |
| url | https://arxiv.org/abs/2603.27732 |