Level Inequalities for Complexes
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912673460912128 |
|---|---|
| author | Nason, Zachary |
| author_facet | Nason, Zachary |
| contents | We prove that for all noetherian rings, the level of any homologically bounded complex $M$ with respect to the collection of projective or injective modules is bounded above by the projective dimension of $\bigoplus H(M)$ plus one or the injective dimemsion of $\bigoplus H(M)$ plus one, respectively. In addition, we also prove that if $\mathsf{C}$ is the collection of flat, Gorenstein projective, Gorenstein injective, or Gorenstein flat modules, then the level of any homologically bounded complex $M$ is bounded above by the maximum of 2 or the $\mathsf{C}$-dimension of $\bigoplus H(M)$ plus 1. These results give universal bounds for the projective, injective, and flat levels over regular local rings, and give universal bounds for the Gorenstein projective, Gorenstein injective, and Gorenstein flat levels over Gorenstein local rings. As an application of the above results, we prove a version of the Bass Formula for complexes with respect to injective level and Gorenstein injective level. We also show that the bounds achieved for each homological and Gorenstein homological level considered is optimal. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_15230 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Level Inequalities for Complexes Nason, Zachary Commutative Algebra Category Theory 13D09, 13D05, 13H10, 18G20, 18G80 We prove that for all noetherian rings, the level of any homologically bounded complex $M$ with respect to the collection of projective or injective modules is bounded above by the projective dimension of $\bigoplus H(M)$ plus one or the injective dimemsion of $\bigoplus H(M)$ plus one, respectively. In addition, we also prove that if $\mathsf{C}$ is the collection of flat, Gorenstein projective, Gorenstein injective, or Gorenstein flat modules, then the level of any homologically bounded complex $M$ is bounded above by the maximum of 2 or the $\mathsf{C}$-dimension of $\bigoplus H(M)$ plus 1. These results give universal bounds for the projective, injective, and flat levels over regular local rings, and give universal bounds for the Gorenstein projective, Gorenstein injective, and Gorenstein flat levels over Gorenstein local rings. As an application of the above results, we prove a version of the Bass Formula for complexes with respect to injective level and Gorenstein injective level. We also show that the bounds achieved for each homological and Gorenstein homological level considered is optimal. |
| title | Level Inequalities for Complexes |
| topic | Commutative Algebra Category Theory 13D09, 13D05, 13H10, 18G20, 18G80 |
| url | https://arxiv.org/abs/2510.15230 |