On containment of trace ideals in ideals of finite homological dimension
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916174128742400 |
|---|---|
| author | Dey, Souvik Dutta, Monalisa |
| author_facet | Dey, Souvik Dutta, Monalisa |
| contents | Motivated by recent result of Pérez and R.G. on equality of test ideal of module closure operation and trace ideal, and the well-known result by Smith that parameter test ideal cannot be contained in parameter ideals, we study the obstruction of containment of trace ideals in ideals of finite projective (or injective) dimension. One of our results says that the trace ideal of any big Cohen--Macaulay module over a Gorenstein complete local domain cannot be contained in any ideal of finite projective dimension, thereby generalizing Smith's result in this case. As consequences of our results, we give upper bounds on $\mathfrak m$-adic order of trace ideals of certain modules over local Cohen--Macaulay rings. We also prove analogous results for ideal of entries of maps in a free resolution of modules. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_01230 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On containment of trace ideals in ideals of finite homological dimension Dey, Souvik Dutta, Monalisa Commutative Algebra 13C13, 13C14, 13H10, 13D02, 13D05, 13D07 Motivated by recent result of Pérez and R.G. on equality of test ideal of module closure operation and trace ideal, and the well-known result by Smith that parameter test ideal cannot be contained in parameter ideals, we study the obstruction of containment of trace ideals in ideals of finite projective (or injective) dimension. One of our results says that the trace ideal of any big Cohen--Macaulay module over a Gorenstein complete local domain cannot be contained in any ideal of finite projective dimension, thereby generalizing Smith's result in this case. As consequences of our results, we give upper bounds on $\mathfrak m$-adic order of trace ideals of certain modules over local Cohen--Macaulay rings. We also prove analogous results for ideal of entries of maps in a free resolution of modules. |
| title | On containment of trace ideals in ideals of finite homological dimension |
| topic | Commutative Algebra 13C13, 13C14, 13H10, 13D02, 13D05, 13D07 |
| url | https://arxiv.org/abs/2312.01230 |