Lim Cohen-Macaulay sequences of modules
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929556723597312 |
|---|---|
| author | Bhatt, Bhargav Hochster, Melvin Ma, Linquan |
| author_facet | Bhatt, Bhargav Hochster, Melvin Ma, Linquan |
| contents | We introduce the notion of a lim Cohen-Macaulay sequence of modules. We prove the existence of such sequences in positive characteristic, and show that their existence in mixed characteristic implies the long open conjecture about positivity of Serre intersection multiplicities for all regular local rings, as well as a new proof of the existence of big Cohen-Macaulay modules. We describe how such a sequence leads to a notion of closure for submodules of finitely generated modules: this family of closure operations includes the usual notion of tight closure in characteristic $p>0$, and all of them have the property of capturing colon ideals. In fact they satisfy axioms formulated by G.~Dietz from which it follows that if a local ring $R$ has a lim Cohen-Macaulay sequence then it has a big Cohen-Macaulay module. We also prove the existence of lim Cohen-Macaulay sequences for certain rings of mixed characteristic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_18372 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Lim Cohen-Macaulay sequences of modules Bhatt, Bhargav Hochster, Melvin Ma, Linquan Commutative Algebra Algebraic Geometry Primary 13 We introduce the notion of a lim Cohen-Macaulay sequence of modules. We prove the existence of such sequences in positive characteristic, and show that their existence in mixed characteristic implies the long open conjecture about positivity of Serre intersection multiplicities for all regular local rings, as well as a new proof of the existence of big Cohen-Macaulay modules. We describe how such a sequence leads to a notion of closure for submodules of finitely generated modules: this family of closure operations includes the usual notion of tight closure in characteristic $p>0$, and all of them have the property of capturing colon ideals. In fact they satisfy axioms formulated by G.~Dietz from which it follows that if a local ring $R$ has a lim Cohen-Macaulay sequence then it has a big Cohen-Macaulay module. We also prove the existence of lim Cohen-Macaulay sequences for certain rings of mixed characteristic. |
| title | Lim Cohen-Macaulay sequences of modules |
| topic | Commutative Algebra Algebraic Geometry Primary 13 |
| url | https://arxiv.org/abs/2410.18372 |