Complexity and curvature of pairs of Burch modules and ideals
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917204753121280 |
|---|---|
| author | Dey, Souvik Ghosh, Dipankar Samanta, Mouma |
| author_facet | Dey, Souvik Ghosh, Dipankar Samanta, Mouma |
| contents | The complexity and curvature of a module were first introduced by Avramov to distinguish modules of infinite homological dimension. Later, Avramov-Buchweitz extended the notion of complexity from a single module to that of pairs of modules, which measures the polynomial growth rate of the minimal number of generators of their Ext modules. Dao studied a similar notion of Tor-complexity. Recently, Dey-Ghosh-Saha initiated the study of Ext and Tor curvature of a pair of modules, which measure the exponential growth rates of the corresponding Ext and Tor, respectively. On the other hand, the concept of Burch ideals was introduced by Dao-Kobayashi-Takahashi, motivated by the classical work of Burch, and subsequently extended to modules by Dey-Kobayashi. This class includes several large and well-studied families of modules and ideals over a Noetherian local ring $(R,\mathfrak{m},k)$. For example, these include the residue field $k$ as an $R$-module, every nonzero module of the form $\mathfrak{m} M$ (e.g., $\mathfrak{m}^n$ for $n\ge 1$), and under mild conditions every integrally closed ideal $I$ with $\rm{depth}(R/I)=0$. Suppose $I$ and $J$ are Burch ideals such that $I$ is $\mathfrak{m}$-primary. Motivated by Avramov's result that Burch modules exhibit extremal complexity and curvature, we establish in this article that $\rm{cx}_R(I,J)=\rm{tcx}_R(I,J)=\rm{cx}_R(k)$. Moreover, we show that $R$ is complete intersection if and only if $\rm{cx}_R(I,J)$ or $\rm{tcx}_R(I,J)$ is finite if and only if $\rm{curv}_R(I,J)$ or $\mathrm{tcurv}_R(I,J)$ is at most $1$. We deduce these results from the corresponding more general results on Burch modules. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_13258 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Complexity and curvature of pairs of Burch modules and ideals Dey, Souvik Ghosh, Dipankar Samanta, Mouma Commutative Algebra 13D07, 13D05, 13C13, 13H10 The complexity and curvature of a module were first introduced by Avramov to distinguish modules of infinite homological dimension. Later, Avramov-Buchweitz extended the notion of complexity from a single module to that of pairs of modules, which measures the polynomial growth rate of the minimal number of generators of their Ext modules. Dao studied a similar notion of Tor-complexity. Recently, Dey-Ghosh-Saha initiated the study of Ext and Tor curvature of a pair of modules, which measure the exponential growth rates of the corresponding Ext and Tor, respectively. On the other hand, the concept of Burch ideals was introduced by Dao-Kobayashi-Takahashi, motivated by the classical work of Burch, and subsequently extended to modules by Dey-Kobayashi. This class includes several large and well-studied families of modules and ideals over a Noetherian local ring $(R,\mathfrak{m},k)$. For example, these include the residue field $k$ as an $R$-module, every nonzero module of the form $\mathfrak{m} M$ (e.g., $\mathfrak{m}^n$ for $n\ge 1$), and under mild conditions every integrally closed ideal $I$ with $\rm{depth}(R/I)=0$. Suppose $I$ and $J$ are Burch ideals such that $I$ is $\mathfrak{m}$-primary. Motivated by Avramov's result that Burch modules exhibit extremal complexity and curvature, we establish in this article that $\rm{cx}_R(I,J)=\rm{tcx}_R(I,J)=\rm{cx}_R(k)$. Moreover, we show that $R$ is complete intersection if and only if $\rm{cx}_R(I,J)$ or $\rm{tcx}_R(I,J)$ is finite if and only if $\rm{curv}_R(I,J)$ or $\mathrm{tcurv}_R(I,J)$ is at most $1$. We deduce these results from the corresponding more general results on Burch modules. |
| title | Complexity and curvature of pairs of Burch modules and ideals |
| topic | Commutative Algebra 13D07, 13D05, 13C13, 13H10 |
| url | https://arxiv.org/abs/2511.13258 |